Informatics Report Series


Report   

EDI-INF-RR-0561


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:Architectural specifications in CASL
Authors: Michel Bidoit ; Donald Sannella ; Andrzej Tarlecki
Date:Jul 2002
Publication Title:Formal Aspects of Computing
Publisher:Springer
Publication Type:Journal Article Publication Status:Published
Volume No:13(3-5) Page Nos:252-273
DOI:10.1007/s001650200012
Abstract:
One of the most novel features of CASL, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular structure of software systems. A brief discussion of refinement of CASL specifications provides the setting for a presentation of the rationale behind architectural specifications. This is followed by some details of the features provided in CASL for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process.
Links To Paper
from publisher web site - subscription required
author's copy of the final published manuscript
Bibtex format
@Article{EDI-INF-RR-0561,
author = { Michel Bidoit and Donald Sannella and Andrzej Tarlecki },
title = {Architectural specifications in CASL},
journal = {Formal Aspects of Computing},
publisher = {Springer},
year = 2002,
month = {Jul},
volume = {13(3-5)},
pages = {252-273},
doi = {10.1007/s001650200012},
url = {http://www.springerlink.com/(r5o1yr55sowvhzjfsd2cjljz)/app/home/content.asp?referrer=contribution&format=2&page=1&pagecount=22},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh