Online Library TheLib.net » Software Engineering 3: Domains, Requirements, and Software Design
cover of the book Software Engineering 3: Domains, Requirements, and Software Design

Ebook: Software Engineering 3: Domains, Requirements, and Software Design

Author: Dines Bjørner

00
26.01.2024
0
0

The art, craft, discipline, logic, practice and science of developing large scale software products is in increasing need of a trustworthy, believable and professional base. This book is one of a series of three volumes, devoted to fill this need. This series of strongly related text books combine informal, engineeringly sound approaches with the rigour of formal, mathematics based approaches.

The present volume covers the basic principles and techniques of overall software development: From domains via requirements to software designs. Thus the book advocates a novel approach to software engineering based on the adage: Before requirements can be formulated one must understand the application domain. The book is therefore structured this way: From (i) the principles and techniques for the development of domain descriptions, via (ii) principles and techniques for the derivation of requirements prescriptions from domain models, to (iii) principles and techniques for the refinement of requirements into software designs: Architectures and component design.

Emphasis in the coverage of domain and requirements engineering is on

Download the book Software Engineering 3: Domains, Requirements, and Software Design for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen