Towards a process-centred software engineering environment to support the development of high integrity software

Towards a process-centred software engineering environment to support the development of high integrity software

Bibliographic Details
Main Author:	Gimenes, Itana Maria de Sousa
Published:	University of York 1992
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316176

Similar Items

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)

A documentation paradigm for an integrated software maintenance support environment
by: Bittlestone, David
Published: (1992)

User-centred methods in the analysis and design of software tools to support management consultants
by: Dixon, Mark
Published: (2000)

User-centred design of software development environments : an example from program debugging
by: Waddington, Raymond
Published: (1989)

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

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

Towards a software framework for supporting hardware fault tolerance
by: Aghanya, Obiajulu Anizoba
Published: (1994)

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

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

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

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

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

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

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

Machine-assisted theorem-proving for software engineering
by: Martin, Andrew Philip
Published: (1994)

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

An investigation into tool support for the development of reusable software
by: Ramachandran, Muthupandi
Published: (1992)

Advances in educational support for software design methods
by: Midekso, Dida
Published: (1990)

An object based architecture for software development environments
by: Barman, Harry Justin
Published: (1989)

Organisation of objects in class-based software environments
by: Hu, Yufan
Published: (1994)

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

Software tools for conceptual schema integration
by: Souza, J. M. de
Published: (1986)

Towards object-oriented software architecture reuse
by: Desmond, Lewis
Published: (1994)

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

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

Aspects of software process assessment and improvement
by: Thomson, Helen E.
Published: (1995)

Program execution monitoring : software structures and architectural support
by: Wilkinson, David
Published: (1990)

A knowledge-based approach to software design support
by: Sharp, Helen Claire
Published: (1989)

A reflective architecture to support dynamic software evolution
by: Rank, Stephen
Published: (2002)

Supporting a multi-method software development paradigm
by: Cranfield, E. C.
Published: (1988)

Hypothesis-based concept assignment to support software maintenance
by: Gold, Nicolas Edwin
Published: (2000)

An object-oriented design environment for software reuse and adaptability
by: Potts, I. W.
Published: (1990)

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

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

Contributions to the development of finite element software in an interactive computing environment
by: Moscardini, A. O.
Published: (1984)

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

Towards the automated production of diagnostic software for SPC switching systems
by: Shashidhar, C. R.
Published: (1985)

Using formal specifications to enhance the software testing process
by: Hierons, Robert M.
Published: (1992)

Elicitation of software requirements : the role of natural language processing
by: Alam, Abu Turab
Published: (1991)