Bernd Krieg-Bruckner. Seven Years of COMPASS. In 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, LNCS volume 1130, pages 1--13. Springer, 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....least the main concepts to be incorporated were thought 2 to be clear although it was realized that it might not be so easy to agree on a common language to express these concepts. The Common Framework Initiative for algebraic speci cation and development, CoFI [18] started in September 1995 [40,53]. The aims and scope were formulated as follows. The aims of CoFI are to provide a common framework: by a collaborative e ort for algebraic speci cation and development attractive to researchers as well as for use in industry providing a common speci cation language with uniform, ....

.... expressive, simple, pragmatic for specifying requirements and design for conventional software packages restrictions to sublanguages extensions to higher order, state based, concurrent, etc. The Casl design e ort started in September 1995, as a common e ort of the COMPASS Working Group [40] and IFIP WG1.3 (Foundations of System Speci cation) An initial design was proposed [19] in May 1997 (with a language summary, abstract syntax, formal semantics, but no agreed concrete syntax) and tentatively approved by IFIP WG1.3. The report of the IFIP referees [26] on the initial Casl design ....

Bernd Krieg-Bruckner. Seven Years of COMPASS. In 11th Workshop on Specication of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, LNCS volume 1130, pages 1-13. Springer, 1996.

....acceptance of the algebraic method, hindered its dissemination, and limited tool applicability. The CoFI Initiative: Why not agree on a common framework This was the provocative question asked at a WADT COMPASS meeting in Santa Margherita, 1994 after nearly 7 years of the ESPRIT WG COMPASS [22]. At least the main concepts to be incorporated were thought to be clear although it was realized that it might not be so easy to agree on a common language to express these concepts. The following aims and scope were formulated at the start of the Common Framework Initiative for algebraic ....

....to be clear although it was realized that it might not be so easy to agree on a common language to express these concepts. The following aims and scope were formulated at the start of the Common Framework Initiative for algebraic specification and development, CoFI [10] in September 1995 [22,31]: The aims of CoFI are to provide a common framework: ffl by a collaborative effort ffl for algebraic specification and development ffl attractive to researchers as well as for use in industry ffl providing a common specification language with uniform, user friendly syntax and straightforward ....

[Article contains additional citation context not shown here]

Bernd Krieg-Bruckner. Seven Years of COMPASS. In 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, volume 1130 of LNCS, pages 1--13. Springer-Verlag, 1996.

....the main concepts to be incorporated were thought 2 to be clear although it was realized that it might not be so easy to agree on a common language to express these concepts. The Common Framework Initiative for algebraic specification and development, CoFI [18] started in September 1995 [40,53]. The aims and scope were formulated as follows. The aims of CoFI are to provide a common framework: by a collaborative e#ort . for algebraic specification and development . attractive to researchers as well as for use in industry . providing a common specification language with ....

....simple, pragmatic . for specifying requirements and design for conventional software packages . restrictions to sublanguages . extensions to higher order, state based, concurrent, etc. The Casl design e#ort started in September 1995, as a common e#ort of the COMPASS Working Group [40] and IFIP WG1.3 (Foundations of System Specification) An initial design was proposed [19] in May 1997 (with a language summary, abstract syntax, formal semantics, but no agreed concrete syntax) and tentatively approved by IFIP WG1.3. The report of the IFIP referees [26] on the initial Casl design ....

Bernd Krieg-Bruckner. Seven Years of COMPASS. In 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, LNCS volume 1130, pages 1--13. Springer, 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC