Generating Object-Oriented Formal Specifications from Process Sequence Diagrams

Lancaster University

Keywords

cs_eprint_id, 19 cs_uid, 1

Research output: Contribution to conference - Without ISBN/ISSN › Other

Unpublished

Standard

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

Research output: Contribution to conference - Without ISBN/ISSN › Other

Harvard

Sawyer, P & Araújo Jr, J 1998, 'Generating Object-Oriented Formal Specifications from Process Sequence Diagrams', Eleventh International Conference on Software Engineering & its Applications, 1/01/00.

APA

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

Vancouver

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

Author

Sawyer, Pete ; Araújo Jr, J. / Generating Object-Oriented Formal Specifications from Process Sequence Diagrams. Eleventh International Conference on Software Engineering & its Applications.

Bibtex

@conference{9b97addf5515441bafe6d96ab4c1d542,

title = "Generating Object-Oriented Formal Specifications from Process Sequence Diagrams",

keywords = "cs_eprint_id, 19 cs_uid, 1",

author = "Pete Sawyer and {Ara{\'u}jo Jr}, J.",

year = "1998",

month = jan,

language = "English",

note = "Eleventh International Conference on Software Engineering & its Applications ; Conference date: 01-01-1900",

}

RIS

TY - CONF

T1 - Generating Object-Oriented Formal Specifications from Process Sequence Diagrams

AU - Sawyer, Pete

AU - Araújo Jr, J.

PY - 1998/1

Y1 - 1998/1

KW - cs_eprint_id

KW - 19 cs_uid

KW - 1

M3 - Other

T2 - Eleventh International Conference on Software Engineering & its Applications

Y2 - 1 January 1900

ER -

Research

Keywords