Sciweavers

3311 search results - page 38 / 663
» Deductive Object Programming
Sort
View
92
Voted
SIGADA
1999
Springer
15 years 8 months ago
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
101
Voted
TOOLS
1998
IEEE
15 years 8 months ago
GEAMAS V2.0: An Object Oriented Platform for Complex Systems Simulations
Jean-Christophe Soulié, Pierre Marcenac, St...
107
Voted
ECOOP
1998
Springer
15 years 8 months ago
Experiences Developing a Virtual Shared Memory System Using High-Level Object Paradigms
Jörg Cordsen, Jörg Nolte, Wolfgang Schr&...
119
Voted
TOOLS
1994
IEEE
15 years 8 months ago
Constraints in Object-Oriented Analysis and Design
Stefan Van Baelen, Johan Lewi, Eric Steegmans