Robert G. Clark

According to our database, Robert G. Clark authored at least 16 papers between 1979 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Flexible and configurable verification policies with Omnibus.

Thomas Wilson, Savi Maharaj, Robert G. Clark

Softw. Syst. Model., 2008

2005

Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.

Thomas Wilson, Savi Maharaj, Robert G. Clark

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2000

Use of E-LOTOS in Adding Formality to UML.

Robert G. Clark, Ana M. D. Moreira

J. Univers. Comput. Sci., 2000

1999

Formal Specifications of User Requirements.

Robert G. Clark, Ana M. D. Moreira

Autom. Softw. Eng., 1999

SDL in Rigorus Object-Oriented Analysis (Short Paper).

Robert G. Clark, Ana M. D. Moreira

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1996

Adding rigour to object-oriented analysis.

Ana M. D. Moreira, Robert G. Clark

Softw. Eng. J., 1996

1995

Type safety and behavioural inheritance.

Robert G. Clark

Inf. Softw. Technol., 1995

1994

Rigorous Object-Oriented Analysis.

Ana M. D. Moreira, Robert G. Clark

Proceedings of the Object-Oriented Methodologies and Systems, 1994

Combining Object-Oriented Analysis and Formal Description Techniques.

Ana M. D. Moreira, Robert G. Clark

Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993

Os Métodos Formais na Análise de Orientação por Objectos.

Ana M. D. Moreira, Robert G. Clark

Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

Comparative programming languages (2. ed.).

Leslie B. Wilson, Robert G. Clark

International computer science series, Addison-Wesley, ISBN: 978-0-201-56885-1, 1993

1992

Use of LOTOS in the formal development of an OSI protocol.

Robert G. Clark, Valerie M. Jones

Comput. Commun., 1992

1990

The design and development of embedded Ada systems.

Robert G. Clark

Softw. Eng. J., 1990

1988

The Design ad Development of Ada Real-Time Embedded Systems.

Robert G. Clark

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1987

Designing concurrent objects.

Robert G. Clark

Proceedings of the First International Workshop on Real-Time Ada Issues, 1987

1979

Interactive input in PASCAL.

Robert G. Clark

ACM SIGPLAN Notices, 1979