Design and implementation of project-specific software for offshore emergency shutdown systems

Design and implementation of project-specific software for offshore emergency shutdown systems

Bibliographic Details
Main Author:	Borer, John Raymond
Published:	Brunel University 1993
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.318595

Similar Items

Quality assurance of specification and design of software
by: Myers, Margaret
Published: (1989)

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

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

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

The implementation of a portable software platform
by: Sutton, Carl David
Published: (1994)

Topics in programme specification and design : Specification and design of distributed systems
by: Sorensen, I. H.
Published: (1981)

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

An investigation into generating readable software from logic specifications
by: Resler, R. Daniel
Published: (1991)

Object-oriented design methodologies for software systems
by: Capretz, Luiz Fernando
Published: (1991)

A compositional model for the formal specification of user interface software
by: Markopoulos, Panagiotis
Published: (1997)

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

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

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

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

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

The design and implementation of an operating system in a functional language
by: Cupitt, John R. G.
Published: (1989)

The refinement of formal specifications using reusable software components in Ada95
by: Bale, Stephen Alan
Published: (1998)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

The effectiveness of argumentative approaches to the design of software
by: Iliadis, Georgios P.
Published: (1999)

A development environment for implementing application software in a distributed multiprocessor computer system
by: Lambert, J. E.
Published: (1983)

Software design : analysis and a Jackson extension
by: Khan, Muhammad Shakil
Published: (1990)

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

Software design prototyping through transformations applied to informal design representations
by: Friel, Grant
Published: (1993)

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

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

Software tools to aid PASCAL and ADA program design
by: Jankowitz, H. T.
Published: (1987)

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

Early detection of ripple propagation in evolving software systems
by: Turner, Richard john
Published: (1993)

Design and specification of a program specification language for engineering applications
by: Parsa, Saeed
Published: (1992)

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 design and implementation of a relational programming system
by: Cattrall, David Michael
Published: (1992)

A structured compiler design and its applicability to software reuse
by: Taylor, Catherine Dawn
Published: (1988)

High level techniques and software tools for custom VLSI parser design
by: Bagherli, J.
Published: (1985)

The design and implementation of programming languages
by: Hughes, R. J. M.
Published: (1983)

Pictorial animation of software systems
by: Harmer, T. J.
Published: (1987)

A probablistic method for software product measurement
by: Bainbridge, John Ralph
Published: (1993)

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

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

A tool system for software development
by: Jordan, M. J.
Published: (1982)

Logical verification of reactive software systems
by: Jackson, David Mark
Published: (1992)

Cannot write session to /tmp/vufind_sessions/sess_mgb5hchc15chgr0gdmoeu3gokm