Mark Moriconi

According to our database, Mark Moriconi authored at least 14 papers between 1979 and 1997.

Collaborative distances:

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

1997

Secure Software Architectures.

Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

1995

Correct Architecture Refinement.

Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider

IEEE Trans. Software Eng., 1995

1994

Correctness and Composition of Software Architectures.

Mark Moriconi, Xiaolei Qian

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

1991

Correction to "Approximate Reasoning About the Semantic Effects of Program Changes".

Mark Moriconi, Timothy C. Winkler

IEEE Trans. Software Eng., 1991

1990

Approximate Reasoning About the Semantic Effects of Program Changes.

Mark Moriconi, Timothy C. Winkler

IEEE Trans. Software Eng., 1990

1989

A Practical Approach to Semantic Configuration Management.

Mark Moriconi

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1987

Formalization in Programming Environments.

Joseph A. Goguen, Mark Moriconi

Computer, 1987

1986

The PegaSys System: Pictures as Formal Documentation of Large Programs.

Mark Moriconi, Dwight F. Hare

ACM Trans. Program. Lang. Syst., 1986

PegaSys and the Role of Logic in programming Environments.

Mark Moriconi

Proceedings of the Advanced Programming Environments, 1986

1985

PegaSys: A system for graphical explanation of program designs.

Mark Moriconi, Dwight F. Hare

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

Visualizing Program Designs Through PegaSys.

Mark Moriconi, Dwight F. Hare

Computer, 1985

1981

Automatic Construction of Verification Condition Generators From Hoare Logics.

Mark Moriconi, Richard L. Schwartz

Proceedings of the Automata, 1981

1979

A Designer/Verifiers's Assistant.

Mark Moriconi

IEEE Trans. Software Eng., 1979

Interactive Design and Verification: A Message Switching Network Example.

Mark Moriconi

Proceedings of the Use of Formal Specification of Software, 1979