From Z to C : illustration of a rigorous development method

From Z to C : illustration of a rigorous development method

Bibliographic Details
Main Author:	Neilson, D. S.
Published:	University of Oxford 1989
Subjects:	005 Logic programming[Programming disciplines]
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.257948

Similar Items

A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge
by: Cunningham, J.
Published: (1985)

Rigorous object-oriented analysis
by: Moreira, Ana Maria Dinis
Published: (1994)

A message driven or-parallel logic architecture
by: Delgado Rannauro, Sergio A.
Published: (1989)

A logic-based concurrent object-oriented programming language
by: Melendez, Rafael Ramirez
Published: (1996)

Agent theories and architectures
by: Seel, Nigel
Published: (1989)

Logic and objects : language, application and implementation
by: McCabe, Francis Gregory Christopher
Published: (1989)

Integrity constraints in deductive databases
by: Das, Subrata Kumar
Published: (1990)

The Clausal Theory of Types
by: Wolfram, David Anthony
Published: (1990)

Over-constrained systems in CLP and CSP
by: Jampel, Michael Benjamin
Published: (1996)

Effective meta-programming in declarative languages
by: Bowers, Antony Francis
Published: (1998)

And-parallel implementation of Prolog on distributed memory machines
by: Verden, Andrew Roy
Published: (1991)

IKBS for real-time monitoring and control applications
by: Pokkunuri, Bhanu Prasad
Published: (1990)

Parallel execution of Parlog
by: Cheese, Andrew B.
Published: (1990)

Abduction by deduction
by: Fung, Tze Ho
Published: (1996)

Methods integration : rigorous systems specification using structured analysis and formal notations
by: Semmens, Lesely T.
Published: (1996)

Application of formal methods to digital system design
by: Herbert, J. M. J.
Published: (1986)

Gazing : a technique for controlling the use of rewrite rules
by: Plummer, David John
Published: (1988)

Coupled resolution engines for programming knowledge based systems in logic
by: Taylor, Hamish
Published: (1989)

Analysis and specialisation of imperative programs : an approach using CLP
by: Peralta Estrada, Julio C.
Published: (2000)

Implementation of committed choice logic languages on shared memory multiprocessors
by: Crammond, James Alexander
Published: (1988)

Prolog and expert systems
by: Davies, Peter Leslie
Published: (1987)

Language interoperability and logic programming languages
by: Cook, Jonathan J.
Published: (2005)

A parallel process model and architecture for a Pure Logic Language
by: Jelly, Innes E.
Published: (1990)

A formalism for representing qualified knowledge and its implementation for large knowledge bases
by: Jiang, Y. J.
Published: (1986)

Type-driven natural language analysis
by: Pareschi, Remo
Published: (1988)

Incremental processing of Z specifications
by: Vasconcelos, Alexandre Marcos Lins de
Published: (1993)

Prototyping Z specifications in extended Lisp
by: Hibberd, Richard Bramwell
Published: (2001)

From VDM to ABC : a pragmatic approach to formal software development
by: Kans, Aaron
Published: (1996)

A development method for trusted real-time kernels
by: Fowler, Simon Quiller
Published: (1998)

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

A generic model for representing software development methods
by: Wong, Alan C. Y.
Published: (1996)

Software development methods for educational use
by: Allen, Gary
Published: (1994)

Developing methods for computer programs including a notion of interference
by: Jones, C. B.
Published: (1981)

A formal development method for the construction of correct distributed applications software
by: Roantree, Donal Kevin
Published: (1993)

Incorporating design patterns into object-oriented development methods
by: Moghim, Mohammad Reza
Published: (1999)

A study of iterative methods for the solution of systems of linear equations on transputer networks
by: Cunha, Rudnei Dias da
Published: (1992)

Program development in action systems
by: Collier, Ian
Published: (1994)

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

Επαγωγικός λογικός προγραμματισμός και Progol
by: Παπαϊωάννου, Αλκαίος
Published: (2010)

A preprocessor building system for the C language
by: Hashim, Khairuddin
Published: (1989)