Bruce Mills

Practical Formal Software Engineering

Wanting the Software You Get

• Broschiertes Buch

Produktbeschreibung

A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 376
• Erscheinungstermin: 19. Dezember 2019
• Englisch
• Abmessung: 245mm x 190mm x 25mm
• Gewicht: 634g
• ISBN-13: 9781108818643
• ISBN-10: 1108818641
• Artikelnr.: 58459477

Autorenporträt

Bruce Mills holds a Ph.D. in computer science and mathematics from the University of Western Australia, Perth. He has twenty years of experience in the industrial electronics and software fields, and as a lecturer in his native country, Wales, and the Middle East. Dr Mills is the author of Theoretical Introduction to Programming (2010).

Inhaltsangabe

Part I. Fundamentals: 1. Arithmetic
2. Logic
3. Algebra
4. Diagrams
Part II. Language: 5. UML
6. OCL
7. Z
8. Logic
9. Java
Part III. Practice: 10. Implementation
11. State transformation
12. Plain text
13. Natural language
14. Digital geometry
15. Building dungeons
16. Multiple threads
17. Security.