Travelled to:1 × Israel
2 × USA
Collaborated with:∅ X.Qian R.L.Schwartz
Talks about:verif (2) architectur (1) construct (1) interact (1) configur (1) composit (1) approach (1) softwar (1) practic (1) network (1)
Person: Mark Moriconi
DBLP: Moriconi:Mark
Contributed to:
1994
1989
1981
1979Wrote 4 papers:
- FSE-1994-MoriconiQ #architecture #composition #correctness
- Correctness and Composition of Software Architectures (MM, XQ), pp. 164–174.
- TAV-1989-Moriconi #approach #configuration management #semantics
- A Practical Approach to Semantic Configuration Management (MM), pp. 103–113.
- ICALP-1981-MoriconiS #automation #generative #hoare #logic #verification
- Automatic Construction of Verification Condition Generators From Hoare Logics (MM, RLS), pp. 363–377.
- FM-1979-Moriconi #design #interactive #network #verification
- Interactive Design and Verification: A Message Switching Network Example (MM), pp. 355–388.