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: Larrondo-Petrie:Maria_M=
Contributed to:
1999
1998
1996
1995Wrote 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.