14 search results - page 2 / 3 » Laws of Object-Orientation with Reference Semantics |
ICAIL
2005
ACM
13 years 11 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
PADO
2001
Springer
13 years 9 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
ICAIL
2005
ACM
13 years 11 months ago
2005
ACM
The Dutch Tax and Customs Administration (DTCA) is one of many organizations that deal with a multitude of electronic legal data, from various sources and in different formats. In...
ICSM
2005
IEEE
13 years 11 months ago
2005
IEEE
While often defined in informal ways, software cohesion reflects important properties of modules in a software system. Cohesion measurement has been used for quality assessment, f...