Domain Science and Engineering

A Foundation for Software Development

Autor*innen

• Dines Bjørner

Parameter

• 420 Seiten
• 15 Lesestunden

• Informatik & Programmierung

Mehr zum Buch

The author delves into domain engineering, illustrating its scientific foundations and demonstrating how to extract requirements prescriptions for computing systems from domain descriptions. The work emphasizes the representation of domain descriptions, requirements prescriptions, and software design specifications as mathematical entities, offering a unique perspective on the intersection of mathematics and software development.

• Sprache: Englisch
• Erscheinungsdatum: 2022
• Einband: Paperback