Global Development via Local Observational Construction Steps (2002)
Cached
Download Links
- [www.lsv.ens-cachan.fr]
- [ftp.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Michel Bidoit
,
Donald Sannella
,
Andrzej Tarlecki
| Citations: | 8 - 5 self |
BibTeX
@MISC{Bidoit02globaldevelopment,
author = {Michel Bidoit and Donald Sannella and Andrzej Tarlecki},
title = {Global Development via Local Observational Construction Steps},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The way that refinement of individual "local" components of a specification relates to development of a "global" system from a specification of requirements is explored. Observational interpretation of specifications and refinements add expressive power and flexibility while bringing in some subtle problems. The results are instantiated in the context of Casl architectural specifications.
