Walter Mann

According to our database, Walter Mann authored at least 6 papers between 1990 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Inferred Designs.

Louis Perrochon, Walter Mann

IEEE Softw., 1999

Event Mining with Event Processing Networks.

Louis Perrochon, Walter Mann, Stephane Kasriel, David C. Luckham

Proceedings of the Methodologies for Knowledge Discovery and Data Mining, 1999

1995

Correction to "Specification and Analysis of System Architecture Using Rapide".

David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann

IEEE Trans. Software Eng., 1995

Specification and Analysis of System Architecture Using Rapide.

David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann

IEEE Trans. Software Eng., 1995

1991

The use of anna specification technology in ada software development.

Sriram Sankar, David C. Luckham, Walter Mann

Proceedings of the Introduction to Ada - Tri-Ada 1991 Tutorial, 1991

1990

A methodology for formal specification and implementation of Ada packages.

Neel Madhav, Walter Mann

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990