Requirements, specifications, and minimal refinement

DOI10.1016/S1571-0661(04)80550-4MaRDI QIDQ4916211zbMATH OpenFDO

Authors Nikos Gorogiannis, M. D. Ryan

Publication date 19 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80550-4

zbMATH Keywords

refinementsrequirementsspecifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Minimal refinements of specifications in modal and temporal logics
• Refinement
• scientific article; zbMATH DE number 139814
• scientific article; zbMATH DE number 1951183
• The automated refinement of a requirements domain theory

Cites work

• Algebraic laws for nondeterminism and concurrency
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 176726 (Why is no real title available?)
• Modal logic
• Modal logic over finite structures
• Propositional knowledge base revision and minimal change
• The existence of refinement mappings

Cited in

(5)

• The automated refinement of a requirements domain theory
• Specification statements and refinement
• Evolving Specification Engineering
• Minimal refinements of specifications in modal and temporal logics
• Minimal refinements of specifications in modal and temporal logics

This page was built for publication: Requirements, specifications, and minimal refinement

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