Practical formal software engineering : wanting the software you get / Bruce Mills.
By: Mills, Bruce.
Publisher: New York : Cambridge University Press, ©2019Description: 339 p: illustrations ; 26 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9781108818643; 0521879035 (hardback).Subject(s): Software engineering -- TextbooksGenre/Form: Print books.Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|
On Shelf | QA76.758 .M575 2019 (Browse shelf) | Available | AU00000000016611 |
Browsing Alfaisal University Shelves , Shelving location: On Shelf Close shelf browser
QA76.758 .K58 2016 Evidence-based software engineering and systematic reviews / | QA76.758 .L33 2016 Introduction to software engineering / | QA76.758 .M35 2018 Fundamentals of software engineering / | QA76.758 .M575 2019 Practical formal software engineering : wanting the software you get / | QA76.758 .O839 2012 Software engineering design : theory and practice / | QA76.758 .P6413 2015 Requirements engineering fundamentals : a study guide for the certified professional for requirements engineering exam, foundation level, IREB compliant / | QA76.758 .P75 2015 Software engineering : a practitioner's approach / |
Includes bibliographical references and index.
PART 1: Fundamentals. Arithmetic -- Logic -- Algebra -- Diagrams -- -- PART 2: Language. UML -- OCL -- Z -- Logic -- Java -- Game exercises -- -- PART 3: Practice. Implementation -- State transformation -- Plain text -- Natural language -- Digital geometry -- Building dungeons -- Multiple threads -- Security.