The SCEAS System
Navigation Menu

Search the dblp DataBase


Maria M. Larrondo-Petrie: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002