CASL user manual : :: SCD d'Orléans

CASL user manual : introduction to using the Common Algebraic Specification Language

CASL user manual : introduction to using the Common Algebraic Specification Language

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is alread...

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Bidoit, Michel, 1957-, Mosses, Peter D. (Yazar)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 2900
Konular:	Génie logiciel Informatique Langages de programmation Logiciels > Développement Langages algébriques
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• CASL user manual, introduction to using the Common Algebraic Specification Language, Michel Bidoit, Peter D. Mosses, Berlin, Springer, 2004, 1 vol. (XIII-240 p.), Lecture notes in computer science, 3-540-20766-X • CASL User Manual, Texte imprimé, 9783662206577

Benzer Materyaller

CASL reference manual : the complete documentation of the Common Algebraic Specification Language
Yazar:: Mosses, Peter D.

Ada 95 reference manual : language and standard libraries
Yazar:: Taft, S. Tucker, 1953-

Algebraic methods : theory, tools and applications

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
Yazar:: Taft, S. Tucker, 1953-

KORSO : methods, languages, and tools for the construction of correct software : final report
Yazar:: Broy, Manfred, 1949-

Algebraic methods II : theory, tools and applications

Modular specification and verification of object-oriented programs
Yazar:: Müller, Peter, 1961-...., informaticien

Theoretical and practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 : proceedings

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Yazar:: Müller-Olm, Markus, 19..-

Model checking software : 8th International SPIN Workshop Toronto, Canada, May 19 20, 2001 : proceedings

Algebraic specification techniques in object oriented programming environments
Yazar:: Breu, Ruth, 19..-

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers

Mathematical foundations of software development : proceedings of the International joint conference on theory and practice of software development (TAPSOFT), Berlin, March 25-29, 1985 Colloquium on trees in algebra and programming (CAAP' 85)

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
Yazar:: Lengauer, Christian

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

Extreme programming and agile methods - XP/Agile Universe 2002 : second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4 7, 2002 : proceedings

FME 2002 : formal methods : getting IT right : [11th] International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 24, 2002 : proceedings

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 28, 1994 : proceedings

Building tightly integrated software development environments : the IPSEN approach
Yazar:: Nagl, Manfred, 1944-

FME '96 : industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 22, 1996 : proceedings

Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report
Yazar:: Ehrig, Hartmut, 1944-

Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, Genova, Italy, May 25-29, 2003 : proceedings

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
Yazar:: Llamosí, Albert

Ada 95 rationale : the language, tha standard libraries
Yazar:: Barnes, John Gilbert Presslie, 1937-

"UML" 2004 : the unified modeling language : modeling languages and applications : 7th international conference, Lisbon, Portugal, october 11-15, 2004 : proceedings

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types
Yazar:: Sherman, Mark Steven, 19..-

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
Yazar:: Parisi-Presicce, Francesco

TAPSOFT'93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

UML 2001 - The Unified Modeling Language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Formal syntax and semantics of Java
Yazar:: Alves-Foss, Jim, 1964-

UML 2002 The Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 October 4, 2002 : proceedings

Specification and compositional verification of real-time systems
Yazar:: Hooman, Jozef, 19..-

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales