Concepedia

Mark Moriconi

MM

10

Publications

597

Citations

10

H-Index

1977

Active since

Affiliations

SRI International(Current)

Mark Moriconi is an author at SRI International specializing in computer science, software analysis, and engineering.

Top concepts

EngineeringComputer ScienceSoftware AnalysisSoftware DesignSoftware EngineeringFormal MethodsSystem SoftwareProgram AnalysisFormal VerificationDesign

Publications per year

1977–2002

10

Publications

10

Correct architecture refinement

Mark Moriconi, Xiaoyan Qian, R. A. Riemenschneider · IEEE Transactions on Software Engineering · 1995 · 324 citations

Engineering, Stepwise Refinement, Software Systems +22

Correctness and composition of software architectures

Mark Moriconi, Xiaolei Qian · 1994 · 67 citations

Software Maintenance, Engineering, Verification +22

Secure software architectures

Mark Moriconi, Xiaolei Qian, R. A. Riemenschneider et al. · 2002 · 56 citations

Engineering, Information Security, Software Engineering +18

Approximate reasoning about the semantic effects of program changes

Mark Moriconi, Timothy Winkler · IEEE Transactions on Software Engineering · 1990 · 39 citations

Engineering, Software Systems, Software Engineering +18

A Designer/Verifier's Assistant

Mark Moriconi · IEEE Transactions on Software Engineering · 1979 · 31 citations

Software Maintenance, Engineering, Verification +26

Rows per page

1–5 of 10