809 search results - page 90 / 162 » Formal Semantics for the Java Modeling Language |
116
Voted
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
108
click to vote
DEXA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
144
Voted
FUIN
2006
15 years 2 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
163
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
139
Voted
ISOLA
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...