Postingan

Validasi sistem kritis

  Metode formal dan sistem kritis Penggunaan spesifikasi matematis formal dan verifikasi yang terkait dimandatkan pada standar pertahanan Inggris untuk perangkat lunak yang kritis dalam hal keselamatan. Namun, banyak pengembang sistem kritis tidak yakin bahwa metode formal efektif dalam hal biaya dan mengajukan argumen bahwa metode tersebut dapat menurunkan dan bukan menambah tingkat dependabilitas sistem. Metode formal dapat dipakai pada 2 tingkat pengembangan kritis : 1.       Spesifikasi formal sistem dapat dikembangkan dan di analisis secara matematis terhadap ketakkonsistenan sistem. 2.    Verifikasi formal bahwa sistem perangkat lunak konsisten dengan spesifikasi dapat dikembangkan. Argumen  untuk penggunaan spesifikasi formal dan verifikasi program yang berhubungan ialah bahwa spesifikasi formal memaksa analisis spesifikasi rinci. Analisis ini dapat mengungkap ketakkonsistenan yang potensial atau hal-hal yang terlewat yang mungkin tidak akan di temukan sampai sistem di
Posting Komentar
Baca selengkapnya

Dampak teknologi bagi kehidupan manusia

Gambar
  Perkembangan Teknologi Dimasa sekarang, masa dimana teknologi berkembang dengan pesat dan seakan-akan dunia berada dalam genggaman yaitu dengan cara mengakses internet lewat  smartphone , bahkan semua orang didunia ini sebagian besar mempunyainya, bahkan di Indonesia saja termasuk salah satu negara dengan pengguna smartphone terbanyak di Dunia, hal ini sangat mempengaruhi tatanan kehidupan masyarakat di Indonesia apalagi dalam hal sosial dan ekonomi, karena dengan masuknya teknologi yang tidak diimbangi dengan pemahaman terhadap teknologi tersebut maka akan berdampak negatif terhadap suatu negara, seperti halnya dahulu orang-orang masih sering bercengkrama, mengobrol, bercanda,semuanya dilakukan bersama-sama.Tetapi sekarang seakan semua berubah karena adanya smartphone yang mengubah pola perilaku masyarakat yang sosialis menjadi individualis, meraka telah asyik atau telah terjebak dalam pusaran arus negatif dari majunya teknologi. Teknologi terus menerus mengalami p
Posting Komentar
Baca selengkapnya
Gambar
  Teknologi New Media dan Internet  A.       Pengertian dan Definisi New Media Secara bahasa, new media terdiri dari 2 kata yaitu new dan media. New memiliki arti baru dan media yang berarti perantara. New media merupakan sarana perantara yang baru, baik baru dalam waktu, manfaat, produksi, atau pendistribusian. Secara istilah, new media dapat diartikan sebagai kemunculan digital, komputer, atau jaringan teknologi informasi dan komunikasi pada akhir abad ke-20. New media adalah media dalam konteks teknologi, informasi dan komunikasi yang sedang berkembang saat ini. New media dapat dijadikan perantara antara manusia dengan perangkat digital maupun manusia dengan manusia. Pengguna dapat lebih interaktif dalam melakukan suatu interaksi sosial. New media itu sendiri diartikan sebagai media sosial yang dapat mepermudah pengguna untuk mendapatkan suatu informasi maupun untuk memberikan suatu informasi. Sebagian besar teknologi yang digambarkan sebagai media baru adalah digital. S
Posting Komentar
Baca selengkapnya