The SCEAS System
Navigation Menu

Search the dblp DataBase


Robert G. Clark: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ana M. D. Moreira, Robert G. Clark
    Combining Object-Oriented Analysis and Formal Description Techniques. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1994, pp:344-364 [Conf]
  2. Robert G. Clark
    The Design ad Development of Ada Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Specification and Verification of Concurrent Systems, 1988, pp:84-99 [Conf]
  3. Robert G. Clark, Ana M. D. Moreira
    SDL in Rigorus Object-Oriented Analysis (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  4. Ana M. D. Moreira, Robert G. Clark
    Rigorous Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP]
    ISOOMS, 1994, pp:65-78 [Conf]
  5. Thomas Wilson, Savi Maharaj, Robert G. Clark
    Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:150-159 [Conf]
  6. Robert G. Clark, Ana M. D. Moreira
    Formal Specifications of User Requirements. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:3, pp:217-232 [Journal]
  7. Robert G. Clark, Valerie M. Jones
    Use of LOTOS in the formal development of an OSI protocol. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:86-92 [Journal]
  8. Robert G. Clark, Ana M. D. Moreira
    Use of E-LOTOS in Adding Formality to UML. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:11, pp:1071-1087 [Journal]

Search in 0.003secs, 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