Visual construction of algebraic specifications

Visual construction of algebraic specifications

Bibliographic Details
Main Author:	Neary, Duncan S.
Published:	University of Liverpool 2002
Subjects:	005 Software development
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.250223

Similar Items

Interpreting algebraic specifications
by: Runciman, C.
Published: (1983)

Exploring the barriers to formal specification
by: Snook, Colin Frank
Published: (2001)

Towards constructive specification transformation
by: Lewington, Christopher P.
Published: (1991)

An algebraic approach to compiler design
by: Sampaio, Augusto
Published: (1993)

Tools for algebraic program transformation
by: Merriam, Nicholas Andrew Van Ness
Published: (1995)

Interfacing algebraic and numeric computation
by: Dewar, Michael C.
Published: (1991)

A slicing approach to constructing and viewing problem specifications
by: Owens, Marie Therese
Published: (1992)

UpsilonFP : An algebraic VLSI design language
by: Sheeran, M.
Published: (1983)

The optimisation of user programs for the reduce algebraic manipulation system by pre-processing
by: Hicks, Richard John
Published: (1984)

Combining visual modelling with visual programming for CORBA component development
by: Bühler, Frank Stefan
Published: (2002)

Systematic method support for CASE-tool evaluation
by: Lundell, BjoÌˆrn Hans Lennart
Published: (2001)

System modelling and systematic testing
by: Fu, Xiaoying
Published: (1995)

Object oriented specification and refinement
by: Whysall, Peter John
Published: (1991)

Writing and animating Z specifications
by: Andrews, Simon John
Published: (1996)

An object-based algebraic specification environment
by: Ma, Sula
Published: (2001)

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

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

Towards a satisfaction relation between CCS specifications and their refinements
by: Baillie, Elizabeth Jean
Published: (1992)

Automatic generation of software test cases from formal specifications
by: Meudec, Christophe
Published: (1998)

Visual programming for transputer systems
by: Roberts, Mike
Published: (1990)

Maintaining consistency in distributed IPSEs
by: Walpole, J.
Published: (1987)

An investigation into computer assisted program and system design
by: Davies, C. G.
Published: (1987)

A gift from Pandora's Box : the software crisis
by: Pelaez Valdez, Maria Eloina
Published: (1988)

An improved method for the mechanisation of inductive proof
by: Stevens, Andrew
Published: (1990)

The formal specification of computational structures
by: Stewart, Alan
Published: (1986)

Animation prototyping of formal specifications
by: Hughes, Thomas S.
Published: (1992)

A visual approach to configuration management
by: Lee, Chi-yeung
Published: (1996)

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

Strong mutation testing strategies
by: Duncan, Ishbel M. M.
Published: (1993)

Octree construction for imaging
by: Millar, Richard James
Published: (1989)

Testing from structured algebraic specifications : the oracle problem
by: Machado, Patricia D. L.
Published: (2000)

Formal specification and verification of OSI protocols
by: Zhang, Bairong
Published: (1996)

Typed concurrent programs : specification and verification
by: Nagarajan, R.
Published: (1999)

Graphical support for user interface specification
by: England, David
Published: (1990)

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

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

Java Iconic Visual Environment for Simulation (JIVESim)
by: Odhabi, Hamad I.
Published: (1999)

Graphical application and visualization of lazy functional computation
by: Foubister, Sandra Periam
Published: (1995)

A concurrent visual language based on Petri nets
by: Usher, Michelle M.
Published: (1999)

A visual programming language for real-time systems
by: Gee, David Malcolm
Published: (1994)