809 search results - page 71 / 162 » Formal Semantics for the Java Modeling Language |
122
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
123
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
104
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
144
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...
140
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...