Formal models for user interface design artefacts

@article{Bowen2008FormalMF,
  title={Formal models for user interface design artefacts},
  author={Judy Bowen and Steve Reeves},
  journal={Innovations in Systems and Software Engineering},
  year={2008},
  volume={4},
  pages={125-141}
}
There are many different ways of building software applications and of tackling the problems of understanding the system to be built, designing that system and finally implementing the design. One approach is to use formal methods, which we can generalise as meaning we follow a process which uses some formal language to specify the behaviour of the intended system, techniques such as theorem proving or model-checking to ensure the specification is valid (i.e., meets the requirements and has… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 30 CITATIONS

Modelling safety-critical devices: coloured petri nets and Z

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Design Patterns for Models of Interactive Systems

  • 2015 24th Australasian Software Engineering Conference
  • 2015
VIEW 11 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Analysing Reverse Engineering Techniques for Interactive Systems

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Generating Obligations, Assertions and Tests from UI Models

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

UI-design driven model-based testing

  • Innovations in Systems and Software Engineering
  • 2013
VIEW 11 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Engineering Interactive Systems with Model-Driven Code Contracts

  • 2018 25th Australasian Software Engineering Conference (ASWEC)
  • 2018
VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS

Combining Models for Interactive System Modelling

  • Handbook of Formal Methods in Human-Computer Interaction
  • 2017
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 39 REFERENCES

A Refinement Theory for µ-Charts

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Formal Models for Informal GUI Designs

  • Electr. Notes Theor. Comput. Sci.
  • 2007
VIEW 2 EXCERPTS

Formal refinement of informal GUI design artefacts

  • Australian Software Engineering Conference (ASWEC'06)
  • 2006
VIEW 1 EXCERPT

Formal specification of user interface design guidelines

J Bowen
  • Master’s thesis,
  • 2005
VIEW 1 EXCERPT