Results for:
"
Mens+rea
" in Documents
- OPUS a Calculus for Modelling Object-Oriented Concepts 1994
- We propose a very concise calculus for modelling object-oriented concepts' such as objects', message sending, encapsulation and incremental modification. We show how to deal with recursion and provide...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- OPUS a Calculus for Modelling Object-Oriented Concepts 1994
- We propose a very concise calculus for modelling object-oriented concepts' such as objects', message sending, encapsulation and incremental modification. We show how to deal with recursion and provide...
-
Rating:
Views: (1003)
Pages: ()
Uploaded: 15-05-09
- OPUS a Formal Approach to Object-Orientation 1994 1 citations ? 0 self...
- OPUS is an elementary calculus that models object-orientation.
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- OPUS a Formal Approach to Object-Orientation 1994 1 citations ? 0 self...
- OPUS is an elementary calculus that models object-orientation.
-
Rating:
Views: (1003)
Pages: ()
Uploaded: 15-05-09
- A Formalisation of Encapsulated Modification of Objects 1996
- Currently existing formalisations of object orientation are unsatisfactory w.r.t.
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- A Formalisation of Encapsulated Modification of Objects 1996
- Currently existing formalisations of object orientation are unsatisfactory w.r.t.
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 15-05-09
- A Uniform Declarative Framework for Automated Software Merging
- Abstract. We report on a prototype tool that automates the time-consuming and error-prone process of software merging. Our tool is significantly more flexible than existing merge techniques, as it can...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- A survey on formal models for OO 1994
- this paper is to provide a historic overview of the most important formal models for OO, starting with the very first, and ending with models that are still in development. This might help us in findi...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09