The Stratified loose approach: a generalization of initial and loose semantics
Lecture notes in Computer Science on Recent trends in data type specification
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
A behavioural algebraic framework for modular system design with reuse
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
On the correctness of modular systems
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A General Framework for Modular Implementations of Modular System Specifications
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract
Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
Modularizing the Formal Description of a Database System
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Reuse-Oriented Framework for Hierarchical Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
The Common Framework Initiative for Algebraic Specification and Development of Software
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Architectural specifications for reactive systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Algebraic signatures enriched by dependency structure
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
| Hi-index | 0.00 |
One of the 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 discussion of refinement of CASL specifications provides the setting for a presentation of the rationale behind architectural specifications. This is followed by details of the features provided in CASL for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process.