TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.

This work analyses the scope of copyright protection for computer software in the United Kingdom,and examines challenges for the future. The work presents the case for the adoption and application of infringement methodology emanating from the courts in the United States, resulting in a narrower scope of protection than is presently argued for by many UK academics, practitioners and judges alike. The work makes a careful evaluation of the efficacy of the various prevailing tests for infringement of copyright in software and their progenies, suggesting an improved formula and advocating the utility of limiting doctrines to assist in the determination of substantial similarity of particular non-literal software elements, user interfaces and screen display protection. The monograph also contains a detailed study of reverse engineering, copyright defences, permitted acts, database protection and the copyright-contract interface in the context of computer software, not omitting crucial discussions of the internet, digital dissemination and the impact of recent treaty and legislative initiatives on British copyright law. As such it will be an important resource for practitioners, lecturers and students alike.

The successful implementation of CASE technology requires a long-term and comprehensive commitment to the pursuit of raising the quality of software design and ultimately improving the information management within the organization. Computer-Aided Software Engineering: Issues and Trends for the 1990s and Beyond covers all aspects of preparing an organization for the successful implementation of a CASE program. Actual case studies, empirical research and theoretical suppositions are used to assess how CASE is being used today and to predict future directions.