Search the dblp DataBase
Mark Moriconi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mark Moriconi Interactive Design and Verification: A Message Switching Network Example. [Citation Graph (0, 0)][DBLP ] The Use of Formal Specification of Software, 1979, pp:355-388 [Conf ] Mark Moriconi , Richard L. Schwartz Automatic Construction of Verification Condition Generators From Hoare Logics. [Citation Graph (0, 0)][DBLP ] ICALP, 1981, pp:363-377 [Conf ] Mark Moriconi PegaSys and the Role of Logic in programming Environments. [Citation Graph (0, 0)][DBLP ] Advanced Programming Environments, 1986, pp:52-58 [Conf ] Mark Moriconi A Practical Approach to Semantic Configuration Management. [Citation Graph (0, 0)][DBLP ] Symposium on Testing, Analysis, and Verification, 1989, pp:103-113 [Conf ] Mark Moriconi , Xiaolei Qian Correctness and Composition of Software Architectures. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1994, pp:164-174 [Conf ] Mark Moriconi , Xiaolei Qian , Robert A. Riemenschneider , Li Gong Secure Software Architectures. [Citation Graph (0, 0)][DBLP ] IEEE Symposium on Security and Privacy, 1997, pp:84-93 [Conf ] Mark Moriconi , Dwight F. Hare Visualizing Program Designs Through PegaSys. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1985, v:18, n:8, pp:72-85 [Journal ] Mark Moriconi , Dwight F. Hare The PegaSys System: Pictures as Formal Documentation of Large Programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1986, v:8, n:4, pp:524-546 [Journal ] Mark Moriconi A Designer/Verifiers's Assistant. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1979, v:5, n:4, pp:387-401 [Journal ] Mark Moriconi , Xiaolei Qian , Robert A. Riemenschneider Correct Architecture Refinement. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1995, v:21, n:4, pp:356-372 [Journal ] Mark Moriconi , Timothy C. Winkler Approximate Reasoning About the Semantic Effects of Program Changes. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:9, pp:980-992 [Journal ] Mark Moriconi , Timothy C. Winkler Correction to ``Approximate Reasoning About the Semantic Effects of Program Changes''. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:1, pp:94- [Journal ] Search in 0.001secs, Finished in 0.002secs