I have been at UEL since 1996, and have taught at all levels within our set of computing programmes, largely in the area of software engineering. I have published three text-books, which are widely used throught the UK and overseas. I am currently the programme leader for the BSc Software Engineering degree.

Programme Leader, BSc Software Engineering

My research involves the developmen tof safety critical software from formal specifications. I have had several papers published in this area.

I am also interested in comparative programming pardigms

• BSc Software Engineering
• BSc Computer Games
• BSc InternetTechnologies
• BSc Computer Networks
• BSc Computing
• MSc Computer Systems Engineering

• SD1042 : Introduction to Software Development
• SD2054 : Software Development
• SD3064 : Software Methods
• EEM117 : Formal Methods

"Translating VDM Specifications into ABC Programs", in Information and Software Technology Journal 36(12), pp 699-706, December 1994

"Using ABC to Prototype VDM Specifications", in ACM SIGPLAN Notices, pp27-37, January 1994

Recent scholarly activity has resulted in the publication of three text-books, which are widely used for teaching of software engineering both in the UK and overseas.

1. Q Charatan and A Kans, Java: the First Semester, McGraw-Hill 2001
2. Q Charatan and A Kans, Java in Two Semesters, McGraw-Hill 2002
3. Q Charatan and A Kans, Formal Software Development, Palgrave-Macmillan 2004

The second edition of Java in Two Semesters will be published by McGraw-Hill in August 2005

The following abstract is taken from "Using ABC to Prototype VDM Specifications", in ACM SIGPLAN Notices, pp27-37, January 1994

" ABC is a high-level, easy-to-use imperative language, designed originally as a replacement for BASIC. Although intended primarily as a teaching language, it has many powerful attributes that make it suitable as a language for the rapid prototyping of formal specifications. This paper illustrates how ABC was used to prototype specifications written in the formal specification language of VDM."

• www.mcgraw-hill.co.uk/textbooks/charatan