scientific article; zbMATH DE number 2163031

zbMATH Open1094.68542MaRDI QIDQ4673418FDOQ4673418

Authors: Zhiming Liu, Jifeng He, Xiaoshan Li 

Publication date: 29 April 2005

Title of this publication is not available (Why is that?)

Recommendations

• Mathematical Frameworks for Component Software
• An Algebraic Semantics for Contract-Based Software Components
• Specifying, relating and composing object oriented interfaces, components and architectures
• scientific article; zbMATH DE number 2000452
• scientific article; zbMATH DE number 1952057

zbMATH Keywords

component-based software development

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (35)

• Formal design and implementation of constraints in software components
• Title not available (Why is that?)
• Responsiveness and stable revivals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Defining contracts with different tools in software development
• Theoretical Aspects of Computing – ICTAC 2005
• Title not available (Why is that?)
• Component composition preserving behavioral contracts based on communication traces
• Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contracts, Scenarios and Prototypes
• Title not available (Why is that?)
• The weakest specifunction
• Aspect-oriented development of trustworthy component-based systems
• Title not available (Why is that?)
• Implementation and Application of Automata
• Title not available (Why is that?)
• Explicit Operation Specification for Component Databases
• Fundamental Approaches to Software Engineering
• Title not available (Why is that?)
• Specifying, relating and composing object oriented interfaces, components and architectures
• On formal specification of software components and systems
• Conformance notions for the coordination of interaction components
• An Algebraic Semantics for Contract-Based Software Components
• Multiple Viewpoint Contract-Based Specification and Design
• Towards component based systems: refining connectors
• Syntactic analysis of component composition
• Component publications and compositions
• Title not available (Why is that?)
• Formal Methods for Components and Objects
• Mathematical Frameworks for Component Software

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)