809 search results - page 49 / 162 » Formal Semantics for the Java Modeling Language |
128
click to vote
FASE
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
118
click to vote
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
115
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
138
click to vote
SEMWEB
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
127
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...