๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal methods for interactive systems

โœ Scribed by Antonio Cerone; Paul Curzon

Book ID
106573635
Publisher
Springer
Year
2008
Tongue
English
Weight
71 KB
Volume
4
Category
Article
ISSN
1614-5046

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Formal methods for legacy systems
Formal methods for legacy systems
โœ Ward, M. P. ;Bennett, K. H. ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 952 KB
Formal methods for broadband and multime
Formal methods for broadband and multimedia systems
โœ Stefan Fischer; Stefan Leue ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 564 KB

The proper capture of desired system properties is a pivotal step in providing high quality systems. The formal specification of these properties is necessary to provide unambiguous documentation as well as automated transformation of ลฝ . system requirements during all stages of the life cycle. The

Formal architectural abstractions for in
Formal architectural abstractions for interactive software
โœ PANOS MARKOPOULOS; PETER JOHNSON; JON ROWSON ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 800 KB

This paper discusses formal interactor models, a class of abstractions for modelling user interface software that incorporate elements of its structure. The abstraction-display-controller (ADC) interactor model is one such abstraction which draws on research into user interface architectures and on