809 search results - page 85 / 162 » Formal Semantics for the Java Modeling Language |
139
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
155
Voted
ZUM
1997
Springer
15 years 6 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
148
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
151
Voted
VL
1999
IEEE
15 years 7 months ago
1999
IEEE
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
116
click to vote
MAGS
2008
15 years 2 months ago
2008
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...