Publications since 1990

Books

• 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., Langages de Programmation Comparés, (French Language Edition), Addison-Wesley, 1993, 452p, ISBN 2-87908-060-6.
• 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.

Edited Volumes

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

Journal Articles

• 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.

Technical Reports

• Clark R.G., The CSP/me too Method, Stirling Computing Science Technical Report 61, 1990, 76p.
• Brown, I.A., McFerran, J.P. and Clark R.G., An Introduction to ISODE, Stirling Computing Science Technical Report 77, 1991, 82p.
• Clark, R.G., LOTOS Design-Oriented Specifications in the Object-Based Style, Stirling Computing Science and Mathematics Technical Report 84, 1992.
• 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., Support Tool for LOTOS Translation, prepared for Systems Engineering Research Institute, Taejon, Korea, January 1998, 122p.
• Clark, R.G. and Moreira, A.M.D., ROOA with SDL, Stirling Computing Science and Mathematics Technical Report 147, August 1998.

---

Back to: Robert Clark's home page.