809 search results - page 131 / 162 » Formal Semantics for the Java Modeling Language |
103
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
126
click to vote
REX
1991
15 years 6 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
116
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
122
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
140
click to vote
PODS
2008
ACM
16 years 2 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...