 | VDM Europe. International Symposium, Soren Prehn, W. J. Toetenel, Hans Toetenel - 1991 - 705 lapas
...Decomposition. IEEE Transaction on Software Engineering, 14(2):169-183, February 1988. [Alabiso 88] Bruno Alabiso. Transformation of Data Flow Analysis Models to Object Oriented Design. In OOPSLA '88 Proceedings, pages 335-353, ACM, November 1988. [Bj0rner 82] D. Bj0rner, CB Jones. Formal... | |
 | Olaf Owe, Stein Krogdahl - 2004 - 388 lapas
...middleware. In Formal Methods Europe (FME), 2001. [58] P. Wegner. Dimensions of object-based language design. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 168-182, 1987. Towards Posit & Prove Calculi for Requirements Engineering... | |
| |
Alabiso. Transformation of Data Flow Analysis Models to Object Oriented Design. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications 1988 (OOPSLA 1988). 