EPSRC logo

Details of Grant 

EPSRC Reference: GR/K67304/01
Title: FORMAL UNDERPINNINGS FOR OBJECT TECHNOLOGY
Principal Investigator: Mitchell, Professor R
Other Investigators:
Kent, Dr S Howse, Professor JR Civello, Dr F
Researcher Co-Investigators:
Project Partners:
Pre Nexus Migration
Department: Sch of Computing, Engineering & Maths
Organisation: University of Brighton
Scheme: Standard Research (Pre-FEC)
Starts: 02 January 1996 Ends: 01 January 1999 Value (£): 187,075
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
Object technology is an increasingly widespread software technology. As with all emerging technologies, there is a requirement for more rigorous and scientific underpinning of the associated concepts and techniques. The project seeks to increase our understanding of object technology by the technique of formally defining object technology, an approach that has proved to be successful with earlier technologies, making them more effective. The project has relevance to all areas of the UK economy that involve software development using object technology, a very large an rapidly growing sector. It is particularly relevant to developers of methods and tools based on object technology. A key property of the project is that it will formalise concepts and techniques in current use, largely using currently available theory. The project will concentrate on Syntropy, a modern method of developing object systems that embodies the key concepts and techniques, and will collaborate with a principal designer of Syntropy. The theory used is the well-developed object calculus.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.bton.ac.uk