BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Greece
1 × USA
Collaborated with:
R.B.France M.Saksena M.P.Evett B.W.Bates J.Bruel P.T.Breuer N.M.Madrid J.P.Bowen C.D.Kloos
Talks about:
formal (2) vhdl (2) understand (1) construct (1) techniqu (1) guidelin (1) analysi (1) specif (1) semant (1) requir (1)

Person: Maria M. Larrondo-Petrie

DBLP DBLP: Larrondo-Petrie:Maria_M=

Contributed to:

DATE 19991999
UML 19981998
CAiSE 19961996
CSEE 19951995

Wrote 4 papers:

DATE-1999-BreuerMBFLK #reasoning #semantics #using
Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
UML-1998-SaksenaLFE #uml
Extending Aggregation Constructs in UML (MS, MMLP, RBF, MPE), pp. 435–441.
CAiSE-1996-BatesBFL #analysis #formal method #guidelines #object-oriented
Guidelines for Formalizing Fusion Object-Oriented Analysis Methods (BWB, JMB, RBF, MMLP), pp. 222–233.
CSEE-1995-FranceL #comprehension #requirements #specification
Understanding the Role of Formal Specification Techniques in Requirements Engineering (RBF, MMLP), pp. 207–221.

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.