599 search results - page 36 / 120 » Interpreting the Object Constraint Language |
132
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
146
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
150
click to vote
GI
2005
Springer
15 years 9 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
144
click to vote
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
123
click to vote
GTTSE
2007
Springer
15 years 8 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...