The use of formal models in the design of interactive case memory systems

The use of formal models in the design of interactive case memory systems

Bibliographic Details
Main Author:	Dearden, Andrew Mark
Published:	University of York 1995
Subjects:	005 Human computer interactions
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261115

Similar Items

Formal development methods for interactive systems : combining interactors and design rationale
by: Bramwell, Christopher John
Published: (1995)

Easing the writing task : designing computer based systems to help authors
by: Jones, Steven Robert Andrew
Published: (1994)

Visual and by-example interactive systems for non-programmers
by: Lau-Kee, David Andrew
Published: (1990)

A formal framework for the specification of interactive systems
by: Butterworth, Richard J.
Published: (1997)

The role of metaphor in user interface design
by: Treglown, Mark
Published: (2002)

Dynamics of writing with collaborative hypertext : analysis and modelling
by: Chen, Chaomei
Published: (1995)

A method for formal specification and verification of interactive systems
by: Paterno, Fabio Domenico
Published: (1995)

Formal models for systems prototyping
by: Barroca, Leonor Maria Melo Torcato
Published: (1989)

The use of formal methods for safety-critical systems
by: Trafford, Paul Joseph
Published: (1997)

Formal modelling and analysis of broadcasting embedded control systems
by: Kendall, David
Published: (2001)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

The formal analysis of a functional animation system
by: Arya, Kavi
Published: (1988)

Formally-based tools and techniques for human-computer dialogues
by: Alexander, Heather
Published: (1986)

The formal development of secure systems
by: Graham, -Cumming
Published: (1992)

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

Formal methods in specifying discrete event simulation models
by: Domingo, Lizza Tandoc
Published: (1991)

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

Pragmatic application of formal methods to safety critical systems
by: Pratt, Norman Derek
Published: (1996)

Using formal specifications to enhance the software testing process
by: Hierons, Robert M.
Published: (1992)

The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981)

Formal modelling and analysis of dynamic reconfiguration of dependable systems
by: Bhattacharyya, Anirban
Published: (2013)

A compositional model for the formal specification of user interface software
by: Markopoulos, Panagiotis
Published: (1997)

Formal specification and verification of synchronous concurrent algorithms
by: Hobley, Keith Michael
Published: (1990)

A formalism for describing and simulating systems with interacting components
by: Corr, Glenn A.
Published: (1996)

Formal verification of X-machine models : towards formal development of computer-based systems
by: Eleftherakis, George
Published: (2003)

The use of non-formal information in reverse engineering and software reuse
by: Brown, Alan J.
Published: (1992)

An application of formal specification techniques
by: Teruel, A.
Published: (1985)

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

Formal methods and interactive systems : Principles and practice
by: Dix, A. J.
Published: (1987)

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

A formal data fusion language
by: Newton, Alan R.
Published: (1995)

Specifying distributed applications : the limits of formality
by: Fergus, Edward Joseph
Published: (1990)

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

Evolution of a concurrent programming formalism
by: Rietti, G.
Published: (1980)

Formal methods for rapid software prototyping
by: Quintas Figueiredo de Barros, Alexandra Maria
Published: (1997)

Formal methods and reuse in software engineering
by: Higgs, Clive Richard
Published: (1990)

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

A formal refinement framework for the systems modeling language
by: Jacobs, Petrus Jacobus
Published: (2015)

An interactive raster graphics system and language for artists and designers
by: Scrivener, Stephen A. R.
Published: (1982)

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

Cannot write session to /tmp/vufind_sessions/sess_537uhcmsrhagn3ivrvbm7j21qj