809 search results - page 74 / 162 » Formal Semantics for the Java Modeling Language |
107
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
106
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
124
Voted
KI
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
137
click to vote
IWMM
2010
Springer
15 years 4 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
138
Voted
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...