Formal Foundations for Software Engineering Methods
8 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 | 2020 |
---|---|---|---|---|---|
Schnitt | € 47,00 | € 47,24 | € 55,43 | € 48,32 | € 76,13 |
Nachfrage |
Formal Foundations for Software Engineering Methods (Paperback) (1997)
ISBN: 9783540636137 bzw. 3540636137, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Language: English Brand New Book ***** Print on Demand *****.In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.
Formal Foundations for Software Engineering Methods
ISBN: 9783540636137 bzw. 3540636137, in Deutsch, Springer, Berlin, Taschenbuch, neu.
buecher.de GmbH & Co. KG, [1].
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.xi, 293 S. X, 286 pp.Versandfertig in 3-5 Tagen, Softcover.
Formal Foundations for Software Engineering Methods
ISBN: 9783540636137 bzw. 3540636137, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems. Soft cover.
Formal Foundations for Software Engineering Methods Heinrich Hußmann Author
ISBN: 9783540636137 bzw. 3540636137, vermutlich in Englisch, Springer Berlin Heidelberg, Taschenbuch, neu.
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science) (1997)
ISBN: 9783540636137 bzw. 3540636137, in Deutsch, Springer, Taschenbuch, neu.
1997 edition. 296 pages. 9.25x6.25x0.75 inches. In Stock.
Formal Foundations for Software Engineering Methods (1997)
ISBN: 9783540636137 bzw. 3540636137, in Deutsch, Springer Berlin Heidelberg, gebundenes Buch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formal Foundations for Software Engineering Methods (1997)
ISBN: 9783540636137 bzw. 3540636137, vermutlich in Englisch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science) (2008)
ISBN: 9783540636137 bzw. 3540636137, in Deutsch, Springer, Taschenbuch, gebraucht.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen