Mark Moriconi

Publication Activity (10 Years)

Years Active: 1979-1997
Publications (10 Years): 0

Publications

Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong
Secure Software Architectures. IEEE Symposium on Security and Privacy (1997)
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider
Correct Architecture Refinement. IEEE Trans. Software Eng. 21 (4) (1995)
Mark Moriconi, Xiaolei Qian
Correctness and Composition of Software Architectures. SIGSOFT FSE (1994)
Mark Moriconi, Timothy C. Winkler
Correction to "Approximate Reasoning About the Semantic Effects of Program Changes". IEEE Trans. Software Eng. 17 (1) (1991)
Mark Moriconi, Timothy C. Winkler
Approximate Reasoning About the Semantic Effects of Program Changes. IEEE Trans. Software Eng. 16 (9) (1990)
Mark Moriconi
A Practical Approach to Semantic Configuration Management. Symposium on Testing, Analysis, and Verification (1989)
Joseph A. Goguen, Mark Moriconi
Formalization in Programming Environments. Computer 20 (11) (1987)
Mark Moriconi
PegaSys and the Role of Logic in programming Environments. Advanced Programming Environments (1986)
Mark Moriconi, Dwight F. Hare
The PegaSys System: Pictures as Formal Documentation of Large Programs. ACM Trans. Program. Lang. Syst. 8 (4) (1986)
Mark Moriconi, Dwight F. Hare
PegaSys: A system for graphical explanation of program designs. ACM SIGPLAN Notices 20 (7) (1985)
Mark Moriconi, Dwight F. Hare
Visualizing Program Designs Through PegaSys. Computer 18 (8) (1985)
Mark Moriconi, Richard L. Schwartz
Automatic Construction of Verification Condition Generators From Hoare Logics. ICALP (1981)
Mark Moriconi
Interactive Design and Verification: A Message Switching Network Example. The Use of Formal Specification of Software (1979)
Mark Moriconi
A Designer/Verifiers's Assistant. IEEE Trans. Software Eng. 5 (4) (1979)