Software Specification Methods Henri Habrias,Marc Frappier

By:

Habrias Henri

Language: English Publication details: Usa Iste 2007Description: xxv; 418 p. 25 cmISBN:

9781905209347

Subject(s):

computers computer software specifications electronic books

DDC classification:

004.0151 HAB

Summary: 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

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
Reference	Anna Centenary Library 3RD FLOOR, A WING	004.0151 HAB (Browse shelf(Opens below))	Not for loan	333071

Includes index

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

There are no comments on this title.

to post a comment.

Software Specification Methods Henri Habrias,Marc Frappier

Find us on the map