Normal view MARC view ISBD view

Software Engineering: Specification, Implementation, Verification / by Suad Alagić.

By:

Alagić, Suad [author.]

Material type: Text

TextPublisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017Description: 1 online resource (XV, 178 pages 99 illustrations)Content type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319615189

Subject(s):

Additional physical formats: Print version:: Software engineering : specification, implementation, verification; Printed edition:: No title; Printed edition:: No title; Printed edition:: No titleDDC classification:

005.1 ALA 23

Contents:

1 Analysis and Design -- 2 Specification of Constraints -- 3 Implementation Technology -- 4 Mapping Models to Code -- 5 Data Management -- 6 Software Verification.

Summary: This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project. Uses constraints in all phases of software development Follows recent developments in software technologies Technical coverage of data management issues and software verification Illustrated throughout to present analysis, specification, implementation and verification of multiple applications Includes end-of-chapter exercises and Instructor Presentation Slides.

List(s) this item appears in: STEM & ENGINEERING CORNER

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	Shelving location	Call number	Copy number	Status	Date due	Barcode
Books	CamTech Library	General Collections	005.1 ALA (Browse shelf(Opens below))	C.1	Available		CamTech 000011

Browsing CamTech Library shelves, Shelving location: General Collections Close shelf browser (Hides shelf browser)

Previous								Next
Previous	004.67 PER An introduction to IoT analytics /	004.678 GAO IoT applications computing	004.678 NAU From Gutenberg to Zuckerberg : disruptive innovation in the age of the Internet	005.1 ALA Software Engineering: Specification, Implementation, Verification /	005.1 DIA Progressions and innovations in model-driven software engineering /	005.1 EME Emerging innovations in agile software development /	005.1 GLE The politics of innovation : why some countries are better than others at science and technology /	Next

1 Analysis and Design -- 2 Specification of Constraints -- 3 Implementation Technology -- 4 Mapping Models to Code -- 5 Data Management -- 6 Software Verification.

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project. Uses constraints in all phases of software development Follows recent developments in software technologies Technical coverage of data management issues and software verification Illustrated throughout to present analysis, specification, implementation and verification of multiple applications Includes end-of-chapter exercises and Instructor Presentation Slides.

Description based on publisher-supplied MARC data.

There are no comments on this title.

to post a comment.