279 search results - page 31 / 56 » Providing Support for Model Composition in Metamodels |
129
click to vote
IJISMD
2010
14 years 11 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
114
click to vote
RP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
107
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
128
click to vote
CSL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
122
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...