Robert G. Clark

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Flexible and configurable verification policies with Omnibus.
Softw. Syst. Model., 2008

2005
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.
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.
J. Univers. Comput. Sci., 2000

1999
Formal Specifications of User Requirements.
Autom. Softw. Eng., 1999

SDL in Rigorus Object-Oriented Analysis (Short Paper).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1996
Adding rigour to object-oriented analysis.
Softw. Eng. J., 1996

1995
Type safety and behavioural inheritance.
Inf. Softw. Technol., 1995

1994
Rigorous Object-Oriented Analysis.
Proceedings of the Object-Oriented Methodologies and Systems, 1994

Combining Object-Oriented Analysis and Formal Description Techniques.
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.
Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

Comparative programming languages (2. ed.).
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.
Comput. Commun., 1992

1990
The design and development of embedded Ada systems.
Softw. Eng. J., 1990

1988
The Design ad Development of Ada Real-Time Embedded Systems.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1987
Designing concurrent objects.
Proceedings of the First International Workshop on Real-Time Ada Issues, 1987

1979
Interactive input in PASCAL.
ACM SIGPLAN Notices, 1979


  Loading...