Domain Science and Engineering

A Foundation for Software Development

Autor*innen

• Dines Bjørner

Parameter

• 420 Seiten
• 15 Lesestunden

• Informatik & Programmierung

Mehr zum Buch

Focusing on domain engineering, the author explores its scientific foundations and illustrates how to extract requirements for computing systems from domain descriptions. The book emphasizes the representation of domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities, providing a structured approach to understanding and developing computing systems.

• Sprache: Englisch
• Erscheinungsdatum: 2021
• Einband: Hardcover