Abbreviated Bibliography of CoFI Publications

Edited by Peter D. Mosses

March 8, 2004

This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Bibliography/Abbreviated/.

Copyright ©2004 CoFI, The Common Framework Initiative for Algebraic Specification and Development.¹

Abstract

This bibliography lists the entries in the file cofi-abbr.bib, using the abbrv BibTeX style and showing their citation tags. See the changes document for a list of changes.

The annotated bibliography and the unabbreviated bibliography list the same references as this bibliography, as does the list of abstracts. The cross-referenced proceedings and books are listed separately.

References

 [Ancona:2000:ECL]

D. Ancona, M. Cerioli, and E. Zucca.
Extending Casl by late binding.
In WADT'99, LNCS 1827, pages 53-72. Springer, 2000.

 [Aspinall:2002:FSC]

D. Aspinall and D. Sannella.
From specifications to code in Casl.
In AMAST 2002, LNCS 2422, pages 1-14. Springer, 2002.

 [Astesiano:2002:CASL]

E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. D. Mosses, D. Sannella, and A. Tarlecki.
Casl: The Common Algebraic Specification Language.
Theoretical Comput. Sci., 286(2):153-196, 2002.

 [Astesiano:1999:ASC]

E. Astesiano, M. Broy, and G. Reggio.
Algebraic specification of concurrent systems.
In Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Reports, chap. 13. Springer, 1999.

 [Astesiano:2000:PDC]

E. Astesiano, M. Cerioli, and G. Reggio.
Plugging data constructs into paradigm-specific languages: Towards an application to UML.
In AMAST 2000, LNCS 1816, pages 273-292. Springer, 2000.

 [IFIP:1999:AFS]

E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors.
Algebraic Foundations of Systems Specification.
IFIP State-of-the-Art Reports. Springer, 1999.

 [Astesiano:1998:UHM]

E. Astesiano and G. Reggio.
UML as heterogeneous multiview notation: Strategies for a formal foundation.
In OOPSLA'98 Workshop on Formalizing UML. Why? How? ACM, 1998.

 [Astesiano:2001:LTL]

E. Astesiano and G. Reggio.
Labelled Transition Logic: An outline.
Acta Inf., 37(11-12), 2001.

 [Autexier:2000:TEF]

S. Autexier, D. Hutter, H. Mantel, and A. Schairer.
Towards an evolutionary formal software-development using Casl.
In WADT'99, LNCS 1827, pages 73-88. Springer, 2000.

 [Autexier:2002:DGM]

S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer.
The development graph manager Maya (system description).
In AMAST 2002, LNCS 2422, pages 495-502. Springer, 2002.

 [Autexier:2002:IHD]

S. Autexier and T. Mossakowski.
Integrating Hol-Casl into the development graph manager Maya.
In FroCoS 2002, LNCS 2309, pages 2-17. Springer, 2002.

 [Baumeister:2000:RAD]

H. Baumeister.
Relating abstract datatypes and Z-schemata.
In WADT'99, LNCS 1827, pages 366-382. Springer, 2000.

 [Baumeister:2000:ASC]

H. Baumeister and D. Bert.
Algebraic specification in Casl.
In Software Specification Methods, FACIT, pages 209-224. Springer, 2000.

 [Baumeister:2004:CASL-Semantics]

H. Baumeister, M. Cerioli, A. Haxthausen, T. Mossakowski, P. D. Mosses, D. Sannella, and A. Tarlecki.
Casl semantics.
In Casl Reference Manual, LNCS 2960 (IFIP Series), part III. Springer, 2004.

 [Baumeister:2000:SBE]

H. Baumeister and A. V. Zamulin.
State-based extension of Casl.
In IFM 2000, LNCS 1945, pages 3-24. Springer, 2000.

 [Bert:2000:ASO]

D. Bert and S. Lo Presti.
Algebraic specification of operator-based multimedia scenarios.
In WADT'99, LNCS 1827, pages 383-400. Springer, 2000.

 [Bidoit:2004:CASL-UM]

M. Bidoit and P. D. Mosses.
Casl User Manual.
LNCS 2900 (IFIP Series). Springer, 2004.
With chapters by T. Mossakowski, D. Sannella, and A. Tarlecki.

 [Bidoit:1998:ASC]

M. Bidoit, D. Sannella, and A. Tarlecki.
Architectural specifications in Casl.
In AMAST'98, LNCS 1548, pages 341-357. Springer, 1998.

 [Bidoit:2002:ASC]

M. Bidoit, D. Sannella, and A. Tarlecki.
Architectural specifications in Casl.
Formal Aspects of Comput., 13:252-273, 2002.

 [Bidoit:2002:GDL]

M. Bidoit, D. Sannella, and A. Tarlecki.
Global development via local observational construction steps.
In MFCS 2002, LNCS 2420, pages 1-24. Springer, 2002.

 [Bidoit:2004:CFS]

M. Bidoit, D. Sannella, and A. Tarlecki.
Toward component-oriented formal software development: An algebraic approach.
In Radical Innovations of Software and Systems Engineering in the Future, Proc. 9th Monterey Software Engineering Workshop, Venice, Italy, Sep. 2002, LNCS 2941. Springer, 2004.

 [Borzyszkowski:2000:GIC]

T. Borzyszkowski.
Generalized interpolation in Casl.
Inf. Process. Lett., 76:19-24, 2000.

 [Borzyszkowski:2000:HOL]

T. Borzyszkowski.
Higher-order logic and theorem proving for structured specifications.
In WADT'99, LNCS 1827, pages 401-418. Springer, 2000.

 [Borzyszkowski:2002:LSS]

T. Borzyszkowski.
Logical systems for structured specifications.
Theoretical Comput. Sci., 286:197-245, 2002.

 [Brand:2000:EAT]

M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier.
Efficient annotated terms.
SPE, 30(3):259-291, 2000.

 [Brand:2000:DPT]

M. G. J. van den Brand and J. Scheerder.
Development of parsing tools for Casl using generic language technology.
In WADT'99, LNCS 1827, pages 89-105. Springer, 2000.

 [COMPASS:1997]

M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-Brückner, Z. Qian, and M. Wolf, editors.
Algebraic System Specification and Development: Survey and Annotated Bibliography.
BISS Monographs. Shaker, 2nd edition, 1997.

 [Cerioli:1997:PSP]

M. Cerioli, A. Haxthausen, B. Krieg-Brückner, and T. Mossakowski.
Permissive subsorted partial logic in Casl.
In AMAST'97, LNCS 1349, pages 91-107. Springer, 1997.

 [Cerioli:1999:TEP]

M. Cerioli, T. Mossakowski, and H. Reichel.
From total equational to partial first-order logic.
In Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Reports, chapter 3. Springer, 1999.

 [Choppy:1999:UCS]

C. Choppy and G. Reggio.
Using Casl to specify the requirements and the design: A problem specific approach - complete version.
Tech. Rep. DISI-TR-99-33, Univ. of Genova, 1999.

 [Choppy:2000:UCS]

C. Choppy and G. Reggio.
Using Casl to specify the requirements and the design: A problem specific approach.
In WADT'99, LNCS 1827, pages 104-123. Springer, 2000.
An extended version is provided in [Choppy:1999:UCS].

 [Choppy:2003:IUC]

C. Choppy and G. Reggio.
Improving use case based requirements using formally grounded specifications (complete version).
Tech. Rep. DISI-TR-03-45, Univ. of Genova, Oct. 2003.
A short version is to appear in Proc. FASE 2004.

 [Choppy:2003:TFG]

C. Choppy and G. Reggio.
Towards a formally grounded software development method.
Tech. Rep. DISI-TR-03-35, Univ. of Genova, 2003.

 [CoFI:2004:CASL-Summary]

CoFI Language Design Group.
Casl summary.
In Casl Reference Manual, LNCS 2960 (IFIP Series), part I. Springer, 2004.

 [CoFI:2004:CASL-Syntax]

CoFI Language Design Group.
Casl syntax.
In Casl Reference Manual, LNCS 2960 (IFIP Series), part II. Springer, 2004.

 [CoFI:2004:CASL-RM]

CoFI (The Common Framework Initiative).
Casl Reference Manual.
LNCS 2960 (IFIP Series). Springer, 2004.

 [Coscia:1999:JJT]

E. Coscia and G. Reggio.
JTN: A Java-targeted graphic formal notation for reactive and concurrent systems.
In FASE'99, LNCS 1577, pages 77-97. Springer, 1999.

 [Costa:1997:SAD]

G. Costa and G. Reggio.
Specification of abstract dynamic datatypes: A temporal logic approach.
Theoretical Comput. Sci., 173(2):513-554, 1997.

 [Haveraaen:2000:2TS]

M. Haveraaen.
A 2-tiered software process model for utilizing Casl.
Tech. Rep. 208, Dept. of Informatics, Univ. of Bergen, Oct. 2000.

 [Haveraaen:2000:CSA]

M. Haveraaen.
Case study on algebraic software methodologies for scientific computing.
Scientific Programming, 8(4):261-273, 2000.

 [Haveraaen:1999:FSE]

M. Haveraaen, H. A. Friis, and T. A. Johansen.
Formal software engineering for computational modeling.
Nordic J. Comput., 6(3):241-270, 1999.

 [Hoffman:2000:SAS]

P. Hoffman.
Semantics of architectural specifications.
Master's thesis, Warsaw Univ., 2000.
In Polish.

 [Hoffman:2001:VAS]

P. Hoffman.
Verifying architectural specifications.
In WADT 2001, LNCS 2267, pages 152-175. Springer, 2001.

 [Hoffman:2003:VGC]

P. Hoffman.
Verifying generative Casl architectural specifications.
In WADT 2002, LNCS 2755, pages 233-252. Springer, 2003.

 [Hoffmann:2003:AHO]

K. Hoffmann and T. Mossakowski.
Algebraic higher order nets: Graphs and Petri nets as tokens.
In WADT 2002, LNCS 2755, pages 253-267. Springer, 2003.

 [Hussmann:2000:UC]

H. Hussmann, M. Cerioli, and H. Baumeister.
From UML to Casl (static part).
Tech. Rep. DISI-TR-00-06, Univ. of Genova, 2000.

 [Hussmann:1999:ADT]

H. Hussmann, M. Cerioli, G. Reggio, and F. Tort.
Abstract data types and UML models.
Tech. Rep. DISI-TR-99-15, Univ. of Genova, 1999.

 [Klin:2000:ISS]

B. Klin.
An implementation of static semantics for architectural specifications in Casl.
Master's thesis, Warsaw Univ., 2000.
In Polish.

 [Klin:2001:CAC]

B. Klin, P. Hoffman, A. Tarlecki, L. Schröder, and T. Mossakowski.
Checking amalgamability conditions for Casl architectural specifications.
In MFCS 2001, LNCS 2136, pages 451-463. Springer, 2001.

 [Ledoux:2000:HLO]

F. Ledoux, A. Arnould, P. Le Gall, and Y. Bertrand.
A high-level operation in 3D modeling: A Casl case study.
Tech. Rep. 52, LaMI, Université d'Evry-Val d'Essonne, Evry, 2000.

 [Ledoux:2001:GMC]

F. Ledoux, A. Arnould, P. Le Gall, and Y. Bertrand.
Geometric modeling with Casl.
In WADT 2001, LNCS 2267, pages 176-200. Springer, 2001.

 [Ledoux:2000:FSM]

F. Ledoux, J.-M. Mota, A. Arnould, C. Dubois, P. Le Gall, and Y. Bertrand.
Formal specification for a mathematics-based application domain: Geometric modeling.
Tech. Rep. 51, LaMI, Université d'Evry-Val d'Essonne, Evry, 2000.

 [Ledoux:2001:SFC]

F. Ledoux, J.-M. Mota, A. Arnould, C. Dubois, P. Le Gall, and Y. Bertrand.
Spécifications formelles du chanfreinage.
In AFADL, Nancy, France. ADER/LORIA, 2001.

 [Ledoux:2002:SPF]

F. Ledoux, J.-M. Mota, A. Arnould, C. Dubois, P. Le Gall, and Y. Bertrand.
Spécifications formelles du chanfreinage.
Technique et Science Informatiques, 21(8):1-26, 2002.

 [Machado:2002:UTC]

P. D. L. Machado and D. Sannella.
Unit testing for Casl architectural specifications.
In MFCS 2002, LNCS 2420, pages 506-518. Springer, 2002.

 [Mossakowski:1998:COS]

T. Mossakowski.
Colimits of order-sorted specifications.
In WADT'97, LNCS 1376, pages 316-332. Springer, 1998.

 [Mossakowski:1999:TOC]

T. Mossakowski.
Translating OBJ3 to Casl: The institution level.
In WADT'98, LNCS 1589, pages 198-215. Springer, 1999.

 [Mossakowski:2000:SAI]

T. Mossakowski.
Specification in an arbitrary institution with symbols.
In WADT'99, LNCS 1827, pages 252-270. Springer, 2000.

 [Mossakowski:2000:CST]

T. Mossakowski.
Casl: From semantics to tools.
In TACAS 2000, LNCS 1785, pages 93-108. Springer, 2000.

 [Mossakowski:2002:RCO]

T. Mossakowski.
Relating Casl with other specification languages: The institution level.
Theoretical Comput. Sci., 286:367-475, 2002.

 [Mossakowski:2003:FHS]

T. Mossakowski.
Foundations of heterogeneous specification.
In WADT 2002, LNCS 2755, pages 359-375. Springer, 2003.

 [Mossakowski:2001:EDG]

T. Mossakowski, S. Autexier, and D. Hutter.
Extending development graphs with hiding.
In FASE 2001, LNCS 2029, pages 269-283. Springer, 2001.

 [Mossakowski:2000:SPH]

T. Mossakowski, A. Haxthausen, and B. Krieg-Brückner.
Subsorted partial higher-order logic as an extension of Casl.
In WADT'99, LNCS 1827, pages 126-145. Springer, 2000.

 [Mossakowski:2003:CCA]

T. Mossakowski, A. Haxthausen, D. Sannella, and A. Tarlecki.
Casl, the Common Algebraic Specification Language: Semantics and proof theory.
Comput. and Informatics, 22:285-321, 2003.

 [Mossakowski:2004:CASL-Logic]

T. Mossakowski, P. Hoffman, S. Autexier, and D. Hutter.
Casl logic.
In Casl Reference Manual, LNCS 2960 (IFIP Series), part IV. Springer, 2004.

 [Mossakowski:2001:IIS]

T. Mossakowski and B. Klin.
Institution-independent static analysis for Casl.
In WADT 2001, LNCS 2267, pages 221-237. Springer, 2001.

 [Mossakowski:1998:SSA]

T. Mossakowski, Kolyang, and B. Krieg-Brückner.
Static semantic analysis and theorem proving for Casl.
In WADT'97, LNCS 1376, pages 333-348. Springer, 1998.

 [Mossakowski:2003:ACS]

T. Mossakowski, H. Reichel, M. Roggenbach, and L. Schröder.
Algebraic-coalgebraic specification in CoCasl.
In WADT 2002, LNCS 2755, pages 376-392. Springer, 2003.

 [Mossakowski:2003:CWM]

T. Mossakowski, M. Roggenbach, and L. Schröder.
CoCasl at work - modelling process algebra.
In CMCS'03, ENTCS 82.1. Elsevier, 2003.

 [Mosses:1996:CoFI]

P. D. Mosses.
CoFI: The Common Framework Initiative for algebraic specification.
Bull. EATCS, 59:127-132, June 1996.

 [Mosses:1997:CoFI]

P. D. Mosses.
CoFI: The Common Framework Initiative for algebraic specification and development.
In TAPSOFT'97, LNCS 1214, pages 115-137. Springer, 1997.

 [Mosses:1997:CAS]

P. D. Mosses.
Casl for Asf+Sdf users.
In ASF+SDF'97, Electronic Workshops in Computing. British Comput. Soc., 1997.

 [Mosses:1999:CGT]

P. D. Mosses.
Casl: A guided tour of its design.
In WADT'98, LNCS 1589, pages 216-240. Springer, 1999.

 [Mosses:2000:CAS]

P. D. Mosses.
Casl and Action Semantics.
In AS 2000, BRICS NS-00-6, pages 62-78. Dept. of Comput. Sci., Univ. of Aarhus, 2000.

 [Mosses:2000:CCU]

P. D. Mosses.
Casl for CafeOBJ users.
In CAFE: An Industrial-Strength Algebraic Formal Method, chap. 6, pages 121-144. Elsevier, 2000.

 [Mosses:2001:CoFI]

P. D. Mosses.
CoFI: The common framework initiative for algebraic specification and development.
In Current Trends in TCS, pages 153-163. World Scientific, 2001.

 [Reggio:1999:CLC]

G. Reggio, E. Astesiano, and C. Choppy.
Casl-Ltl: A Casl extension for dynamic reactive systems - summary.
Tech. Rep. DISI-TR-99-34, Univ. of Genova, 1999.

 [Reggio:2003:CLC]

G. Reggio, E. Astesiano, and C. Choppy.
Casl-Ltl: A Casl extension for dynamic reactive systems - version 1.0 - summary.
Tech. Rep. DISI-TR-03-36, Univ. of Genova, 2003.

 [Reggio:1999:MPU]

G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann.
Making precise UML active classes modeled by state charts.
Tech. Rep. DISI-TR-99-14, Univ. of Genova, 1999.

 [Reggio:1999:CFD]

G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann.
A Casl formal definition of UML active classes and associated state machines.
Tech. Rep. DISI-TR-99-16, Univ. of Genova, 1999.
A short version is published in [Reggio:2000:AUA].

 [Reggio:2000:AUA]

G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann.
Analysing UML active classes and associated state machines - A lightweight approach.
In FASE 2000, LNCS 1783, pages 127-146. Springer, 2000.
An extended version is provided in [Reggio:1999:CFD].

 [Reggio:2000:ASU]

G. Reggio, M. Cerioli, and E. Astesiano.
An algebraic semantics of UML supporting its multiview approach.
In AMiLP 2000, TWLT Vol. 16. Univ. of Twente, 2000.

 [Reggio:2001:RSU]

G. Reggio, M. Cerioli, and E. Astesiano.
Towards a rigorous semantics of UML supporting its multiview approach.
In FASE 2001, LNCS 2029, pages 171-186. Springer, 2001.

 [Reggio:2000:CCC]

G. Reggio and L. Repetto.
Casl-Chart: A combination of statecharts and of the algebraic specification language Casl.
In AMAST 2000, LNCS 1816, pages 243-257. Springer, 2000.

 [Reggio:2000:CCS]

G. Reggio and L. Repetto.
Casl-Chart: Syntax and semantics.
Tech. Rep. DISI-TR-00-1, Univ. of Genova, 2000.

 [Roggenbach:2003:CCN]

M. Roggenbach.
CSP-Casl - A new integration of process algebra and algebraic specification.
In AMiLP 2003, TWLT Vol. 21, pages 229-243. Univ. of Twente, 2003.

 [Roggenbach:2004:CASL-Libraries]

M. Roggenbach, T. Mossakowski, and L. Schröder.
Casl libraries.
In Casl Reference Manual, LNCS 2960 (IFIP Series), part V. Springer, 2004.

 [Roggenbach:2001:TTS]

M. Roggenbach and L. Schröder.
Towards trustworthy specifications I: Consistency checks.
In WADT 2001, LNCS 2267, pages 305-327. Springer, 2001.

 [Roggenbach:2000:SRN]

M. Roggenbach, L. Schröder, and T. Mossakowski.
Specifying real numbers in Casl.
In WADT'99, LNCS 1827, pages 146-161. Springer, 2000.

 [Salauen:2002:SAC]

G. Salaün, M. Allemand, and C. Attiogbé.
Specification of an access control system with a formalism combining CCS and Casl.
In FMPPTA'02. IEEE, 2002.

 [Sannella:2000:ASP]

D. Sannella.
Algebraic specification and program development by stepwise refinement.
In LOPSTR'99, LNCS 1817, pages 1-9. Springer, 2000.

 [Sannella:2000:CoFI]

D. Sannella.
The common framework initiative for algebraic specification and development of software.
In PSI'99, LNCS 1755, pages 1-9. Springer, 2000.

 [Sannella:2001:CoFI-RP]

D. Sannella.
The common framework initiative for algebraic specification and development of software: Recent progress.
In WADT 2001, LNCS 2267, pages 328-343. Springer, 2001.

 [Schroeder:2003:CCP]

L. Schröder.
Classifying categories for partial equational logic.
In CTCS'02, ENTCS 69. Elsevier, 2003.

 [Schroeder:2003:HMP]

L. Schröder.
Henkin models of the partial \-calculus.
In CSL 2003, LNCS 2803, pages 498-512. Springer, 2003.

 [Schroeder:????:MID]

L. Schröder and T. Mossakowski.
Monad-independent dynamic logic in HasCasl.
J. Logic and Comput.
To appear.

 [Schroeder:2002:HIS]

L. Schröder and T. Mossakowski.
HasCasl: Towards integrated specification and development of Haskell programs.
In AMAST 2002, LNCS 2422, pages 99-116. Springer, 2002.

 [Schroeder:2003:MID]

L. Schröder and T. Mossakowski.
Monad-independent dynamic logic in HasCasl.
In WADT 2002, LNCS 2755, pages 425-441. Springer, 2003.

 [Schroeder:2003:MIH]

L. Schröder and T. Mossakowski.
Monad-independent Hoare logic in HasCasl.
In FASE 2003, LNCS 2621, pages 261-277. Springer, 2003.

 [Schroeder:2001:ACE]

L. Schröder, T. Mossakowski, and A. Tarlecki.
Amalgamation in Casl via enriched signatures.
In ICALP 2001, LNCS 2076, pages 993-1004. Springer, 2001.

 [Schroeder:2001:SAS]

L. Schröder, T. Mossakowski, A. Tarlecki, P. Hoffman, and B. Klin.
Semantics of architectural specifications in Casl.
In FASE 2001, LNCS 2029, pages 253-268. Springer, 2001.

 [Schroeder:????:ASC]

L. Schröder, T. Mossakowski, A. Tarlecki, B. Klin, and P. Hoffman.
Amalgamation in the semantics of Casl.
Theoretical Comput. Sci.
To appear.

 [Tarlecki:2003:AST]

A. Tarlecki.
Abstract specification theory: An overview.
In Models, Algebras and Logic of Engineering Software, NATO Science Series: Comput. & Sys. Sci. Vol. 191, pages 43-79. IOS Press, 2003.