Automation of program design

Automation of program design

Bibliographic Details
Main Author:	Godinho, A. M. de A. L.
Published:	University of Manchester 1982
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.355103

Similar Items

Studies of program test coverage criteria and the development of an automated support system
by: Girgis, M. R.
Published: (1986)

Investigations towards an accurate, efficient and automated finite element program for the numerical analysis of optical waveguides
by: Zhao, An Ping
Published: (1994)

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

Programming language design with polymorphism
by: Matthews, D. C. J.
Published: (1983)

Prototyping tools for parallel program design
by: Hart, Edmund Reid
Published: (1996)

Hybrid methods for automated timetabling
by: Newall, James P.
Published: (1999)

Operating system design for distributed programming environments
by: Nicol, J. R.
Published: (1986)

The design and implementation of a relational programming system
by: Cattrall, David Michael
Published: (1992)

Automated interactive software verification and synthesis
by: Hughes, Roger Brett
Published: (1992)

Automating the refinement of knowledge based systems
by: Craw, Susan
Published: (1991)

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

The design of a portable translator of systems programming languages
by: McCaig, Joseph Martin
Published: (1980)

Design aspects of object-oriented languages for parallel/distributed programming
by: Guffick, Ian Michael
Published: (1990)

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

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

Development of distributed scheduling systems with an application to office automation
by: Kara, Mourad
Published: (1991)

Graphical creation of structured programs
by: Romero, M. B. A.
Published: (1985)

Design, implementation and evaluation of a declarative object-oriented programming language
by: Ramos, Adolfo J. Socorro
Published: (1993)

Program construction in Martin-Lof's theory of types
by: Khamiss, A-A. M.
Published: (1986)

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

Functional programming techniques
by: Hill, Stephen A.
Published: (1989)

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

An investigation into the design, implementation and application of a high level programming language for distributed computing systems
by: Crookes, D.
Published: (1980)

The application of visual programming to courseware authoring
by: Bell, Michael A.
Published: (1995)

An investigation into the measurement of program quality
by: Samaraweera, L. G.
Published: (1997)

SODA : an interactive design tool
by: Alencar-Price, A. M. de
Published: (1984)

A Smalltalk-80 electronic laboratory simulation program for computer assisted learning : the design and evaluation of an electronic laboratory simulation program for use in undergraduate computer assisted learning
by: Che Mee, Izhar
Published: (1990)

PED : A tree-oriented editor for programs
by: Lomax, A.
Published: (1983)

The suitability of high-level languages for systems programming
by: Burgess, A.
Published: (1981)

The design of a distributed filestore
by: Cursons, A. L.
Published: (1983)

Modularity and code generation in an extended programming language
by: Rowlands, J. A. S.
Published: (1988)

A combined representation for the maintenance of C programs
by: Kinloch, David A.
Published: (1995)

Aspects of functional programming applied to scientific computing
by: Revitt, A. P.
Published: (1993)

Programming a dialogue teaching situation
by: Stansfield, James L.
Published: (1975)

An interactive graphical program development system
by: Diaz-Herrara, J. L.
Published: (1981)

Database tools for multi-language program support environments
by: Mariani, J. A.
Published: (1983)

Functional programming with side-effects
by: Josephs, M. B.
Published: (1986)

An analysis of the impact of functional programming techniques on genetic programming
by: Yu, Gwoing Tina
Published: (2000)

A database programming language : definition, implementation and correctness proofs
by: Welsh, A.
Published: (1984)

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

Cannot write session to /tmp/vufind_sessions/sess_fpr78qg1tph5855274j439o79r