scientific article; zbMATH DE number 2080018

MaRDI QIDQ4472205zbMATH OpenFDO

Authors Régine Laleau, Fiona A. C. Polack

Publication date 3 August 2004

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• scientific article; zbMATH DE number 1708031
• scientific article; zbMATH DE number 2086948
• Eine Erweiterung der unified modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen. (An extension of the unified modeling language for tracing software requirements in safety critical systems.)
• scientific article; zbMATH DE number 2102668
• scientific article; zbMATH DE number 1949630

Cited in

(5)

• Object oriented concepts identification from formal \(B\) specifications
• Discussion on: ``Formal specification method for systems automation
• scientific article; zbMATH DE number 1708031 (Why is no real title available?)
• Formal specification method for systems automation
• Tracing requirements and source code during software development

This page was built for publication:

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