Machine-assisted theorem-proving for software engineering

Machine-assisted theorem-proving for software engineering

Bibliographic Details
Main Author:	Martin, Andrew Philip
Published:	University of Oxford 1994
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.294359

Similar Items

Automatic theorem proving programs and group presentations
by: Gill, David Michael
Published: (1995)

Proving program refinements and transformations
by: Ward, Martin
Published: (1989)

Software engineering curriculum design
by: Loomes, Martin James
Published: (1991)

Small scale software engineering
by: Witty, Robert W.
Published: (1981)

Supporting cooperation in software engineering environments
by: Rodden, Thomas
Published: (1990)

The integration of tools in software engineering environments
by: Thearle, R. W.
Published: (1992)

Formal methods and reuse in software engineering
by: Higgs, Clive Richard
Published: (1990)

Knowledge-based software engineering : a software quality management expert system prototype
by: Karami, Daryoosh
Published: (1995)

An investigation into MetaCASE and object-oriented software engineering
by: Ferguson, R. I.
Published: (1998)

Towards a process-centred software engineering environment to support the development of high integrity software
by: Gimenes, Itana Maria de Sousa
Published: (1992)

A computer-aided software engineering tool to model, analyze and simulate scheduling algorithms to assist in the design and development of embedded hard real-time systems
by: Schnetler, Hermine
Published: (1992)

The use of non-formal information in reverse engineering and software reuse
by: Brown, Alan J.
Published: (1992)

Developing learner autonomy and process improvement in software engineering team projects
by: Birtle, Malcolm
Published: (1996)

Technology initiated paradigm shifts for re-engineering the software value-chain
by: Coughlan, Chris
Published: (1996)

Runtime visualisation of object-oriented software
by: Smith, Michael Philip
Published: (2003)

Dialogue structure models : an engineering approach to machine analysis and generation of dialogue
by: Jones, Cerian E.
Published: (1994)

Statistical modelling of software metrics
by: Neil, Martin David
Published: (1992)

Efficient parallel image-processing software
by: Fleury, Martin
Published: (1997)

An automatic program translator for distributed memory MIMD machines
by: Crooks, Philip
Published: (1994)

In search of paradigms in multimedia systems design : an analysis of software engineering and graphic design approaches using the Kuhnian model
by: Gallagher, J. B. Seamus
Published: (1998)

The application of software metrics to the area of software specification
by: Finney, Kathleen Margaret
Published: (1998)

An investigation into the planning, organisation and control of rapid software development and prototyping
by: Stephens, Mark Andrew
Published: (1999)

Computer-assisted modelling of continuous systems : the design and production of software tools to aid non-programmers to define continuous system models and the experiments to be performed on them
by: Luker, P. A.
Published: (1982)

A software maintenance method based on the software configuration management discipline
by: Capretz, Miriam Akemi Manabe
Published: (1992)

Graph models of software
by: Bache, Richard
Published: (1990)

Quantum computer software
by: Wallace, Julia
Published: (2001)

Measuring software complexity
by: Ahmad, A.
Published: (1981)

Methodologies and software maintenance
by: Taylor, Mark John
Published: (1998)

The generation and management of software
by: Baker, M. W.
Published: (1980)

The integration of software specification, verification, and testing techniques with software requirements and design processes
by: Chantatub, Wachara
Published: (1995)

Controlling the software development process through the techniques of software process modelling and formal methods
by: Proudlock, Kimberley M.
Published: (1994)

A framework for exploratory software development : integrating software version control and undo support
by: Trenouth, Jason
Published: (1990)

SMM (Software Management Model) : a multidimensional and integrative software development management model
by: Nascimento, Maria Elenita Menezes
Published: (1992)

Software design methods and errors
by: Kamal, Muhammad
Published: (1991)

Software environments for parallel computing
by: Hill, Mark Bowen
Published: (1993)

Software tools for dialogue design
by: Guest, S. P.
Published: (1986)

Finite elements software and applications
by: Ahmed, A. S. E.
Published: (1987)

On computer software reliability modelling
by: Jabur, D. B.
Published: (1982)

On the measurement of concurrent software designs
by: Rose, Julian H. M.
Published: (1992)

The portability of low-level software
by: Fairfield, P.
Published: (1983)