Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
From specifications to code in Casl David Aspinall and Donald Sannella
 

Summary: From specifications to code in Casl
David Aspinall and Donald Sannella
Laboratory for Foundations of Computer Science,
Division of Informatics, University of Edinburgh
Abstract. The status of the Common Framework Initiative (CoFI) and
the Common Algebraic Specification Language (Casl) are briefly pre­
sented. One important outstanding point concerns the relationship be­
tween Casl and programming languages; making a proper connection
is obviously central to the use of Casl specifications for software spec­
ification and development. Some of the issues involved in making this
connection are discussed.
1 Introduction
The Common Framework Initiative, abbreviated CoFI, is an open international
collaboration which aims to provide a common framework for algebraic specifica­
tion and development of software by consolidating the results of past research in
the area [AKBK99]. CoFI was initiated in 1995 in response to the proliferation
of algebraic specification languages. At that time, despite extensive past collabo­
ration between the main research groups involved and a high degree of agreement
concerning the basic concepts, the field gave the appearance of being extremely
fragmented, and this was seen as a serious obstacle to the dissemination and use

  

Source: Aspinall, David - School of Informatics, University of Edinburgh
Sannella, Don - School of Informatics, University of Edinburgh

 

Collections: Computer Technologies and Information Sciences