2520 search results - page 313 / 504 » Model-checking behavioral programs |
114
click to vote
SAC
1998
ACM
15 years 6 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
123
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
119
click to vote
AICCSA
2001
IEEE
15 years 6 months ago
2001
IEEE
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
108
Voted
ASPLOS
1991
ACM
15 years 6 months ago
1991
ACM
Multiprocessor memory reference traces provide a wealth of information on the behavior of parallel programs. We have used this information to explore the relationship between kern...
160
Voted
WOA
2007
15 years 3 months ago
2007
—In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming, and which new relationship patterns can be introduced using rol...