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

Formal Models for Real People

โœ Scribed by Michiel van Lambalgen; Marian Counihan

Book ID
106389708
Publisher
Springer Netherlands
Year
2008
Tongue
English
Weight
147 KB
Volume
17
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

96/06244 Real places for real people
96/06244 Real places for real people
๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science โš– 191 KB

Presents the results of the first complete module qualification testing performed on the photovoltaic modules of several different manufacturers and a variety of technologies.

Formal Models for Informal GUI Designs
Formal Models for Informal GUI Designs
โœ Judy Bowen; Steve Reeves ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 395 KB
Object modelling and formal specificatio
Object modelling and formal specification during real-time system development
โœ P.G. O'Donoghue; M.H. Murphy ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 247 KB

Object oriented techniques promote understanding of requirements leading to flexible and extendible designs. The use of formal specification techniques ensures a complete understanding of system requirements and provides sound foundations for subsequent testing and verification. This paper describes