scientific article; zbMATH DE number 2163031
From MaRDI portal
Publication:4673418
Recommendations
Cited in
(35)- Fundamental Approaches to Software Engineering
- Towards component based systems: refining connectors
- Mathematical Frameworks for Component Software
- An Algebraic Semantics for Contract-Based Software Components
- scientific article; zbMATH DE number 2089404 (Why is no real title available?)
- Aspect-oriented development of trustworthy component-based systems
- scientific article; zbMATH DE number 1941764 (Why is no real title available?)
- Defining contracts with different tools in software development
- scientific article; zbMATH DE number 1931058 (Why is no real title available?)
- Responsiveness and stable revivals
- scientific article; zbMATH DE number 2088931 (Why is no real title available?)
- scientific article; zbMATH DE number 2089416 (Why is no real title available?)
- scientific article; zbMATH DE number 2006505 (Why is no real title available?)
- scientific article; zbMATH DE number 1975591 (Why is no real title available?)
- Component publications and compositions
- Implementation and Application of Automata
- Conformance notions for the coordination of interaction components
- Multiple Viewpoint Contract-Based Specification and Design
- Syntactic analysis of component composition
- scientific article; zbMATH DE number 1693436 (Why is no real title available?)
- Theoretical Aspects of Computing – ICTAC 2005
- Specifying, relating and composing object oriented interfaces, components and architectures
- Formal Methods for Components and Objects
- Component composition preserving behavioral contracts based on communication traces
- Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution
- scientific article; zbMATH DE number 1949586 (Why is no real title available?)
- Explicit Operation Specification for Component Databases
- scientific article; zbMATH DE number 1951114 (Why is no real title available?)
- scientific article; zbMATH DE number 1951523 (Why is no real title available?)
- scientific article; zbMATH DE number 1952057 (Why is no real title available?)
- scientific article; zbMATH DE number 1956477 (Why is no real title available?)
- The weakest specifunction
- On formal specification of software components and systems
- Formal design and implementation of constraints in software components
- Contracts, Scenarios and Prototypes
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 Q4673418)
