On relating functional specifications to architectural specifications: A case study

DOI10.1016/J.SCICO.2005.04.003MaRDI QIDQ2581539zbMATH OpenOpenAlexFDO

Authors Flavio Corradini, P. Inverardi, Alexander Wolf

Publication date 10 January 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.04.003

zbMATH Keywords

Formal methodsFunctional specificationSimulation testbedSoftware architecturesValidationVerification

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Architectural specifications in CASL
• scientific article; zbMATH DE number 2079671
• A Framework for Developing and Analyzing Software Architecture Specifications in SAM
• Relating functional requirements and software architecture: separation and consistency of concerns
• Recent Trends in Algebraic Development Techniques

Cited in

(2)

• A Framework for Developing and Analyzing Software Architecture Specifications in SAM
• Relating functional requirements and software architecture: separation and consistency of concerns

Describes a project that uses

Uses Software

• AEGIS
• Rapide

This page was built for publication: On relating functional specifications to architectural specifications: A case study

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