85 search results - page 1 / 17 » Semantic Issues of OCL: Past, Present, and Future |
ECEASST
2006
13 years 4 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
ESWS
2005
Springer
13 years 10 months ago
2005
Springer
—Grid computing offers significant enhancements to our capabilities for computation, information processing and collaboration, and has exciting ambitions in many fields of endeav...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
ECBS
2007
IEEE
13 years 10 months ago
2007
IEEE
Commercial Off-The-Shelf (COTS) products are increasingly being used in software development. In COTS-based development, selecting appropriate COTS is the most crucial phase. This...
DSS
2002
13 years 4 months ago
2002
Since the early 1970s, decision support systems (DSS) technology and applications have evolved significantly. Many technological and organizational developments have exerted an im...