Related Books

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
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 Methods and Software Engineering
Language: en
Pages: 503
Authors: Kazuhiro Ogata
Categories: Computers
Type: BOOK - Published: 2016-10-31 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November
A Philosophy of Software Design
Language: en
Pages: 0
Authors: John K. Ousterhout
Categories: Computer programs
Type: BOOK - Published: 2021 - Publisher:

DOWNLOAD EBOOK

"This book addresses the topic of software design: how to decompose complex software systems into modules (such as classes and methods) that can be implemented
Guide to the Software Engineering Body of Knowledge (Swebok(r))
Language: en
Pages: 348
Authors: IEEE Computer Society
Categories: Computer software
Type: BOOK - Published: 2014 - Publisher:

DOWNLOAD EBOOK

In the Guide to the Software Engineering Body of Knowledge (SWEBOK(R) Guide), the IEEE Computer Society establishes a baseline for the body of knowledge for the