Name
Abstract | ||
|---|---|---|
The status of the Common Framework Initiative (CoFI) and the Common Algebraic Specification Language (CASL) are briefly presented. One important outstanding point concerns the relationship between CASL and programming languages; making a proper connection is obviously central to the use of CASL specifications for software specification and development. Some of the issues involved in making this connection are discussed. |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1007/3-540-45719-4_1 | AMAST |
Keywords | Field | DocType |
common framework initiative,casl specification,proper connection,programming language,common algebraic specification language,software specification,important outstanding point concern | Specification language,Algebraic specification,Programming language,Common Algebraic Specification Language,Computer science,Automated theorem proving,Theoretical computer science,Language Of Temporal Ordering Specification,Software requirements specification,Software development,Class invariant | Conference |
ISBN | Citations | PageRank |
3-540-44144-1 | 5 | 0.52 |
References | Authors | |
21 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| David Aspinall | 1 | 1411 | 90.63 |
| Donald Sannella | 2 | 1417 | 134.34 |