Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development)

Authors:
Zhiming Liu;He Jifeng
Affiliations:
-;-
Venue:
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development)
Year:
2006

Citing 0
Cited 3

Modelling with Relational Calculus of Object and Component Systems - rCOS

The Common Component Modeling Example
A declarative formal approach to dynamic reconfiguration

Proceedings of the 1st international workshop on Open component ecosystems
Harnessing rCOS for tool support: the CoCoME experience

Formal methods and hybrid real-time systems

Quantified Score

Hi-index	0.00

Visualization

Abstract