TY  - BOOK
AU  - Mills,Bruce
TI  - Practical formal software engineering: wanting the software you get 
SN  - 9780511813290 (ebook)
AV  - QA76.758 .M575 2009
U1  - 005.1 22
PY  - 2009///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Software engineering
KW  - Textbooks
N1  - Title from publisher's bibliographic system (viewed on 05 Oct 2015); 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
N2  - Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems . Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch.  Extensive worked examples motivate readers to learn the languages through the technical side of software science.
UR  - https://doi.org/10.1017/CBO9780511813290
ER  -