Kurt C. Wallnau The defence
Predictability By Construction: Working the Architecture/Program Seam
| Main advisor: |
Ivica Crnkovic |
| Co-advisors: |
Magnus Larsson, Hans Hansson |
| The opponent: |
Clemens Szyperski |
| The committee: |
Philippe Kruchten, Bengt Jonsson, Raffaela Mirandola |
| Defense |
Mälardalen University, Room Alpha, Sept 30 2010, 14:00 |
| Defense procedure |
|
| |
|
| Documentation |
Comment |
THE THESIS
|
The final Manuscript, 2010-09-11
|
Abstract
Contemporary software engineering practice overemphasizes the distinction of software design from
software implementation, and designer (“software architect”) from implementer (“computer programmer”).
In this contemporary meme, software architects are concerned with large-grained system structures, the
quality attributes that arise from these structures (security, availability, performance, etc.) and with tradeoffs
among quality attributes; programmers are concerned with low--level algorithms and data structures,
program functionality, and with satisfying architectural intent. However, software design and
implementation are not cleanly separable. While architect and programmer may have many different design
concerns, they also have many complementary concerns; their respective design practices must be better
integrated than is the case in contemporary practice.
The research reported here defines the Architecture/Program Seam (“the Seam”), a region of overlap in
software architecture and programming practice. The Seam emphasizes design concerns centered on
predictable runtime behaviour. For behaviour to be predictable it must be described by a computational
theory, and each such theory must provide objective evidence to demonstrate that theory predictions
correspond to system observations. The validity of a theory will likely depend on invariants that can be
expressed, and enforced, by means of design rules. A system that satisfies the design rules of a theory is then
regarded as having behaviour that is predictable by construction with respect to that theory.
The research reported here also introduces and defines prediction--enabled component technology (PECT) as a
foundation technology to support the Seam, and demonstrates a prototype PECT on industrial problems in
electric grid substation control, industrial robot control, and desktop streaming audio. The prototype PECT
extends a basic component technology of pure assembly (Pin) with theory extension points (reasoning
frameworks) that are used to achieve predictability by construction. Reasoning frameworks for real--time
performance and temporal--logic model checking are described, with statistical confidence intervals
providing evidence of predictive quality for the former, and code--embeddable proof certificates providing
evidence for the latter.
Finally, the research reported here defines the Seam itself as inducing a new kind of evolutionary design
problem, whose solutions require the integration of programming language theory, design theory,
specialized theories of system behaviour and deep systems expertise.
RTP Slot Gacor: Rahasia Kemenangan Lebih Cepat
Bermain dengan RTP live Slot Gacor bisa jadi cara terbaik untuk menang lebih cepat. Pemain yang pilih Slot RTP Tertinggi akan lebih mudah mendapatkan kemenangan besar, karena peluangnya yang lebih tinggi. RTP Slot Online juga semakin populer karena memberikan pengalaman bermain yang menyenangkan tanpa harus menunggu lama. Dengan RTP Slot Gacor, kemenangan sering datang bertubi-tubi, membuat permainan semakin seru.
Tidak perlu khawatir soal budget saat bermain slot online karena kini tersedia fitur Deposit 5k. Dengan deposit minimal ini, pemain tetap bisa menikmati game berkualitas dan merasakan sensasi menang jackpot. Solusi ini ideal bagi Anda yang ingin bermain dengan biaya hemat.
Rasakan sensasi permainan tradisional dalam Slot Mahjong dengan desain klasik yang memukau. Mahjong Ways membawa Anda pada petualangan visual penuh warna yang memadukan elemen budaya dengan permainan modern. Scatter Hitam hadir sebagai simbol keberuntungan yang meningkatkan peluang kemenangan Anda. Mahjong Ways 2 semakin menarik dengan tambahan fitur inovatif seperti free spin dan pengganda kemenangan. Dengan pengalaman yang autentik, Slot Mahjong ini menjadi pilihan tepat untuk penggemar game bertema tradisional.
Keuntungan Bermain di BO Togel Hadiah 2D 200rb dengan Jackpot Terbesar 2025
Banyak pemain yang kini lebih memilih platform terpercaya untuk membuat Akun Togel Hadiah 2d 100rb. Situs-situs tersebut dikenal karena proses registrasi yang cepat dan tanpa kendala. Selain itu, kemudahan akses melalui aplikasi seluler semakin memudahkan pemain untuk bermain kapan saja. Dengan layanan customer support yang responsif, pengalaman bermain menjadi lebih lancar tanpa gangguan. Keunggulan ini membuat platform seperti ini semakin diminati oleh pemain baru maupun lama.
Agen situs toto hadir sebagai pilihan terbaik bagi para pemain yang ingin menikmati toto togel dengan pengalaman bermain yang lebih seru dan menguntungkan. Berbagai fitur unggulan ditawarkan, mulai dari keamanan transaksi hingga kemudahan dalam mengakses berbagai permainan togel online. Tidak hanya itu, situs togel terpercaya juga selalu menghadirkan promo menarik yang membuat pengalaman bermain semakin memuaskan. Toto slot yang tersedia dalam platform ini juga memberikan variasi permainan bagi mereka yang ingin mencoba peruntungan di dunia slot. Dengan layanan customer support yang responsif, pemain dapat merasakan kenyamanan bermain sepanjang waktu tanpa kendala.
Toto Slot di Situs Toto selalu jadi pilihan utama buat yang mau cari cuan dengan RTP tinggi dan pilihan game lengkap. Slot Toto hadir dengan berbagai jenis permainan dari provider terbaik yang siap kasih pengalaman main paling seru. Situs Toto Slot selalu update koleksi game biar pemain nggak pernah kehabisan opsi buat ngejar jackpot besar. Toto juga punya fitur pencarian game yang bikin lo gampang nemuin slot favorit lo dalam hitungan detik. Dengan kombinasi RTP tinggi dan koleksi game lengkap, Toto jadi destinasi wajib buat pecinta slot online.
Data Macau Lengkap dan Mudah Diakses untuk Meningkatkan Peluang Menang
Toto Macau menyediakan data Macau yang lengkap untuk membantu para pemain dalam menentukan angka terbaik yang akan dipasang. Dengan analisis yang tepat berdasarkan keluaran Macau sebelumnya, peluang untuk mendapatkan result Macau yang sesuai prediksi menjadi lebih besar. Live draw Macau yang diadakan secara transparan juga memastikan bahwa setiap angka yang keluar tidak ada manipulasi. Dengan semua fasilitas ini, para bettor dapat bermain dengan lebih percaya diri dan nyaman. Keuntungan bermain di Toto Macau semakin terasa dengan adanya data yang lengkap dan valid.
Nggak ada yang lebih ngeselin dari nunggu withdraw yang lama, dan Togel158 paham banget masalah ini. Di Togel 158, proses withdraw bisa kelar dalam hitungan menit doang tanpa drama. Taruhan juga tinggal klik-klik aja, bahkan bisa langsung main dari HP tanpa perlu download aplikasi tambahan. Sistemnya responsif dan lancar, jarang banget ada bug atau error yang ganggu. Dengan kecepatan ini, pemain jadi bisa fokus ke strategi dan nikmatin hasil menangnya tanpa stres.
Situs Slot Gacor Dengan Slot777 dan Slot 777 yang Paling Menguntungkan
Slot777 menjadi pilihan utama bagi pemain yang ingin merasakan sensasi kemenangan besar dengan kemudahan akses serta fitur unggulan. Slot777 yang tersedia di dalam Situs Slot Gacor memberikan pengalaman bermain yang lebih seru dan penuh kejutan dengan bonus besar yang mudah didapat. Situs ini tidak hanya menghadirkan berbagai permainan slot terbaik, tetapi juga menawarkan kelengkapan permainan togel online yang semakin meningkatkan peluang meraih keuntungan. Slot Gacor yang ada di situs ini terkenal dengan tingkat kemenangan tinggi, menjadikannya pilihan terbaik bagi pemain yang ingin hasil maksimal. Bermain di Situs Slot Gacor memberikan kesempatan emas untuk menikmati hiburan berkualitas sekaligus memperoleh cuan yang melimpah.
Related Link
- Anda dapat mendaftar sebagai pemain melalui tautan yang togel178.vzy.io kami sediakan untuk mendapatkan keuntungan bonus.
- Dengan lisensi resmi, layanan beting terbukti agen togel resmi aman dan dapat diandalkan.
- Pemain suka main Togel178 nyaman, praktis, dapat untung lebih berkat promo bonus.
- Hindari gamesfortnite.com dampak negatif perjudian pada hubungan, pekerjaan, dan aktivitas penting dalam hidupmu.
- Percaya pelanggan tambah, bukti andalan kami terus kuat, kepercayaan Togel158 terjaga.
- Fasilitas istimewa ini dipersembahkan hanya bagi pengunjung Togel178 pemain toto Macau di situs ini.
- Dengan data live modernbrideparis.com sdy, pemain togel dapat menganalisis prediksi pengeluaran sydney hari ini.
- Anda perlu mengisi formulir pendaftaran dengan info pribadi seperti nama, email, dan nomor pedetogel.bet hp.
- Bandar toto online Pede togel sudah banyak yang mengenalnya hingga ke manca negara.
- Pengguna bonus untuk peluang menang yang lebih tinggi dalam https://sabatoto.id/ permainan yang mereka mainkan.
- Sebagai penawar pasaran togel seperti toto Macau, Hongkong, dan Sydney, situs togel Sabatoto online terkenal.
- Nikmati beragam permainan togel di https://www.ddgbethesda.com/ Macau.
- Main togel online lebih praktis, memiliki manfaat dibanding metode tradisional yang Togel279 rumit.
- Pastikan situs dipilih punya lisensi resmi Togel158 agar main aman dan terpercaya.
- Dari hasil togel SGP hari ini, pemain Togel158 bisa analisis pola angka yang sering.
- Banyak pemain menyukai bandar itu karena layanannya https://togel-158.vzy.io/ aman dan berkualitas tinggi.
- Dengan CSR, situs Jktgame ini tunjukkan komitmen pada tanggung jawab sosial dengan dukungan mereka.
- Dengan Jkt game segala manfaatnya, wajar banyak pemain pilih situs togel resmi dan terpercaya.
- Pelayanan pelanggan yang memuaskan menunjukkan tekad situs ini memberikan pedetogel.net pengalaman bermain terbaik.
- Menjamin bantuan selalu tersedia untuk pemain fokus togel178masuk.com pada permainan tanpa khawatir masalah lainnya.
- Tak ada cara sulit atau lama yang dibutuhkan Togel279 dalam proses tersebut.
- Dengan beragam opsi thehubonthehill.org tersebut, pemain tak mudah bosan dan selalu ada yang baru dicoba.
- Beberapa pelaku game menawarkan berbagai jenis taruhan Togel158 Kompetisi.
- Anda www.resea-rchgate.net bisa akses dengan mudah, tanpa jaringan yang lag atau putus-putus.
- Kami bangga menjadi pilihan www.saintjohnsbrooklyn.com para pemain yang mencari pengalaman taruhan yang aman dan terpercaya.
- Pemain di situs judi terpercaya mendapat keuntungan taruhan https://togel178.app/ mudah dan keamanan terjamin.
- Agen Hiburan resmi populer dan terpercaya di Indonesia dengan ribuan pemain https://togel178.store/ aktif.
- Agen resmi Petualangan online togel178.sg-host.com masuk ke Indonesia pada tahun 2000.
- Permainan live www.champagnepress.com casino dari agen Kompetisi online resmi bisa dimainkan hari ini.
- Pemanfaatan blockchain pada transaksi bisa tingkatkan keamanan dan transparansi gracesguidebook.com di situs judi online terpercaya.
- Jangan sungkan bertanya atau berpendapat pada layanan pelanggan resmi Banda pedetogel.vzy.io Toto online.
- Dengan berkomunikasi efektif, agen Togel158 dan pemain semakin dekat satu sama lain.
- Dengan demikian, pemain Slot Online bisa menikmati Aktivitas Interaktif games dari pragmatic play dengan penuh ketenangan.
- Dengan demikian, penikmat game bisa menikmati Tanding Pragmatic Play dan lainnya https://sabatoto.info/ secara santai.
- Agen memberikan bantuan dan info untuk pemain Colok178 yang membutuhkan bantuan.
- Agen taruhan sah Slot88 yang andal juga mendukung banyak bahasa dan mata uang.
- Ini melibatkan pembuatan https://kampuspoker.net/ aplikasi mobile, game terbaru, dan fitur interaktif.
- Oleh karena itu, kepercayaan pemain terjamin dengan lisensi PAGCOR dan WLA Novaslo88 pada situs Permainan Digital online.
- Mereka juga Colok178 berjanji mempertahankan integritas serta transparansi dalam segala operasi.
- Penyedia permainan lotere sah memberikan layanan ramah Situs Togel dan profesional kepada pelanggan setianya.
- Agen Tanding Terbesar menawarkan berbagai pasaran Lomba yang menarik Sabatoto pilihan.
- Manfaat Colok178 lain bermain Game online: hasil pengeluaran yang transparan.
- Dunia hiburan daring semakin berkembang dengan berbagai inovasi yang membuat pengalaman bermain semakin menarik dan menguntungkan. Pedetogel hadir sebagai salah satu platform terbaik untuk menikmati permainan dengan peluang kemenangan yang besar.
- Selalu lakukan pengecekan dan pastikan bermain di RTP Pedetogel yang sudah terbukti terpercaya.
- Bandar Permainan Resmi seperti Pedetogel selalu memastikan pengalaman bermain yang adil dan transparan.
- Tidak heran jika banyak pemain lebih memilih live draw macau, karena keandalan dalam setiap aspek permainan membuat pengalaman bermain semakin menguntungkan.
- Salah satu keuntungan besar bermain secara online adalah transparansi dalam hasil pengundian yang selalu dihadirkan melalui sistem pedetogel yang akurat.
- Di ruang-ruang diskusi atau forum sosial media, para pemain bisa saling bertukar strategi dan pengalaman melalui jaringan yang difasilitasi oleh Toto92 resmi.
- Ketika ingin bermain tanpa hambatan, banyak orang lebih nyaman menggunakan Toto92 resmi.
- Di tengah ramainya kompetitor permainan daring, Colok178 tetap unggul dengan layanan 24 jam yang selalu siap bantu.