CSS Master Class: Part 1
Real-Time Process Control Systems (Real-Time Controller ASM for the Railroad Crossing Case Study) Egon Börger Dipartimento di Informatica, Universita di.
An Ontology-Driven Integration Framework for Smart Communities
Capturing Requirements (Building Ground Models) from natural language and use case descriptions (Simple Exercises) Egon Börger Dipartimento di Informatica,
Modeling Database Recovery An Exercise in Stepwise Refinement Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
Pipelining a RISC Architecture Stepwise Verification of DLX Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
Abstract State Machines Method for High-Level System Design and Analysis A Software EngineeringTechnique Egon Börger (Slightly adapted by Fabio Martinelli.
Computation and Specification Models A Comparative Study Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
An Abstract Component Model Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
High-Level System Design Using Foresight Giovanna Di Marzo Serugendo IT / CE.
Illustrating Stepwise Refinement Shortest Path ASMs Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
Designing an Efficient and Extensible Mobile TV Testbed Cheng-Hsin Hsu Simon Fraser University, Canada joint work with Mohamed Hefeeda, Yi Liu, and Cong.