2145 search results - page 1 / 429 » Architectural Specifications in CASL |
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
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...
TCS
2002
13 years 5 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
AMAST
2006
Springer
13 years 7 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
AOSE
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
TCS
2002
13 years 5 months ago
2002
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...