Formal requirements engineering using observer models

DOI10.1007/3-540-45923-5_18MaRDI QIDQ4738330zbMATH OpenFDO

Authors Andreas Nonnengart, Georg Rock, Werner Stephan

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/23060264.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Building formal requirements models for reliable software
• scientific article; zbMATH DE number 2165631
• scientific article; zbMATH DE number 781172
• Separation of Concerns and Consistent Integration in Requirements Modelling
• scientific article; zbMATH DE number 1999055

Cited in

(3)

• Building formal requirements models for reliable software
• A simplified and corroborative approach towards formalization of requirements
• scientific article; zbMATH DE number 781172 (Why is no real title available?)

This page was built for publication: Formal requirements engineering using observer models

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