scientific article; zbMATH DE number 2080018

zbMATH Open1044.68884MaRDI QIDQ4472205FDOQ4472205

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Discussion on: ``Formal specification method for systems automation
• Object oriented concepts identification from formal \(B\) specifications
• Title not available (Why is that?)
• 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)