A logical framework for evolving software systems

DOI10.1007/BF01211049zbMath0843.68110OpenAlexW2030168886MaRDI QIDQ1911313

Paulo S. C. Alencar, Carlos J. P. Lucena

Publication date: 13 August 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

theorem proverlarge-scale software systems maintenance

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• A logic covering undefinedness in program proofs
• Proof methods for modal and intuitionistic logics
• Reasoning about action. I: A possible worlds approach
• A logic for default reasoning
• Axiomatising the logic of computer programming
• A formal description of evolving software systems architectures
• STRIPS: A new approach to the application of theorem proving to problem solving
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logical framework for evolving software systems