809 search results - page 27 / 162 » Formal Semantics for the Java Modeling Language |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
131
click to vote
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
117
Voted
SPATIALCOGNITION
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
104
Voted
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
131
click to vote
CAISE
2007
Springer
15 years 3 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...