Walter Mann

Publication Activity (10 Years)

Years Active: 1990-1999
Publications (10 Years): 0

Publications

Louis Perrochon, Walter Mann
Inferred Designs. IEEE Softw. 16 (5) (1999)
Louis Perrochon, Walter Mann, Stephane Kasriel, David C. Luckham
Event Mining with Event Processing Networks. PAKDD (1999)
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Correction to "Specification and Analysis of System Architecture Using Rapide". IEEE Trans. Software Eng. 21 (6) (1995)
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Specification and Analysis of System Architecture Using Rapide. IEEE Trans. Software Eng. 21 (4) (1995)
Sriram Sankar, David C. Luckham, Walter Mann
The use of anna specification technology in ada software development. TRI-Ada Tutorial (1991)
Neel Madhav, Walter Mann
A methodology for formal specification and implementation of Ada packages. COMPSAC (1990)