Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Software Specification Methods

An Overview Using a Case Study
BuchKartoniert, Paperback
282 Seiten
Englisch
Springererschienen am16.10.20001st ed.
Objectives of this Book This book is an introduction to a set of software specification methods. The same case study is used to introduce each method, following a rigorously uniform presentation format. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR106,99
E-BookPDF1 - PDF WatermarkE-Book
EUR96,29

Produkt

KlappentextObjectives of this Book This book is an introduction to a set of software specification methods. The same case study is used to introduce each method, following a rigorously uniform presentation format. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method.
Details
ISBN/GTIN978-1-85233-353-9
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2000
Erscheinungsdatum16.10.2000
Auflage1st ed.
ReiheFormal Approaches to Computing and Information Technology (FACIT)
Seiten282 Seiten
SpracheEnglisch
Gewicht478 g
IllustrationenXXIV, 282 p. 7 illus.
Artikel-Nr.17382244

Inhalt/Kritik

Inhaltsverzeichnis
I State-Based Approaches.- 1 Z: A Formal Specification Notation.- 2 SAZ: SSADM Version 4 and Z.- 3 B: A Model-Based Method Using Generalised Substitutions.- 4 From OMT Diagrams to B Specifications.- II Event-Based Approaches.- 5 Action Systems: A Method Combining State-Based and Event-Based Specification.- 6 Using UML with a Behaviour-Driven Method.- 7 VHDL: A Hardware Description Language and its Simulation Semantics.- 8 Estelle: A Formal Description Technique.- 9 SDL: A Language Based on Extended Finite State Machines with Abstract Data Types.- 10 (E)-Lotos: (Enhanced) Language of Temporal Ordering Specification.- 11 Specifying a Cleanroom Black Box Using JSD.- III Other Formal Approaches.- 12 Algebraic Specification in Casl.- 13 An Abstract and Constructive Specification in Coq.- 14 Petri Nets: A Graphical Tool for System Modelling and Analysis.- 15 Using Petri Nets and Objects: A Formal yet Expressive Approach.mehr