Search Results - Johnsen, B E
-
1
-
2
-
3
-
4
-
5
-
6
-
7
Composition and refinement for partial object specifications
Conference Proceeding -
8
-
9
-
10
-
11
An asynchronous communication model for distributed concurrent objects
Conference Proceeding -
12
-
13
Incremental fault-tolerant design in an object-oriented setting
Conference Proceeding -
14
Integrating UML and OUN for specification of open distributed systems
Conference Proceeding -
15
-
16
-
17
-
18
-
19
-
20