Computer-aided mangement of ADA systems

Computer-aided mangement of ADA systems

Bibliographic Details
Main Author:	Jazaa, Abid Thyab
Published:	Keele University 1991
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.314465

Similar Items

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

ADDS : An Ada dialogue development system
by: Robinson, J.
Published: (1986)

Separate compilation and the ADA programming language
by: Briggs, J. S.
Published: (1984)

The use of diagrams and colour in the display of ADA programs
by: Reid, P.
Published: (1983)

Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
by: Shi, Feng Gang
Published: (1995)

Deductive and algorithmic analysis of real-time concurrent Ada programs
by: Gerdsmeier, Thorsten
Published: (2001)

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

Computer aided software production
by: Quinn, Paul
Published: (1986)

Self and guided improvement of the strategies of intelligent computer aided instruction systems
by: Hussain, Talib Sadik
Published: (1989)

Computer aided design decision making
by: Lye, Sun Woh
Published: (1986)

Generative grammars and the computer-aided composition of music
by: Holtzman, Steven R.
Published: (1980)

Computer aids for the design of large scale integrated circuits
by: Swan, George Baxter
Published: (1983)

Computer-aided calibration of the accuracy performance of NC machine tools
by: Fan, Kuang-Chao
Published: (1984)

The use of text-based approach in natural language translation by computer
by: Khan, Mohammad Abid
Published: (1990)

Appraisal of computer aided instruction at the Open University and the evaluation of three specific programs
by: Eardley, R. H.
Published: (1978)

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)

The development of an implementation methodology for computer aided production management in small, make-to-order manufacturing businesses
by: Warrington, Andrew David
Published: (1996)

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 development of an interface for the non-computer professional to the computer system
by: Greig, J.
Published: (1984)

Recursive structures in computer systems
by: Brownbridge, David Robert
Published: (1984)

Filing system services for distributed computer systems
by: Richardson, M. F.
Published: (1984)

Design issues for computer graphics in a general purpose computer system
by: Wu, E. H.
Published: (1984)

Structured programming aid
by: Guimaraes Rodrigues, A. J. M.
Published: (1980)

An adaptation of Modula-2 for distributed computing systems
by: Mellor, Paul Vincent
Published: (1987)

The Soft Systems Methodology : A practicable framework for computer systems analysis
by: Miles, R. K.
Published: (1987)

Portable system software for personal computers on a network
by: Knight, B. J.
Published: (1982)

A programming environment for a multi-computer system
by: Colley, M. J.
Published: (1984)

Robust data storage in a network of computer systems
by: Anyanwu, Josephine Ada
Published: (1984)

Towards dynamic modification of a distributed computer system
by: Horani, M. E.
Published: (1985)

A CAD engineering language to aid manufacturing
by: Hart, N. M.
Published: (1986)

Management of concurrency in a reliable object-oriented computing system
by: Parrington, Graham D.
Published: (1988)

MC : A concurrent programming language for distributed computer systems
by: Rizk, A.
Published: (1986)

A system for the design of networks of computing processes with some applications
by: Smith, L. S.
Published: (1980)

An object oriented expert system for specifying computer data security requirements in an open systems environment
by: Bennett, Stacey Patricia
Published: (1995)

Some applications of cognitive science in the analysis, design and implementation of computer systems
by: Jagodzinski, A. P.
Published: (1983)

Load distribution within a heterogeneous multiprocessor computer music system
by: Tuffen, John Anthony
Published: (1997)

A computational model and knowledge based system for well completion design
by: Dunn-Norman, Shari
Published: (1990)

An object-oriented approach to the modelling of real-time computer systems and communication protocols
by: Al-Rowaihi, Salem F. K.
Published: (1991)

Decentralized resource and data management in a fault tolerant distributed computer system
by: Hull, R.
Published: (1985)

Porting a distributed operating system to a shared memory parallel computer
by: Atukorala, G. S.
Published: (1990)

Cannot write session to /tmp/vufind_sessions/sess_q7c8tmd8s92mthandqqvupe64i