3429 search results - page 499 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
124
click to vote
EJIS
2007
15 years 4 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
149
click to vote
IJISMD
2010
15 years 1 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...
124
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
136
click to vote
VVEIS
2007
15 years 5 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
146
click to vote
POPL
1990
ACM
15 years 8 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...