000 03496nam a22005655i 4500
001 978-3-319-61518-9
003 DE-He213
005 20210118142016.0
007 cr nn 008mamaa
008 170915s2017 gw | s |||| 0|eng d
020 _a9783319615189
_9978-3-319-61518-9
024 7 _a10.1007/978-3-319-61518-9
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
100 1 _aAlagić, Suad.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aSoftware Engineering: Specification, Implementation, Verification
_h[electronic resource] /
_cby Suad Alagić.
250 _a1st ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aXV, 178 p. 99 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _a1 Analysis and Design -- 2 Specification of Constraints -- 3 Implementation Technology -- 4 Mapping Models to Code -- 5 Data Management -- 6 Software Verification.
520 _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.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputers.
650 1 4 _aSoftware Engineering.
_0http://scigraph.springernature.com/things/product-market-codes/I14029
650 2 4 _aProgramming Languages, Compilers, Interpreters.
_0http://scigraph.springernature.com/things/product-market-codes/I14037
650 2 4 _aModels and Principles.
_0http://scigraph.springernature.com/things/product-market-codes/I18016
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319615172
776 0 8 _iPrinted edition:
_z9783319615196
776 0 8 _iPrinted edition:
_z9783319870991
856 4 0 _uhttps://doi.org/10.1007/978-3-319-61518-9
912 _aZDB-2-SCS
999 _c450496
_d450496
942 _cEB
506 _aAvailable to subscribing member institutions only. Доступно лише організаціям членам підписки.
506 _fOnline access from local network of NaUOA.
506 _fOnline access with authorization at https://link.springer.com/
506 _fОнлайн-доступ з локальної мережі НаУОА.
506 _fОнлайн доступ з авторизацією на https://link.springer.com/