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
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002