The development and testing of SURVE : a technique for validating and explicating specifications of user requirements

The development and testing of SURVE : a technique for validating and explicating specifications of user requirements

Bibliographic Details
Main Author:	Kirby, Mark Andrew Richard
Published:	University of Huddersfield 1993
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.357804

Similar Items

The integration of software specification, verification, and testing techniques with software requirements and design processes
by: Chantatub, Wachara
Published: (1995)

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

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

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

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

Structural testing techniques for the selective revalidation of software
by: Hartmann, Jean Zoren Werner
Published: (1992)

Software component testing : a standard and the effectiveness of techniques
by: Reid, Stuart Christopher
Published: (1997)

Supporting multi-user interface development for cooperative systems
by: Bentley, Richard Michael
Published: (1994)

User-centred methods in the analysis and design of software tools to support management consultants
by: Dixon, Mark
Published: (2000)

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

An investigation into adaptive search techniques for the automatic generation of software test data
by: Lachut Watkins, Alison Elizabeth
Published: (1996)

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

Investigation and validation of a cubic turbulence model in isothermal and combusting flows
by: Carroni, Richard
Published: (1999)

Requirements modelling of real-time systems
by: Sateesh, Tiptur K.
Published: (1995)

Modelling for requirements engineering using conceptual structures
by: Champion, R. E. M.
Published: (1991)

A framework for the communication and organisation of requirements perspectives
by: Al-Rawas, Amer Awadh Salim
Published: (1996)

Constraint programming in user interface construction
by: Samual, John Francis
Published: (1996)

User innovation in information systems practice
by: Kawalek, John Paul
Published: (1998)

Elicitation of software requirements : the role of natural language processing
by: Alam, Abu Turab
Published: (1991)

Lazy functional components for graphical user interfaces
by: Noble, Rob
Published: (1995)

The application of visual programming techniques to the low-level programming process
by: Beaumont, Mark Alexander Edward
Published: (1999)

Improving requirements analysis : providing support for an extended CORE method
by: Stokes, David Alan
Published: (1991)

PICTURE : a framework for effective communication within requirements elicitation
by: Coughlan, Jane-Lisa
Published: (2002)

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)

Domain restrictive user interfaces using database systems
by: Patel, Nitin
Published: (1995)

User enhanceability for information systems through visual programming
by: Mehandjiev, Nikolay Dimitrov
Published: (1997)

Supporting run-time adaptation in intelligent user interfaces
by: Karagiannidis, Charalampos
Published: (1998)

Requirements elicitation through viewpoint control in a natural language environment
by: Messaoudi, Mohammed
Published: (1994)

A user interface framework for object-oriented database systems
by: Sawyers, Peter
Published: (1990)

Performance evaluation and user interface design for isolated speech recognition
by: Tolun, M. R.
Published: (1985)

A framework for user-hypertext interaction and alternative operations for browsing
by: Pimentel, Maria da Graca Campos
Published: (1994)

A functional approach to user interfaces for a spatial database
by: Norris-Sherborn, A.
Published: (1984)

A framework for the definition and manipulation of database views by end users
by: Laender, A. H. F.
Published: (1984)

Graphical debugging and validation of parallel programs
by: Eaton, Anthony John
Published: (1993)

Requirements-driven modelling as a means of controlling change in object-oriented systems
by: Watson, Christopher
Published: (1996)

Information management : a uniform conceptual model and its user interface
by: Ojo, Sunday Olusegun
Published: (1985)

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

An empirical investigation of the factors contributing to spreadsheets usage and end-user computing satisfaction
by: Al-gahtani, Said S.
Published: (1995)

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

Cannot write session to /tmp/vufind_sessions/sess_tu91bvt3fr8lbhnru7n311qtkf