A simple refinement language for CASL

Authors:
Till Mossakowski;Donald Sannella;Andrzej Tarlecki
Affiliations:
BISS, Department of Computer Science, University of Bremen;LFCS, School of Informatics, University of Edinburgh, Edinburgh, UK;Institute of Informatics, Warsaw University and Institute of Computer Science, PAS, Warsaw, Poland
Venue:
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Year:
2004

Citing 7
Cited 4

Toward formal development of programs from algebraic specifications: implementations revisited

Acta Informatica
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification
Global Development via Local Observational Construction Steps

MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
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
An algebraic definition of simulation between programs

IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

HasCasl: Integrated higher-order specification and program development

Theoretical Computer Science
The VSE Refinement Method in Hets

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Refinement trees: calculi, tools, and applications

CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Lambda expressions in casl architectural specifications

WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

We extend Casl architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees. The essence of the extension is to allow refinements of unit specifications in Casl architectural specifications.