Introducing context-based constraints

DOI10.1007/3-540-45923-5_17MaRDI QIDQ4738329zbMATH OpenFDO

Authors Felix Bübl

Publication date 11 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2306/23060249.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• External requirements validation for component-based systems
• Incremental requirement specification for evolving systems
• Formal design and implementation of constraints in software components
• A formalisation of the evolution of software systems
• Advances in Artificial Intelligence – SBIA 2004

Cited in

(6)

• Incremental requirement specification for evolving systems
• Promoting constraints to first-class status
• External requirements validation for component-based systems
• Towards an approach of consistency verification for online software evolution in open environments
• Presenting Constraints
• Formal design and implementation of constraints in software components

This page was built for publication: Introducing context-based constraints

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