Incremental requirement specification for evolving systems

MaRDI QIDQ2743709zbMATH OpenFDO

Authors Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen, Bengt Jonsson

Publication date 31 January 2002

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

change managementrequirement specificationvalidation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Property transformation under specification change
• Advances in Artificial Intelligence – SBIA 2004
• scientific article; zbMATH DE number 2087524
• scientific article; zbMATH DE number 2088761
• scientific article; zbMATH DE number 2033430

Cited in

(5)

• scientific article; zbMATH DE number 2088761 (Why is no real title available?)
• scientific article; zbMATH DE number 2033430 (Why is no real title available?)
• scientific article; zbMATH DE number 2087524 (Why is no real title available?)
• Advances in Artificial Intelligence – SBIA 2004
• Model checking, synthesis, and learning

This page was built for publication: Incremental requirement specification for evolving systems

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