• Publications
  • Influence
Requirements Engineering: The Emerging Wisdom
TLDR
Developments in requirements engineering, as in system development, have come in waves. Expand
  • 177
  • 6
Visualisation of Executable Formal Specifications for User Validation
TLDR
This paper reports on research work to facilitate the user validation process in an application-orientated fashion based on executable formal specifications. Expand
  • 11
  • 3
Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda
TLDR
This paper summarises, clarifies and extends the results of two panel discussions, one at the Twelfth Conference on Advanced information Systems Engineering (CAiSE’00) and the other at the Fourth IEEE Conference on Requirements Engineering (ICRE’ 00). Expand
  • 150
  • 2
  • PDF
Formal Methods: State of the Art and New Directions
TLDR
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. Expand
  • 58
  • 2
Viscosity as a metaphor for measuring modifiability
TLDR
An analytic framework termed 'cognitive dimensions' is introduced and developed to provide formal definitions of dimensions for assessing the suitability of interactive systems for particular tasks, including the resistance of languages and notations to modification. Expand
  • 10
  • 2
Formal comparisons of program modification
TLDR
This work adopts a psychologically motivated evaluative framework in the comparison of a visual and a textual programming language. Expand
  • 14
  • 2
A toolset to support the construction and animation of formal specifications
TLDR
This paper presents an approach and toolset that enables a developer to construct a Z specification using the wiZe editor, demonstrate its properties by transforming it into an executable form using the ZAL animation system, and explore its adequacy by animating a variety of scenarios. Expand
  • 29
  • 1
Towards a system for the construction, clarification, discovery and formalisation of requirements
TLDR
A system that judiciously combines the strengths of formal specification and prototyping to assist in the construction, negotiation, clarification, discovery and formalisation of requirements that could make the crucial activity of requirements engineering less problematic. Expand
  • 12
  • 1
New method of vapour discrimination using the Thickness Shear Mode (TSM) resonator
Abstract: The Impedance analysis technique complemented with curve fitting software was used to monitor changes in film properties of Thickness Shear Mode (TSM) resonator on vapour exposure. TheExpand
  • 8
  • 1
  • PDF
Validating and evolving software requirements in a systematic framework
TLDR
The concern is with validation and evolution of software requirements based on the notion of executable specifications. Expand
  • 8
  • 1