Katharina Spies

Learn More
We describe the concept of AutoFocus, a tool for the speci-cation of distributed systems. AutoFocus is based on the formal development method Focus and uses graphical description formalisms embedded into its semantical framework, thus ooering well-accepted notations while retaining the ability for exact consistency checks of a system under development. The(More)
State-of-the-art software development increasingly relies on describing the system (or software) graphically, abstracting from an actual implementation platform, and supporting to generate an executable system out of the model. Similarly, in electrical engineering often graphically represented models are used to describe the controlled system including its(More)
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-deened dependencies between the models(More)
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty y ears a wide variety o f description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-deened dependencies between the(More)
1 About this Book The RPC-Memory speciication problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. The idea was to use it as a basis for comparing various approaches to formal speciica-tion, reenement, and veriication. Various preliminary solutions were presented and discussed during a workshop(More)