A specification model for interface suites

DOI10.1007/3-540-45441-1_33MaRDI QIDQ4435887zbMATH OpenFDO

Authors E. E. Roubtsova, Louis C. M. van Gool, R. M. Kuiper, Hans B. M. Jonkers

Publication date 20 November 2003

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/2185/21850457.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2079812
• Specifying, relating and composing object oriented interfaces, components and architectures
• Toward a formal model of software components
• Model-based specification
• Formal Methods for Components and Objects

Cited in

(5)

• Specification by interface separation
• The specification of UML collaborations as interaction components
• scientific article; zbMATH DE number 2079812 (Why is no real title available?)
• UML aspect specification using role models
• Specifying and analysing system-level inter-component interfaces

This page was built for publication: A specification model for interface suites

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