Books

Authored Books

Wilson, L.B. and Clark, R.G., (updated by Clark, R.G.) Comparative Programming Languages (Third Edition), Addison-Wesley, 2001, ISBN 0-201-71012-9.
Wilson, L.B. and Clark, R.G., Comparative Programming Languages (Second Edition), Addison-Wesley, 1993, 374p, ISBN 0-201-56885-3.
Wilson L.B. and Clark R.G., Comparative Programming Languages, Addison-Wesley, 1988, 379p.
Clark R.G., Programming in Ada, Cambridge University Press, 1985, 217p.

Edited Books

Rattray, C.M.I. and Clark, R.G., The Unified Computation Laboratory, Oxford University Press, 1992, 461p, ISBN 0-19-853684-4.

Translations

Wilson, L.B. and Clark, R.G., Langages de Programmation Comparés, (French Language Edition), Addison-Wesley, 1993, 452p, ISBN 2-87908-060-6.
Clark R.G., Programação em Ada, Portuguese Language Edition, Editorial Presenca, 1989, 245p.
Clark R.G., Programming in Ada, Japanese Language Edition, ASCII Corporation, Tokyo, 1986, 315p.

Adding Formality to UML

Journal Articles

Clark, R.G. and Moreira, A.M.D., Use of E-LOTOS in Adding Formality to UML , Journal of Universal Computer Science, 6(11), 1071-1087, 2000.

Other Conferences and Workshops

Clark, R.G., Transformations of UML Concurrency Constructs to E-LOTOS in WTUML: Workshop on Transformations in UML, Genoa, Italy, April 2001.
Clark, R.G. and Moreira, A.M.D., Use of E-LOTOS in Adding Formality to UML, pp 33-36 in IEEE TC-EBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, April 2000.

Technical Reports

Clark R.G., Support Tool for UML to LOTOS Translation, prepared for Systems Engineering Research Institute, Korea, January 1998, 122p

Rigorous Object-Oriented Analysis

The Rigorous Object-Oriented Analysis method (ROOA) uses LOTOS as the formal language to support rigorous object oriented development in the analysis phase. A recent addition to ROOA is the inclusion of an intermediate model which defines the requirements in terms of the expectations of the environment. This bridges the gap between informal requirements and a formal object-oriented specification. Earlier references to the use of LOTOS in object based development in the design phase are available here.

Journal Articles

Clark, R.G. and Moreira, A.M.D., Formal Specifications of User Requirements, Automated Software Engineering, 6(3), 217-232, 1999.
Moreira, A.M.D. and Clark, R.G., Formal Specification of Aggregates, Sistemas de Informacao, 7, 7-25, 1997.
Moreira, A.M.D. and Clark, R.G., Adding Rigour to Object-Oriented Analysis , Software Engineering Journal, 11(5), 270-280, 1996.
Moreira, A.M.D. and Clark, R.G., O Metodo ROOA, Sistemas de Informacao, 3, 33-45, 1995.

Refereed Conference Proceedings

Clark, R.G. and Moreira, A.M.D., SDL in Rigorous Object-Oriented Analysis, pp 205-212 in Formal Methods for Open Object-based Distributed Systems: Proc FMOODS'99, Florence, Kluwer, Feb 1999.
Clark, R.G. and Moreira, A.M.D., Constructing Formal Specifications from Informal Requirements, pp 68-75 in Budgen, D., Hoffnagle, G. and Trienekens, J. (Editors), Software Technology and Engineering Practice: Proc STEP'97, IEEE Press, July 1997.
Clark, R.G. and Moreira, A.M.D., Formal user-centred models, pp 215-230 in Bowman, H. and Derrick, J. (Editors), Formal Methods for Open Object-based Distributed Systems 2: Proc FMOODS'97, Chapman and Hall, July 1997.
Moreira, A.M.D. and Clark, R.G., Combining Object-Oriented Analysis and Formal Description Techniques, pp 344-364 in Tokoro, M. and Pareschi, R. (Editors), 8th European Conference on Object-Oriented Programming: ECOOP '94, Bologna, LNCS 821, Springer-Verlag, July 1994.
Moreira, A.M.D. and Clark, R.G., Rigorous Object-Oriented Analysis, pp 65-78 in Bertino, E. and Urban, S. (Editors), International Symposium on Object-Oriented Methodologies and Systems (ISOOMS), Palermo, LNCS 858, Springer-Verlag, September 1994.
Moreira, A.M.D. and Clark, R.G., O Método ROOA, pp 67-76 in Vaz-Velho, A. and Guedes, P. G. (Editors), Object-Oriented Portugal '94, Lisbon, September 1994.
Moreira, A.M.D. and Clark, R.G., Os Métodos Formais na Análise de Orientação por Objectos, pp. 238-252 in Leite, J. (Editor), Proceedings 7th Brazillian Symposium on Software Engineering, Rio de Janeiro, October 1993.

Book Chapter

Moreira, A.M.D. and Clark, R.G., LOTOS in the Object-Oriented Analysis Process, Formal Methods and Object Technology, Goldsack, S and Kent, S (eds), Chapter 3, pp 33-46, Springer-Verlag, ISBN 3-540-19977-2, 1996.

Other Conferences and Workshops

Clark, R.G. and Moreira, A.M.D., Behavioural Inheritance in ROOA, pp 346-356 in Wieringa, R. and Feenstra, R. (Editors), Working papers of the International Workshop on Information Systems - Correctness and Reusability: IS-Core '94, Amsterdam, September 1994.

Technical Reports

Moreira, A.M.D. and Clark, R.G., Object-Oriented Analysis and its Relation to Object-Oriented Design, Stirling Computing Science and Mathematics Technical Report 89, 1992.
Moreira, A.M.D. and Clark, R.G., ROOA : Rigorous Object-Oriented Analysis Method, Stirling Computing Science and Mathematics Technical Report 109, 1993.
Moreira, A.M.D. and Clark, R.G., Using Rigorous Object-Oriented Analysis, Stirling Computing Science and Mathematics Technical Report 111, 1993.
Moreira, A.M.D. and Clark, R.G., Complex Objects: Aggregates, Stirling Computing Science and Mathematics Technical Report 123, May 1994.
Clark, R.G., Construction of LOTOS Behaviour Expressions from Object Communication Diagrams, Stirling Computing Science and Mathematics Technical Report 124, August 1994.
Moreira, A.M.D., Ladkin, P. and Clark, R.G., Formalizing OO Analysis with LOTOS, Stirling Computing Science and Mathematics Technical Report 125, August 1994.
Moreira, A.M.D. and Clark, R.G., Specification Case Studies in ROOA, Stirling Computing Science and Mathematics Technical Report 129, October 1994.
Clark, R.G. and Moreira, A.M.D., Using a formal user-centred model to build a system-centred model, Stirling Computing Science and Mathematics Technical Report 140, March 1997.
Clark, R.G. and Moreira, A.M.D., ROOA with SDL, Stirling Computing Science and Mathematics Technical Report 147, August 1998.

Behavioural Inheritance

An early draft of Type Safety and Behavioural Inheritance was presented at TaTTOO '94 : Teaching and Training in the Technology of Objects in Leicester, January 1994.

Journal Articles

Clark R.G., Type Safety and Behavioural Inheritance, Information and Software Technology, 37(10), 539-545, 1995.

Other Conferences and Workshops

Clark, R.G. and Moreira, A.M.D., Behavioural Inheritance in ROOA, pp 346-356 in Wieringa, R. and Feenstra, R. (Editors), Working papers of the International Workshop on Information Systems - Correctness and Reusability: IS-Core '94, Amsterdam, September 1994.

Patterns

Other Conferences and Workshops

Woodcock, C.J. and Clark, R.G., Defining Object-Oriented Design Patterns within Frameworks, pp 113-125 in Schobbens, P-Y. (Editor), Proceedings MeDiCiS'94 : Methodology for the Development of Computer System Specifications, Namur, Belgium, December 1994.

Object Based Development in LOTOS

This is a development of earlier work which used CSP/me too rather than LOTOS. The work progressed while I was associated with the Lotosphere Esprit Project. The following papers concentrate on the use of LOTOS in object based development in the design phase. Later work is on object oriented development in the analysis phase and is to be found under the heading of ROOA.

Journal Articles

Clark R.G. and Jones, V., The Use of LOTOS in the Formal Development of an OSI Protocol, Computer Communications, 15(2), 86-92, 1992.

Refereed Conference Proceedings

Clark R.G., The Development of Concurrent Ada Systems from LOTOS Specifications, pp. 115-129 in Mitchell, R.J. and Simpson, D. (Editors), Ada into the 90s, Woodhead Publishing, Cambridge, UK, 1991.
Clark R.G., Using LOTOS in the Object-Based Development of Embedded Systems, pp. 307-319 in Rattray, C.M.I. and Clark, R.G. (Editors), The Unified Computation Laboratory, Oxford University Press, 1992.
Booth, R., Jones, V., Clark, R., van der Heijden, G-J., Juillot, F. and Widya, I., A Formal Development Trajectory for OSI Application Layer Protocols, pp. 55-65 in H. Habrias (Editor), Proceedings 5th International Conference on: Putting into Practice Method and Tools for Information System Design, Nantes (France), September 1992.

Other Conferences and Workshops

Clark R.G., Use of the Object-Based Style in Implementation-Oriented LOTOS Specifications, Second Lotosphere Workshop, Berlin, May 1991.

Technical Reports

Clark, R.G., LOTOS Design-Oriented Specifications in the Object-Based Style, Stirling Computing Science and Mathematics Technical Report 84, 1992.

CSP/me too Method

This work was done within the Descartes Project (Esprit 937). The aim was to formalise the early stages of the object-based development of embedded systems. The target language was Ada. This work progressed while I was associated with the Lotosphere Esprit Project with LOTOS replacing CSP/me too as the formal description technique.

Journal Articles

Clark R.G., Designing Concurrent Objects, International Workshop on Real-Time Ada Issues, ACM Ada Letters, 7(6), 107-109, 1987.
Clark R.G., The Design and Development of Embedded Ada Systems, Software Engineering Journal, 5(3), 175-184, 1990.

Refereed Conference Proceedings

Clark R.G., The Design and Development of Ada Real-Time Embedded Systems, pp. 84-99 in Rattray C. (Editor), Specification and Verification of Concurrent Systems, Springer-Verlag, 1990.

Technical Reports

Clark R.G., Ada Programs from me too Specifications, Stirling Computing Science Technical Report 30, 1986, 47p.
Clark R.G., The CSP/me too Method, Stirling Computing Science Technical Report 61, 1990, 76p.