Fundamental Approaches to Software Engineering

DOI10.1007/B107062zbMath1119.68346OpenAlexW2479217507MaRDI QIDQ5316436

David A. Naumann

Publication date: 13 September 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107062

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

On assertion-based encapsulation for object invariants and simulations ⋮ Observational purity and encapsulation

Uses Software

• Eiffel
• JML
• Spec#

This page was built for publication: Fundamental Approaches to Software Engineering