Cantitate/Preț
Produs
Total produse
Vezi coșul
Software Specification Methods de Henri Habrias

Software Specification Methods

Editat de Henri Habrias, Marc Frappier
en Limba Engleză Hardback – apr 2006
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Citește tot Restrânge

Preț: 92587 lei

Preț vechi: 139634 lei
-34% Nou

Puncte Express: 1389
Preț estimativ în valută:
16381€ • 19084$ • 14305£

Carte indisponibilă temporar


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781905209347
ISBN-10: 1905209347
Pagini: 418
Dimensiuni: 161 x 236 x 28 mm
Greutate: 0.79 kg
Editura: Wiley
Locul publicării:Hoboken, United States

Public țintă

IT Managers, Senior Business Managers, Systems Architects, Software Developers.

Notă biografică

Henri Habrias, University of Nantes, FranceMarc Frappier, University of Sherbrooke, Canada

Cuprins

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.

Caracteristici

This is the only up-to-date survey of specification techniques