Struktur: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Samuelsp15 (bicara | kontrib) →Data: Penambahan Bagian Baru dengan Informasi Beserta Referensi. Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
Samuelsp15 (bicara | kontrib) →Perangkat lunak: Penambahan Bagian Baru dengan Informasi Beserta Referensi. Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
||
Baris 56:
Dalam arsitektur perangkat lunak, struktur perangkat lunak adalah cara di mana hal ini dipartisi menjadi komponen yang saling terkait. Masalah struktural utama adalah meminimalkan ketergantungan antara komponen-komponen ini. Hal ini memungkinkan untuk mengubah satu komponen tanpa memerlukan perubahan lainnya.<ref>{{cite book |last1=Gorton |first1=Ian |title=Essential software architecture |date=2011 |publisher=Springer |location=Berlin |language=en |isbn=9783642191763 |edition=2}}</ref>{{rp|3}} Struktur ini dapat direpresentasikan dalam diagram seperti [[Diagram Struktur Kontrol]] dan [[diagram Nassi-Shneiderman]].<ref>{{cite book |last1=Diehl |first1=Stephan |title=Software visualization : visualizing the structure, behaviour, and evolution of software ; with 5 tables |date=2007 |publisher=Springer |location=Berlin |language=en |isbn=978-3540465041}}</ref>{{rp|38–47}} Elemen struktural mencerminkan persyaratan aplikasi: misalnya, jika suatu sistem memerlukan toleransi kesalahan yang tinggi, maka diperlukan struktur yang berlebihan sehingga jika komponen gagal, komponen itu memiliki cadangan.<ref>{{cite book |last1=Bernardi |first1=Simona |last2=Merseguer |first2=José |last3=Petriu |first3=Dorina Corina |title=Model-Driven Dependability Assessment of Software Systems |date=2013 |publisher=Springer Berlin Heidelberg |location=Berlin, Heidelberg |language=en |isbn=9783642395123}}</ref>{{rp|46–47}} Redundansi tinggi adalah bagian penting dari desain beberapa sistem di [[pesawat ulang-alik]].<ref>{{cite web |title=Computers in the Space Shuttle Avionics System |url=https://history.nasa.gov/computers/Ch4-4.html |website=Computers in Spaceflight: The NASA Experience |accessdate=22 September 2019}}</ref>
== Logis ==
Sebagai cabang [[filsafat]], [[logika]] berkaitan dengan membedakan argumen yang baik dari argumen yang buruk. Perhatian utama adalah dengan struktur argumen.<ref>{{cite web |title=The Structure of Arguments |url=http://philosophy.lander.edu/logic/structure.html |website=Philosophy 103: Introduction to Logic |publisher=philosophy.lander.edu |accessdate=22 September 2019 |language=en}}</ref> Argumen terdiri dari satu atau lebih premis dari mana kesimpulan disimpulkan.<ref name=Kemerling>{{cite web |last1=Kemerling |first1=Garth |title=Arguments and Inference |url=http://www.philosophypages.com/lg/e01.htm |website=The Philosophy Pages |accessdate=22 September 2019 |language=en}}</ref> Langkah-langkah dalam kesimpulan ini dapat diekspresikan secara formal dan strukturnya dianalisis. Dua tipe dasar inferensi adalah [[metode deduksi|deduksi]] dan [[pembuktian melalui induksi|induksi]]. Dalam deduksi yang valid, kesimpulan harus mengikuti dari premis, terlepas dari apakah itu benar atau tidak. Pengurangan yang tidak valid berisi beberapa kesalahan dalam analisis. Argumen induktif mengklaim bahwa jika premis-premis itu benar, kesimpulannya mungkin.<ref name=Kemerling/>
== Referensi ==
| |||