Person: Araújo Jr, J.

Number of items: 2.

Article

Sawyer, Pete and Araújo Jr, J. (1998) Integrating Object-Oriented Analysis & Formal Specification. Journal of Brazilian Computer Science, 1 (5).

Sawyer, Pete and Araújo Jr, J. (1998) Generating Object-Oriented Formal Specifications from Process Sequence Diagrams. In: Eleventh International Conference on Software Engineering & its Applications.

This list was generated on Sat Nov 21 17:39:24 2009 GMT.

Lancaster University Computing Department is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.