Mark Moriconi

16 papers A* 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
1997 — conf
Secure Software Architectures.
S&P
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong
1995 J jnl
Correct Architecture Refinement.
IEEE Trans. Software Eng.
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider
1994 — conf
Correctness and Composition of Software Architectures.
SIGSOFT FSE
Mark Moriconi, Xiaolei Qian
1991 J jnl
Correction to "Approximate Reasoning About the Semantic Effects of Program Changes".
IEEE Trans. Software Eng.
Mark Moriconi, Timothy C. Winkler
1991 — ed.
Proceedings of the conference on Software for citical systems, SIGSOFT 1991, New Orleans, Louisiana, USA
SIGSOFT
Mark Moriconi
1990 J jnl
Approximate Reasoning About the Semantic Effects of Program Changes.
IEEE Trans. Software Eng.
Mark Moriconi, Timothy C. Winkler
1990 — ed.
Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990
Formal Methods in Software Development
Mark Moriconi
1989 — conf
A Practical Approach to Semantic Configuration Management.
Symposium on Testing, Analysis, and Verification
Mark Moriconi
1987 J jnl
Formalization in Programming Environments.
Computer
Joseph A. Goguen, Mark Moriconi
1986 — conf
PegaSys and the Role of Logic in programming Environments.
Advanced Programming Environments
Mark Moriconi
1986 J jnl
The PegaSys System: Pictures as Formal Documentation of Large Programs.
ACM Trans. Program. Lang. Syst.
Mark Moriconi, Dwight F. Hare
1985 — conf
PegaSys: A system for graphical explanation of program designs.
SLIPE
Mark Moriconi, Dwight F. Hare
1985 J jnl
Visualizing Program Designs Through PegaSys.
Computer
Mark Moriconi, Dwight F. Hare
1981 A* conf
Automatic Construction of Verification Condition Generators From Hoare Logics.
ICALP
Mark Moriconi, Richard L. Schwartz
1979 J jnl
A Designer/Verifiers's Assistant.
IEEE Trans. Software Eng.
Mark Moriconi
1979 — conf
Interactive Design and Verification: A Message Switching Network Example.
The Use of Formal Specification of Software
Mark Moriconi