BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Moriconi:Mark

Contributed to:

FSE 19941994
ISSTA 19891989
ICALP 19811981
FSS 19791979

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.