me too: a formally based prototyping system

Summary form only given as follows. The me too method of system design centres on formal specification with validation by testing, by execution of a prototype. The language and tools are in use in industry, and for undergraduate and postgraduate teaching in Universities and Polytechnics in Britain and North America. me too has been used to specify and prototype a variety of applications including retail systems, expert system shells, a personal time management system, networking and communications applications, a CAFS-style database system, part of GKS, and an automated teller machine. me too belongs to the category of constructive, model-based specification languages, and is comparable to the executable subset of VDM or Z. The me too language has has its formal basis functional programming (lambda calculus) and set theory. The language is executable and an animation tool, which runs on PCs and workstations, is available. This paper introduces the use of the me too method, language and tools. The me too notation is introduced and illustrated by examples, and a simple specification is developed to demonstrate the use of the method and tools