Computer Science Publications - New Zealand Society of Great Britain

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.