3824 search results - page 460 / 765 » Geometry Constructions Language |
172
click to vote
FASE
2007
Springer
16 years 24 days ago
2007
Springer
Aspects are defined as well-modularized crosscutting concerns. Despite being a core tenet of Aspect Oriented Programming, little research has been done in characterizing and measur...
171
click to vote
ICECCS
2006
IEEE
16 years 21 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
165
click to vote
ADBIS
2005
Springer
16 years 6 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
169
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
189
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...