4 Ebooks de Stefan Leue
Stefan Leue & Tarja J. Systa: Scenarios: Models, Transformations and Tools
Visual notations and languages continue to play a pivotal role in the design of complex software systems. In many cases visual notations are used to – scribe usage or interaction scenarios of softwar …
PDF
Engleză
DRM
€57.76
Dragan Bosnacki & Stefan Leue: Model Checking Software
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when …
PDF
Engleză
DRM
€57.60
Dennis Dams & Robert Gerth: Theoretical and Practical Aspects of SPIN Model Checking
Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many app …
PDF
Engleză
DRM
€57.61
Stefan Leue & Pedro Merino: Formal Methods for Industrial Critical Systems
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in J …
PDF
Engleză
DRM
€58.02