Enforcing design constraints with object logic

DOI10.1007/978-3-540-45099-3_1MaRDI QIDQ2722045zbMATH OpenFDO

Authors Daniel Jackson

Publication date 11 July 2001

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

Full work available at URL https://doi.org/10.1007/978-3-540-45099-3_1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computing methodologies and applications (68U99)

Recommendations

• Formal design and implementation of constraints in software components
• scientific article; zbMATH DE number 1863386
• scientific article; zbMATH DE number 1946736
• A Logic of Graph Constraints
• Component constraint detection based on proposition logic

Cited in

(3)

• Component constraint detection based on proposition logic
• Interface simulation distances
• Formal design and implementation of constraints in software components

Describes a project that uses

Uses Software

• Alcoa
• Java PathFinder

This page was built for publication: Enforcing design constraints with object logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722045)