2501 search results - page 65 / 501 » Obligations and Their Interaction with Programs |
ECOOP
2001
Springer
14 years 1 months ago
2001
Springer
Feature interactions in the original sense of the term (i.e. within a telecommunications domain), have now been the subject of significant research activity for over ten years. Thi...
ICSM
2003
IEEE
14 years 2 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
ECBS
1997
IEEE
14 years 1 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
OOGRAPHICS
1992
14 years 25 days ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
AICOM
2010
13 years 9 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...