809 search results - page 15 / 162 » Formal Semantics for the Java Modeling Language |
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
JUCS
2002
14 years 9 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
ER
1998
Springer
15 years 2 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
JAVA
1999
Springer
15 years 2 months ago
1999
Springer
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...