Correct Systems
Holcombe, Mike, Ipate, Florentin
Produktnummer:
18ca288db780e14221ad3aca452bd7a6a2
Autor: | Holcombe, Mike Ipate, Florentin |
---|---|
Themengebiete: | Hardware computer design hardware design language software testing |
Veröffentlichungsdatum: | 26.08.1998 |
EAN: | 9783540762461 |
Sprache: | Englisch |
Seitenzahl: | 206 |
Produktart: | Kartoniert / Broschiert |
Verlag: | Springer Berlin |
Untertitel: | Building a Business Process Solution |
Produktinformationen "Correct Systems"
Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the "new world" of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware designers. It presents specification, design, implementation and testing in a user-oriented fashion using simple formal and diagramming techniques with a high level of user-friendliness. The first part provides a simple introduction to the method together with a complete, real case study. The second part describes, in detail, the mathematical theory behind the methods and the claims made.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen