2521 search results - page 8 / 505 » Semantic Component Composition |
85
Voted
CAV
2009
Springer
16 years 24 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
113
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
88
Voted
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
112
click to vote
SAM
2004
15 years 1 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
106
Voted
SIGSOFT
2002
ACM
16 years 29 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...