Robert G. Clark

Publication Activity (10 Years)

Years Active: 1979-2008
Publications (10 Years): 0

Publications

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