No Inv.: 79340/01/1c
No Inv.: 40347/S/Perp/02/1c
No Inv.: 79943/S/02/1c
Written as a workbook with a set of guided exercises that teach by example, this book gives a practical, hands-on guide to using UML to design and implement embedded and real-time systems. Key Features : * A review of the basics of UML and the Harmony process for embedded software development: two on-going case examples to teach the concepts, a small-scale traffic light control system and a…
No Inv.: 78732/P/01/1c
"Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security." "In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are …
Buku ini merupakan hasil dari Simposium Euro ke-6 tentang Analisis dan Desain Sistem, SIGSAND/PLAIS 2013, yang diselenggarakan di GdaÅ„sk, Polandia, pada bulan September 2013. Tujuan simposium ini adalah untuk mempromosikan dan mengembangkan penelitian berkualitas tinggi tentang semua isu yang terkait dengan analisis dan desain sistem (SAND). Simposium ini menyediakan forum bagi para penelit…
No Inv.: 423/S/Perp/96/1c
No Inv.: 424/S/perp/96/1c