Volume 12 - Formal Methods in Software Engineering and Defence Systems 2002

Satellite Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems, of the 23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, June 2002

This volume contains the proceedings of the Satellite Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems, of the 23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, June 2002. Where indicated, the paper is available for download in PDF or Postscript format.

The series is published by, and most papers are copyright of, the Australian Computer Society Inc. Reproduction for academic research and not-for-profit purposes is granted provided the copyright notice on the first page of each paper is included.

Edited by
Charles Lakos, Robert Esser, Lars M. Kristensen and Jonathan Billington.
Published
June 2002.
ISBN-13
0-909-92590-9.
ISSN
1445-1336.
15 Papers, vii+156 pages, softcover.
Order or Recommend this Volume.
BiBTeX file for Volume.
Click for larger view

Volume Citation

Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds. (2002). Formal Methods in Software Engineering and Defence Systems 2002. Proceedings of the Satellite Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems. CRPIT. 12. Adelaide, Australia, ACS.

Workshop on Software Engineering and Formal Methods

Papers Included in the Volume

Cerone, A. (2002). From Process Algebra to Visual Language. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 27-36.
Han, B. and Billington, J. (2002). Validating TCP Connection Management. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 47-55.
Janneck, J.W. and Esser, R. (2002). Higher-Order Petri Net Modelling - Techniques and Applications. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 17-25.
Makela, M. (2002). Efficiently Verifying Safety Properties with Idle Office Computers. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 11-16.
Philippi, S. (2002). Life-Cycle Inheritance in Concurrent Object-Oriented Systems. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 37-45.
Schmidt, H. (2002). Compositional Software Architecture Definition. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 7-9.
Singh, A. and Billington, J. (2002). Creating an Internet Inter-ORB Protocol Service Specification. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 57-66.

Papers listed: 7

Workshop on Formal Methods Applied to Defence Systems

Papers Included in the Volume

Kristensen, L.M., Mitchell, B., Zhang, L. and Billington, J. (2002). Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 105-114.
Lindstrom, B. and Wagenhals, L.W. (2002). Operational Planning using Web-Based Interfaces to a Coloured Petri Net Simulator of Influence Nets. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 115-124.
McCarthy, J. and Thredgold, J. (2002). Modelling Smart Security for Classified Rooms with DOVE. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 135-144.
Petrucci, L., Kristensen, L.M., Billington, J. and Qureshi, Z.H. (2002). Towards Formal Specification and Analysis of Avionics Mission Systems. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 95-104.
Wagenhals, L.W., Haider, S. and Levis, A.H. (2002). Synthesizing Executable Models of Object Oriented Architectures. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 85-93.
Wildman, L. (2002). Requirements Reformulation using Formal Specification: A Case Study. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 75-83.
Xiong, C., Murata, T. and Tsai, J. (2002). Modelling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Coloured Petri Nets. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 145-153.
Zhang, L., Kristensen, L.M., Janczura, C., Gallasch, G. and Billington, J. (2002). A Coloured Petri Net based Tool for Course of Action Development and Analysis. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L.M. and Billington, J., Eds., ACS. 125-134.

Papers listed: 8