Multifunctional software systems: Structured modeling and specification of functional requirements

DOI10.1016/J.SCICO.2010.06.007zbMath1211.68112OpenAlexW2058776028MaRDI QIDQ608340

Manfred Broy

Publication date: 25 November 2010

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

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

zbMATH Keywords

interfacesfunctional specificationfunctional requirementsmultifunctional systemsservice hierarchies

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Unnamed Item
• Unnamed Item
• A semantic and methodological essence of message sequence charts
• An algebraic foundation for automatic feature-based program synthesis
• Specification and Development of Interactive Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2003

This page was built for publication: Multifunctional software systems: Structured modeling and specification of functional requirements