Robert G. Clark

16 papers A 1B 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2008 J jnl
Flexible and configurable verification policies with Omnibus.
Softw. Syst. Model.
Thomas Wilson, Savi Maharaj, Robert G. Clark
2005 B conf
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.
SEFM
Thomas Wilson, Savi Maharaj, Robert G. Clark
2000 J jnl
Use of E-LOTOS in Adding Formality to UML.
J. Univers. Comput. Sci.
Robert G. Clark, Ana M. D. Moreira
1999 J jnl
Formal Specifications of User Requirements.
Autom. Softw. Eng.
Robert G. Clark, Ana M. D. Moreira
1999 — conf
SDL in Rigorus Object-Oriented Analysis (Short Paper).
FMOODS
Robert G. Clark, Ana M. D. Moreira
1996 J jnl
Adding rigour to object-oriented analysis.
Softw. Eng. J.
Ana M. D. Moreira, Robert G. Clark
1995 J jnl
Type safety and behavioural inheritance.
Inf. Softw. Technol.
Robert G. Clark
1994 A conf
Combining Object-Oriented Analysis and Formal Description Techniques.
ECOOP
Ana M. D. Moreira, Robert G. Clark
1994 — conf
Rigorous Object-Oriented Analysis.
ISOOMS
Ana M. D. Moreira, Robert G. Clark
1993 — book
Comparative programming languages (2. ed.).
Leslie B. Wilson, Robert G. Clark
1993 — conf
Os Métodos Formais na Análise de Orientação por Objectos.
SBES
Ana M. D. Moreira, Robert G. Clark
1992 J jnl
Use of LOTOS in the formal development of an OSI protocol.
Comput. Commun.
Robert G. Clark, Valerie M. Jones
1990 J jnl
The design and development of embedded Ada systems.
Softw. Eng. J.
Robert G. Clark
1988 — conf
The Design ad Development of Ada Real-Time Embedded Systems.
Specification and Verification of Concurrent Systems
Robert G. Clark
1987 — conf
Designing concurrent objects.
IRTAW
Robert G. Clark
1979 J jnl
Interactive input in PASCAL.
ACM SIGPLAN Notices
Robert G. Clark