|
Search the dblp DataBase
Maria M. Larrondo-Petrie:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Robert B. France, Maria M. Larrondo-Petrie
From Structured Analysis to Formal Specifications: State of the Theory. [Citation Graph (0, 0)][DBLP] ACM Conference on Computer Science, 1994, pp:249-256 [Conf]
- Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. [Citation Graph (0, 0)][DBLP] AMAST, 1997, pp:216-230 [Conf]
- B. W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
Guidelines for Formalizing Fusion Object-Oriented Analysis Methods . [Citation Graph (0, 0)][DBLP] CAiSE, 1996, pp:222-233 [Conf]
- Robert B. France, Maria M. Larrondo-Petrie
Understanding the Role of Formal Specification Techniques in Requirements Engineering. [Citation Graph (0, 0)][DBLP] CSEE, 1995, pp:207-221 [Conf]
- Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos
Reasoning about VHDL and VHDL-AMS using Denotational Semantics. [Citation Graph (0, 0)][DBLP] DATE, 1999, pp:346-352 [Conf]
- Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena
Towards a Rigorous Object-Oriented Analysis and Design Method. [Citation Graph (0, 0)][DBLP] ICFEM, 1997, pp:7-16 [Conf]
- Maria M. Larrondo-Petrie, Jack Bresenham, Cary Laxer, John Lansdown, G. Scott Owen
Approaches to teaching introductory computer graphics. [Citation Graph (0, 0)][DBLP] SIGGRAPH, 1994, pp:479-480 [Conf]
- Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, Matthew P. Evett
Extending Aggregation Constructs in UML. [Citation Graph (0, 0)][DBLP] UML, 1998, pp:435-441 [Conf]
- Robert B. France, Maria M. Larrondo-Petrie
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. [Citation Graph (0, 0)][DBLP] ZUM, 1995, pp:434-448 [Conf]
- Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie
An Integrated Object-Oriented and Formal Modeling Environment. [Citation Graph (0, 0)][DBLP] JOOP, 1997, v:10, n:7, pp:25-34 [Journal]
- Eduardo B. Fernández, Jose Ballesteros, Ana C. Desouza-Doucet, Maria M. Larrondo-Petrie
Security Patterns for Physical Access Control Systems. [Citation Graph (0, 0)][DBLP] DBSec, 2007, pp:259-274 [Conf]
Search in 0.001secs, Finished in 0.002secs
|