5DM_kdse.ppt
The High-Performance Administrator
Real-Time Process Control Systems (Real-Time Controller ASM for the Railroad Crossing Case Study) Egon Börger Dipartimento di Informatica, Universita di.
Leaning towerofpisa
Finland vs. US
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.
“I do not know what I may appear to the world, but to myself I seem to have been only like a boy playing on the sea-shore, and diverting myself in now.
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.