LEADER 03056nam  22005535  450 
001 9910254844703321
005 20200706051128.0
010   $a3-319-61518-1
024 7 $a10.1007/978-3-319-61518-9
035   $a(CKB)4100000000587295
035   $a(DE-He213)978-3-319-61518-9
035   $a(MiAaPQ)EBC5594724
035   $a(PPN)204536464
035   $a(EXLCZ)994100000000587295
100   $a20170915d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSoftware Engineering: Specification, Implementation, Verification /$fby Suad Alagi?
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XV, 178 p. 99 illus.) 
311   $a3-319-61517-3 
320   $aIncludes bibliographical references and index.
327   $a1 Analysis and Design -- 2 Specification of Constraints -- 3 Implementation Technology -- 4 Mapping Models to Code -- 5 Data Management -- 6 Software Verification.
330   $aThis 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.
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputers
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers)
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aModels and Principles.
676   $a005.1
700   $aAlagi?$b Suad$4aut$4http://id.loc.gov/vocabulary/relators/aut$044249
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910254844703321
996   $aSoftware Engineering: Specification, Implementation, Verification$92502519
997   $aUNINA