809 search results - page 46 / 162 » Formal Semantics for the Java Modeling Language |
114
click to vote
ERSA
2006
15 years 3 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
122
Voted
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
120
click to vote
ECMDAFA
2005
Springer
15 years 8 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
105
click to vote
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
132
Voted
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...