SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 286, Issue 2, 2002, Pages 153-196

CASL: The common algebraic specification language

(7) Astesiano, Egidio a Bidoit, Michel b Kirchner, Hélène c Krieg Brückner, Bernd d Mosses, Peter D e Sannella, Donald f Tarlecki, Andrzej g,h

a UNIVERSITY OF GENOA (Italy)

b CNRS (France)

c LORIA (France)

d UNIVERSITY OF BREMEN (Germany)

e AARHUS UNIVERSITY (Denmark)

f UNIVERSITY OF EDINBURGH (United Kingdom)

g UNIVERSITY OF WARSAW (Poland)

h INSTITUTE OF COMPUTER SCIENCE (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; FORMAL LANGUAGES; FUNCTIONS; LOGIC PROGRAMMING; SORTING; STRUCTURED PROGRAMMING;

COMMON ALGEBRAIC SPECIFICATION LANGUAGES (CASL);

SOFTWARE PROTOTYPING;

EID: 0037125845 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00368-1 Document Type: Conference Paper

Times cited : (150)

References (76)

1
- 0031193084
- A formal basis for architectural connection
- (1997) ACM Trans. Software Eng. Methodol. , vol.6 , Issue.3 , pp. 213-249
- Allen, R.¹ Garlan, D.²

2
- 0003943249
- Ph.D. Thesis, Dept. of Computer Science, Univ. of Edinburgh
- (1997) Type systems for modular programs and specifications
- Aspinall, D.¹

3
- 0012754763
- Algebraic foundations of system specification
- Springer, Berlin
- (1999) IFIP State-of-the-Art Reports
- Astesiano, E.¹ Kreowski, H.-J.² Krieg-Brückner, B.³

4
- 0005249016
- UML as heterogeneous multiview notation: Strategies for a formal foundation
- Technical report, Universidade Nova de Lisboa
- (1998) Proc. OOPSLA'98 Workshop 'Formalizing UML. Why? How?
- Astesiano, E.¹ Reggio, G.²

5
- 84944055205
- INKA 5.0: A logic voyager
- Proc. 16th Internat. Conf. on Automated Deduction, Trento, Springer, Berlin, (for the INKA system)
- (1999) Lecture Notes in Artificial Intelligence , vol.1632 , pp. 207-211
- Autexier, S.¹ Hutter, D.² Mantel, H.³ Schairer, A.⁴

6
- 84947270342
- Towards an evolutionary formal software development using CASL
- C. Choppy, D. Bert, P. Mosses (Eds.), Recent Developments in Algebraic Development Techniques, 14th Internat. Workshop, WADT'99, Chateau de Bonas, France, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1827 , pp. 73-88
- Autexier, S.¹ Hutter, D.² Mantel, H.³ Schairer, A.⁴

7
- 0032115882
- The discrete time ToolBus: A software coordination architecture
- (1998) Sci. Comput. Programming , vol.31 , Issue.2-3 , pp. 205-229
- Bergstra, J.¹ Knilt, P.²

8
- 0003333073
- Proof systems for structured specifications and their refinements
- E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Chap. 11, IFIP State-of-the-Art Reports, Springer, Berlin
- (1999) Algebraic Foundations of System Specification
- Bidoit, M.¹ Cengarle, M.V.² Hennicker, R.³

9
- 0004662137
- Algebraic system specification and development a survey and annotated bibliography
- Springer, Berlin
- (1991) Lecture Notes in Computer Science , vol.501
- Bidoit, M.¹ Kreowski, H.-J.² Lescanne, P.³ Orejas, F.⁴ Sannella, D.⁵

10
- 0005293606
- Behavioural encapsulation
- Note L-28, Notes and Documents
- (1996) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives
- Bidoit, M.¹ Sannella, D.² Tarlecki, A.³

11
- 84957676091
- Architectural specifications in CASL
- Proc. 7th Internat. Conf. on Algebraic Methodology and Software Technology (AMAST'98), Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1548 , pp. 341-357
- Bidoit, M.¹ Sannella, D.² Tarlecki, A.³

12
- 0005334562
- Putting theories together to make specifications
- Cambridge, USA
- (1977) Proc. 5th Internat. Joint Conf. on Artificial Intelligence , pp. 1045-1058
- Burstall, R.¹ Goguen, J.²

13
- 0005324480
- Algebraic system specification and development: Survey and annotated bibliography, 2nd ed.
- SBN 3-8265-4067-0, Shaker, Aachen
- (1997) Monographs of the Bremen Institute of Safe Systems , vol.3
- Cerioli, M.¹ Gogolla, M.² Kirchner, H.³ Krieg-Brückner, B.⁴ Qian, Z.⁵ Wolf, M.⁶

14
- 84947940477
- Permissive subsorted partial logic in CASL
- M. Johnson (Ed.), Proc. 6th Internat. Conf. on Algebraic Methodology Software Technology (AMAST'97), Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1349 , pp. 91-107
- Cerioli, M.¹ Haxthausen, A.² Krieg-Brückner, B.³ Mossakowski, T.⁴

15
- 0002451572
- From total equational to partial first-order logic
- E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Chap. 3, IFIP State-of-the-Art Reports, Springer, Berlin
- (1999) Algebraic Foundations of System Specification
- Cerioli, M.¹ Mossakowski, T.² Reichel, H.³

16
- 84958597143
- Revised ACT ONE: Categorical constructions for an algebraic specification language
- Proc. Workshop on Categorical Methods in Computer Science with Aspects from Topology, Springer, Berlin
- (1989) Lecture Notes in Computer Science , vol.393 , pp. 124-141
- Claßen, I.¹

17
- 0005338384
- Algebraic specification techniques and tools for software development
- World Scientific, Singapore
- (1993) AMAST Series in Computing
- Claßen, I.¹ Ehrig, H.² Wolz, D.³

18
- 84855635476
- Notes and Documents
- The Common Framework Initiative for algebraic specification and development, electronic archives

19
- 0005250943
- CASL - The CoFI algebraic specification language - Design proposal
- Documents/CASL/Proposal, Notes and Documents, May
- (1997) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives

20
- 0005324482
- Response to the referee report on CASL
- Document/CASL/RefereeResponse, Notes and Documents, August
- (1997) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives

21
- 0005250944
- CASL - The CoFI algebraic specification language - Summary (version 1.0)
- Document/CASL/Summary, Notes and Documents, October, (adjusted July)
- (1998) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives

22
- 0005368721
- Pattern for proposals of CASL extensions for reactive systems, reactive/pattern
- Notes and Documents
- (1999) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives

23
- 0005250203
- CASL - The CoFI algebraic specification language (version 0.97) - Semantics
- Note S-6, Notes and Documents, July
- (1997) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives

24
- 0005250393
- CASL - The CoFI algebraic specification language - Semantics (version 1.0)
- Note S-9, Notes and Documents
- (2000) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives

25
- 0005250394
- The CoFI Tools Group Home Page

26
- 0005249232
- Referee report on CASL
- IFIP WG 1.3, Document/CASL/RefereeReport, Notes and Documents, June
- (1997) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives

27
- 0005357422
- Ph. D. Thesis, Report 88/26, Technische Universität Berlin
- (1988) Pragmatics, concepts, syntax, semantics, and correctness notions of ACT TWO: An algebraic module specification and interconnection language
- Fey, W.¹

28
- 0005250538
- GNU project

29
- 0005300450
- submitted for publication
- (1998) Stretching first order equational logic: Proofs with partiality, subtypes and retracts
- Goguen, J.¹

30
- 0026444654
- Institutions abstract model theory for specification and programming
- (1992) J. Assoc. Comput. Mach. , vol.39 , pp. 95-146
- Goguen, J.¹ Burstall, R.²

31
- 0027116146
- Order-sorted algebra iequational deduction for multiple inheritance, overloading, exceptions and partial operations
- (1992) Theoret. Comput. Sci. , vol.105 , pp. 217-273
- Goguen, J.¹ Meseguer, J.²

32
- 0003347217
- Introducing OBJ
- J. Goguen, G. Malcolm (Eds.), Kluwer Academic Publishers, Dordrecht
- (2000) Software Engineering with OBJ: Algebraic Specification in Action
- Goguen, J.¹ Winkler, T.² Meseguer, J.³ Futatsugi, K.⁴ Jouannaud, J.-P.⁵

33
- 0022678003
- Report on the larch shared language
- (1986) Sci. Comput. Programming , vol.6 , pp. 103-134
- Guttag, J.¹ Horning, J.²

34
- 0003714504
- Springer, Berlin
- (1993) Larch: Languages and Tools for Formal Specification
- Guttag, J.¹ Horning, J.²

35
- 4244031240
- Technical Report, DISI - Università di Genova, DISI-TR-99-15
- (1999) Abstract data types and UML models
- Hußmann, H.¹ Cerioli, M.² Reggio, G.³ Tort, F.⁴

36
- 0004176640
- Prentice-Hall, Englewood Cliffs, NJ
- (1986) Systematic Software Development using VDM
- Jones, C.B.¹

37
- 0005249024
- Interoperability of CASL, tools using CORBA
- Note T-5, Notes and Documents, October
- (1997) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives
- Karlsen, E.W.¹

38
- 0005324486
- Executing CASL equational specifications with the ELAN rewrite engine
- Note T-9, Notes and Documents, October
- (1999) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives
- Kirchner, H.¹ Ringeissen, C.²

39
- 84949528609
- The UniForM workbench, a universal development environment for formal methods
- J. M. Wing, J. Woodcock, J. Davies (Eds.), Proc. on Formal Methods, FM'99, Vol. II, Springer, Berlin, (for the UniForM Workbench tools)
- (1999) Lecture Notes in Computer Science , vol.1709 , pp. 1186-1205
- Krieg-Brückner, B.¹ Peleska, J.² Olderog, E.-R.³ Baer, A.⁴

40
- 84958606185
- Seven years of COMPASS
- 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1130 , pp. 1-13
- Krieg-Brückner, B.¹

41
- 0003401421
- Wiley, New York
- (1996) Specification of Abstract Data Types
- Loeckx, J.¹ Ehrich, H.-D.² Wolf, M.³

42
- 77957664229
- General logics
- H.-D. Ebbinghaus, J. Fernández-Prida, M. Garrido, D. Lascar, M. Rodríguez Artalejo (Eds.), North-Holland, Amsterdam
- (1989) Logic Colloquium '87 , pp. 275-329
- Meseguer, J.¹

43
- 84947797082
- A compiler for rewrite programs in associative-commutative theories
- C. Palamidessi, H. Glaser, K. Meinke (Eds.), Principles of Declarative Programming, Report LORIA 98-R-226, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1490 , pp. 230-249
- Moreau, P.-E.¹ Kirchner, H.²

44
- 22644452728
- Translating OBJ3 to CASL: The institution level
- Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'98, Lisbon, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1589 , pp. 198-214
- Mossakowski, T.¹

45
- 0005297577
- Sublanguages of CASL
- Note L-7, Notes and Documents, December (Update in [49])
- (1997) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives
- Mossakowski, T.¹

46
- 0005370319
- Two 'functional programming' sublanguages of CASL
- Note L-9, Notes and Documents, March
- (1998) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives
- Mossakowski, T.¹

47
- 84893126016
- Specifications in an arbitrary institution with symbols
- C. Choppy, D. Bert, P. Mosses, (Eds.), Recent Developments in Algebraic Development Techniques, 14th Internat. Workshop, WADT'99, Chateau de Bonas, France, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1827 , pp. 252-270
- Mossakowski, T.¹

48
- 23044520395
- CASL: From semantics to tools
- S. Graf (Eds.), TACAS 2000, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1785 , pp. 93-108
- Mossakowski, T.¹

49
- 0037125846
- Relating CASL with other specification languages: The institution level
- (2002) Theoret. Comput. Sci. , vol.286 , pp. 367-475
- Mossakowski, T.¹

50
- 84947203298
- Subsorted partial higher-order logic as an extension of CASL
- C. Choppy, D. Bert, P. Mosses (Eds.), Recent Developments in Algebraic Development Techniques, 14th Internat. Workshop, WADT'99, Chateau de Bonas, France, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1827 , pp. 126-145
- Mossakowski, T.¹ Haxthausen, A.² Krieg-Brückner, B.³

51
- 84943231002
- Static semantic analysis and theorem proving for CASL
- 12th Workshop on Algebraic Development Techniques, Tarquinia, Springer, Berlin, (for the Bremen CoFI Tools)
- (1998) Lecture Notes in Computer Science , vol.1376 , pp. 333-348
- Mossakowski, T.¹ Kolyang² Krieg-Brückner, B.³

52
- 0005368723
- The datatypes REAL and COMPLEX in CASL
- Note M-7, electronic archives, Notes and Documents
- (1999) CoFI, The Common Framework Initiative for algebraic specification and development
- Roggenbach, M.¹ Mossakowski, T.²

53
- 0005304581
- CoFI: The common framework initiative for algebraic specification
- (1996) Bull. EATCS , vol.59 , pp. 127-132
- Mosses, P.D.¹

54
- 0005261446
- CASL for ASF+SDF users
- ASF+SDF'97, 2nd Internat. Workshop on the Theory and Practice of Algebraic Specifications, Springer, Berlin
- (1997) Electronic Workshops in Computing , vol.ASFSDF-97
- Mosses, P.D.¹

55
- 84956998347
- CoFI: The common framework initiative for algebraic specification and development
- TAPSOFT '97: Theory and Practice of Software Development, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1214 , pp. 115-137
- Mosses, P.D.¹

56
- 0005353690
- Formatting CASL specifications using latex
- Note C-2, Notes and Documents, June
- (1998) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives
- Mosses, P.D.¹

57
- 0002575991
- CASL for CafeOBJ users
- K. Futatsugi, A.T. Nakagawa, T. Tamai (Eds.), Elsevier, Amsterdam
- (2000) CAFE: An Industrial-Strength Algebraic Formal Method , pp. 121-144
- Mosses, P.D.¹

58
- 0003729586
- Oxford University Press, Oxford
- (1990) Programming in Martin-Löf's Type Theory: An Introduction
- Nordström, B.¹ Petersson, K.² Smith, J.³

59
- 0003724888
- Oxford, Springer, Berlin
- (1994) Isabelle: A Generic Theorem Prover , vol.828
- Paulson, L.¹

60
- 0004031959
- The KIV-approach to software verification
- KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, Springer, Berlin, (for the KIV system)
- (1995) Lecture Notes in Computer Science , vol.1009 , pp. 339-368
- Reif, W.¹

61
- 0005361295
- Technical Report, DISI - Università di Genova, DISI-TR-99-14
- (1999) Making precise UML active classes modeled by state charts
- Reggio, G.¹ Astesiano, E.² Choppy, C.³ Hußmann, H.⁴

62
- 84893091392
- Specifying real numbers in CASL
- C. Choppy, D. Bert, P. Mosses (Eds.), Recent Developments in Algebraic Development Techniques, 14th Internat. Workshop, WADT'99, Chateau de Bonas, France, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1827 , pp. 146-161
- Roggenbach, M.¹ Schröder, L.² Mossakowski, T.³

63
- 0005353691
- Rules of methodology
- Note M-6, Notes and Documents
- (2000) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives
- Roggenbach, M.¹ Mossakowski, T.²

64
- 0005250539
- Basic datatypes in CASL
- Note L-12, Notes and Documents, March
- (2000) CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives
- Roggenbach, M.¹ Mossakowski, T.²

65
- 21144464397
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- (1992) Acta Inform. , vol.29 , pp. 689-736
- Sannella, D.¹ Sokołowski, S.² Tarlecki, A.³

66
- 84976747698
- Extended ML: An institution-independent framework for formal program development
- Proc. Internat. Workshop on Category Theory and Computer Programming, Guildford, Springer, Berlin
- (1986) Lecture Notes in Computer Science , vol.240 , pp. 364-389
- Sannella, D.¹ Tarlecki, A.²

67
- 0023963235
- Specifications in an arbitrary institution
- (1988) Inform. and Comput. , vol.76 , pp. 165-210
- Sannella, D.¹ Tarlecki, A.²

68
- 0000204310
- Essential concepts of algebraic specification and program development
- (1997) Formal Aspects of Computing , vol.9 , pp. 229-269
- Sannella, D.¹ Tarlecki, A.²

69
- 0005250398
- Cambridge University Press, to appear
- Foundations of Algebraic Specifications and Formal Program Development
- Sannella, D.¹ Tarlecki, A.²

70
- 85034227973
- A Kernel language for algebraic specification and implementation
- Proc. 1983 Internat. Conf. on Foundations of Computation Theory, Borgholm, Springer, Berlin
- (1983) Lecture Notes in Computer Science , vol.158 , pp. 413-427
- Sannella, D.¹ Wirsing, M.²

71
- 84976670254
- Data type specification: Parameterization and the power of specification techniques
- (1982) ACM TOPLAS , vol.4 , pp. 711-732
- Thatcher, J.W.¹ Wagner, E.G.² Wright, J.B.³

72
- 0005249028
- The Cachan Parser for CASL
- Tronche, C.¹

73
- 0005361297
- The Amsterdam Parser for CASL
- Van den Brand, M.G.J.¹

74
- 0033876837
- Wiley, New York, (for the ATerm library)
- (2000) Efficient annotated terms, Software-Practice and Experience , vol.30 , pp. 259-291
- Van den Brand, M.G.J.¹ De Jong, H.A.² Klint, P.³ Olivier, P.A.⁴

75
- 18944374231
- Development of parsing tools for CASL using generic language technology
- C. Choppy, D. Bert, P. Mosses (Eds.), Recent Developments in Algebraic Development Techniques, 14th Internat. Workshop, WADT'99, Chateau de Bonas, France, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1827 , pp. 89-105
- Van den Brand, M.G.J.¹ Scheerder, J.²

76
- 0000382802
- Algebraic specification
- J. van Leeuwen (Ed.), North-Holland, Amsterdam
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 675-788
- Wirsing, M.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.