Practical Formal Software Engineering

Practical Formal Software Engineering
Author :
Publisher : Cambridge University Press
Total Pages : 377
Release :
ISBN-10 : 9780521879033
ISBN-13 : 0521879035
Rating : 4/5 (33 Downloads)

Book Synopsis Practical Formal Software Engineering by : Bruce Mills

Download or read book Practical Formal Software Engineering written by Bruce Mills and published by Cambridge University Press. This book was released on 2009-01-19 with total page 377 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Practical Formal Software Engineering Related Books

Practical Formal Software Engineering
Language: en
Pages: 377
Authors: Bruce Mills
Categories: Computers
Type: BOOK - Published: 2009-01-19 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

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 wr
Formal Engineering for Industrial Software Development
Language: en
Pages: 410
Authors: Shaoying Liu
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without ve
Formal Methods for Software Engineering
Language: en
Pages: 538
Authors: Markus Roggenbach
Categories: Computers
Type: BOOK - Published: 2022-06-22 - Publisher: Springer Nature

DOWNLOAD EBOOK

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo
Software Engineering Practice
Language: en
Pages: 362
Authors: Thomas B. Hilburn
Categories: Computers
Type: BOOK - Published: 2020-12-15 - Publisher: CRC Press

DOWNLOAD EBOOK

This book is a broad discussion covering the entire software development lifecycle. It uses a comprehensive case study to address each topic and features the fo
Formal Methods Fact File
Language: en
Pages: 416
Authors: Andrew Harry
Categories: Computers
Type: BOOK - Published: 1996-10-10 - Publisher:

DOWNLOAD EBOOK

Formal Methods Fact File VDM and Z Andrew Harry Formal methods provide a means of specifying computer systems that is unambiguous,concise and well suited to the