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

Browsing Main library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.133 / BA.E 2007 Embedded C programming and the Atmel AVR /	005.133 BA.P 1998 Programming in Ada 95 /	005.133 / BE.N 2008 Next generation Java testing :	005.133 / BE.S 1991 Software engineering with abstractions /	005.133 / BI.C 2008 C# 3.0 design patterns /	005.133 / BR.C 2010 C++ for engineering and scientists /	005.133 / BR.J 2010 Java Programming :	Next

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.