2558 search results - page 53 / 512 » Model Composition Contracts |
110
Voted
HCI
2007
15 years 4 months ago
2007
Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...
118
Voted
MOZ
2004
Springer
15 years 8 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
104
Voted
FMCO
2005
Springer
15 years 8 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
126
Voted
FMSD
2010
15 years 1 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
132
click to vote
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...