An interface model of software components

DOI10.1007/978-3-642-39718-9_10MaRDI QIDQ2851905zbMATH OpenOpenAlexFDO

Authors Ruzhen Dong, Naijun Zhan, Liang Zhao

Publication date 4 October 2013

Published in Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39718-9_10

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Synchronous and Bidirectional Component Interfaces
• scientific article; zbMATH DE number 2080757
• Automata-based component composition analysis
• An algebraic theory of interface automata
• A modal interface theory with data constraints

Cited in

(18)

• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• An Interface Group for Process Components
• Synchronous and Bidirectional Component Interfaces
• An interface model for service-oriented software architecture
• Composition of model interface. A theorem of model composition
• scientific article; zbMATH DE number 7379290 (Why is no real title available?)
• CONCUR 2005 – Concurrency Theory
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 2201909 (Why is no real title available?)
• Automata-based component composition analysis
• Scenario-driven component behavior derivation
• scientific article; zbMATH DE number 1975591 (Why is no real title available?)
• Behavior Modeling During Software Design
• scientific article; zbMATH DE number 1706357 (Why is no real title available?)
• scientific article; zbMATH DE number 1903369 (Why is no real title available?)
• Frontiers of Combining Systems
• A Coordination Model for Interactive Components
• Linking formal methods in software development. A reflection on the development of rCOS

Describes a project that uses

Uses Software

• rCOS

This page was built for publication: An interface model of software components

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