Computer Science Publications

My main computer science publications are listed below.

Books and Edited Volumes

Clark, R.G., Programming in Ada, Cambridge University Press, 1985, 217pp, ISBN 0-521-25728-X.
Wilson, L.B. and Clark, R.G., Comparative Programming Languages, Addison-Wesley, 1988, 379pp, ISBN 0-201-18483-4.
Rattray, C.M.I. and Clark, R.G. (editors), The Unified Computation Laboratory, Oxford University Press, 1992, 461p, ISBN 0-19-853684-4.
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 (Third Edition, updated by R.G. Clark), Addison-Wesley, 2001, ISBN 0-201-71012-9.

Foreign Language Editions

Clark, R.G., Programming in Ada, (Japanese Language Edition), Cambridge University Press, 1985, 315pp.
Clark, R.G., Programming in Ada, (Portuguese Language Edition), Presenca, 1985, 245pp.
Wilson, L.B. and Clark, R.G., Langages de Programmation Comparés, (French Language Edition), Addison-Wesley, 1993, 452p, ISBN 2-87908-060-6.

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.
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.
Moreira, A.M.D. and Clark, R.G., O Metodo ROOA, Sistemas de Informacao, 3, 33-45, 1995.
Clark R.G., Type Safety and Behavioural Inheritance, Information and Software Technology, 37(10), 539-545, 1995.
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., Formal Specification of Aggregates, Sistemas de Informacao, 7, 7-25, December 1997.
Clark, R.G. and Moreira, A.M.D., Formal Specifications of User Requirements, Automated Software Engineering, 6(3), 217-232, 1999.
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.
Wilson, T., Maharaj, S. and Clark, R.G., Flexible and Configurable Verification Policies with Omnibus , Software and Systems Modeling, 7(3), 257-272, 2008. (published online June 2007)

Refereed Conference Proceedings and Book Chapters

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.
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.
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.
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., 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.
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.
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., 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.
Wilson, T., Maharaj, S. and Clark, R.G., Omnibus Verification Policies: A Flexible, Configurable Approach to Assertion-Based Software Verification pp 150-159 in Aichernig, B.K. and Beckert, B. (Editors) Proc 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, IEEE Computer Society, September 2005.
Clark, R.G., The Changing Nature of Programming Languages, pp 61-72 in Open Problems in Linguistics and Lexicography, G. Sica (Editor), Polimetrica, Italy, October 2006.

Other Conferences and Workshops

Clark R.G., Use of the Object-Based Style in Implementation-Oriented LOTOS Specifications, Second Lotosphere Workshop, Berlin, May 1991.
Clark R.G., Inheritance and Reliability, TaTTOO '94 : Teaching and Training in the Technology of Objects, Leicester, January 1994.
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.
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.
Woodcock, C.J. and Clark, R.G., Patterns in Object-Oriented Analysis (abstract), pp 33-34 in MeDiCiS'95, Institute of Computer Science, Polish Academy of Sciences Report 777, Warsaw, May 1995.
Clark, R.G., The Systematic Creation of Initial Formal Specifications (abstract), in MeDiCiS'96, Barcelona, April 1996.
Clark, R.G., Formal Methods Should Complement Industrial Practice (position paper), pp 63-64 in Software Engineering Association Easter Workshop, Imperial College, London, April 1997.
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.
Clark, R.G., Transformations of UML Concurrency Constructs to E-LOTOS in WTUML: Workshop on Transformations in UML, Genoa, Italy, April 2001.
Wilson, T., Maharaj, S. and Clark, R.G., Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques pp 43-52 in Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Newcastle, July 2005.