Sciweavers

3311 search results - page 38 / 663
» Deductive Object Programming
Sort
View
SIGADA
1999
Springer
15 years 11 months ago
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
155
Voted
ECOOP
1998
Springer
15 years 11 months ago
Experiences Developing a Virtual Shared Memory System Using High-Level Object Paradigms
Jörg Cordsen, Jörg Nolte, Wolfgang Schr&...
TOOLS
1994
IEEE
15 years 11 months ago
Constraints in Object-Oriented Analysis and Design
Stefan Van Baelen, Johan Lewi, Eric Steegmans