Software engineering with abstractions / Valdis Berzins, Luqi.

By:

Bērzin̦š, Valdis Andris

Contributor(s):

Luqi

Material type: Text

TextPublication details: Reading, Mass. : Addison-Wesley, c1991.Description: xv, 624 p. : ill. ; 24 cmISBN:

0201080044
9780201080049

Subject(s):

DDC classification:

005.133 19

Summary: A technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language ("Spec") to develop large real-time, and distributed systems in Ada. Coverage extends to system evolution, and includes special discussion of tools for automating software development. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Books	Main library General Stacks	005.133 / BE.S 1991 (Browse shelf(Opens below))	1	Available		003393

Includes bibliographical references and index.

A technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language ("Spec") to develop large real-time, and distributed systems in Ada. Coverage extends to system evolution, and includes special discussion of tools for automating software development. Annotation c. Book News, Inc., Portland, OR (booknews.com)

There are no comments on this title.

to post a comment.