Sciweavers

3311 search results - page 38 / 663
» Deductive Object Programming
Sort
View
SIGADA
1999
Springer
15 years 10 months ago
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
TOOLS
1994
IEEE
15 years 10 months ago
Constraints in Object-Oriented Analysis and Design
Stefan Van Baelen, Johan Lewi, Eric Steegmans