An object-based algebraic specification environment

An object-based algebraic specification environment

Bibliographic Details
Main Author:	Ma, Sula
Published:	University of Oxford 2001
Subjects:	005 Languages
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365432

Similar Items

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

Visual construction of algebraic specifications
by: Neary, Duncan S.
Published: (2002)

The design and implementation of Troy, a distributed object-based language
by: Hailes, Stephen Mark Vernon
Published: (1991)

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

The preservation of the environment
by: Padget, Julian Alexander
Published: (1984)

Automated test generation from algebraic specifications
by: Pietschker, Andrej
Published: (2002)

State transition specifications of abstract machines
by: Murrell, Stephen
Published: (1988)

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

An object based architecture for software development environments
by: Barman, Harry Justin
Published: (1989)

Organisation of objects in class-based software environments
by: Hu, Yufan
Published: (1994)

Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985)

MP : an application specific language
by: Rogers, Mark C.
Published: (1995)

Network support for distributed objects : coping with heterogeneity in models and architectures
by: Lea, Rodger
Published: (1989)

Collaborative object manipulation in immersive virtual environments
by: Glover, Tony
Published: (2000)

Object-Oriented Specification:Analysable Patterns & Change Management
by: Heaven, William John Douglas
Published: (2008)

Towards the development of a mathematician's assistant for the specification and implementation of parallel linear algebra software
by: Benson, T. J. Graeme
Published: (1992)

The Wisp Algebraic Manipulator
by: Pearce, P. D.
Published: (1977)

Trace-based process algebras for real-time probabilistic systems
by: Cattani, Stefano
Published: (2005)

The realisation of JSD specifications in object oriented languages
by: Lewis, Colin T.
Published: (1991)

Computational models for declarative languages and their formal specifications in CSP
by: Lee, M. K. O.
Published: (1986)

An Algebraic Approach to Computational Semantics
by: Dubinsky, A.
Published: (1975)

Formal method for the retrospective specification of the functionality of existing software systems
by: Halmay, Edit
Published: (1988)

Understanding Z : A specification language and its formal semantics
by: Spivey, J. M.
Published: (1985)

An algebraic framework for constraint problem modelling
by: Renker, Gerrit
Published: (2005)

Integrating static and dynamic aspects in the specification of open object-based distributed systems
by: Veglioni, Simone
Published: (1997)

Formal specification and analysis of digital hardware circuits in LOTOS
by: He, Ji
Published: (2000)

Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra)
by: Ye, Kangfeng
Published: (2016)

Algorithmic algebraic techniques and their application to block cipher cryptanalysis
by: Albrecht, Martin
Published: (2010)

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

Metamorphosis : an integrated object oriented requirements analysis and specification method
by: Silva Araujo, Joao Baptista da
Published: (1996)

An object-oriented query processing subsystem in a heterogeneous distributed database environment
by: Ismail, Hanafy Mahmoud
Published: (1990)

Algebraic hierarchical decomposition of finite state automata : a computational approach
by: Egri-Nagy, Attila
Published: (2005)

A computer flowsheeting programme incorporating algebraic analysis of the problem structure
by: Leigh, Martin John
Published: (1973)

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)

On the refinement of state-based and event-based models
by: Bolton, Christie
Published: (2002)

Object-based content representation and analysis for image retrieval
by: Turcat, Jean-Philippe
Published: (2002)

Practical strategies for agent-based negotiation in complex environments
by: Williams, Colin Richard
Published: (2012)

Object recognition in infrared imagery using appearance-based methods
by: Wang, Xun
Published: (2008)

Cannot write session to /tmp/vufind_sessions/sess_131qh8u96ko7e52cr5r0d6tnaf