WorldCat Identities

Choppy, C. (Christine)

Overview
Works: 47 works in 108 publications in 2 languages and 1,205 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Thesis advisor, Opponent
Classifications: QA76.76.D47, 005.1
Publication Timeline
.
Most widely held works by C Choppy
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 by M Bidoit( Book )

13 editions published between 1992 and 1993 in English and Undetermined and held by 258 WorldCat member libraries worldwide

"The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process."--PUBLISHER'S WEBSITE
Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers by M Wirsing( Book )

9 editions published in 2000 in English and German and held by 228 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods
Recent trends in algebraic development techniques : 14th international workshop; selected papers by WADT '99( Book )

3 editions published in 2000 in English and held by 25 WorldCat member libraries worldwide

Complexity analysis of term rewriting systems by C Choppy( Book )

5 editions published in 1988 in English and held by 10 WorldCat member libraries worldwide

We obtain results that allow a user of our methods to obtain exact expressions and, more usefully, asymptotic approximations of the cost (average or global), without having to explicitely [sic] manipulate series. Instead, one may directly apply our results, that depend only on 'geometrical' characteristics of the system : number of constructors in the left handside [sic], number of occurrences of a derived operator in the right handside [sic], etc. The amount of side computations is extremely reduced."
Recent trends in data type specification : selected papers( Book )

1 edition published in 1993 in English and held by 6 WorldCat member libraries worldwide

Abstract implementations and correctness proofs by Gilles Bernot( Book )

2 editions published in 1985 in English and held by 5 WorldCat member libraries worldwide

Foundations of computer software : future trends and techniques for development ; revised selected papers( Book )

2 editions published in 2010 in English and held by 5 WorldCat member libraries worldwide

Algebraic semantics of exception handling by Gilles Bernot( Book )

2 editions published in 1986 in English and held by 5 WorldCat member libraries worldwide

PETRIREVE : Petri net transformations and proofs with rewriting systems by C Choppy( Book )

2 editions published in 1986 in English and held by 5 WorldCat member libraries worldwide

Abstract rewriting with concrete operators by S Kaplan( Book )

2 editions published in 1989 in English and held by 4 WorldCat member libraries worldwide

Asspegique : an integrated environment for algebraic specifications by M Bidoit( Book )

3 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

Rapid prototyping with algebraic specifications : a case study by C Choppy( Book )

2 editions published in 1993 in English and held by 4 WorldCat member libraries worldwide

Abstract: "The issue of the adequacy of a formal specification with the problem to be solved (or the system to be described) is addressed here through the prototyping approach with algebraic specifications. The case-study of a router is used to show how prototyping techniques for algebraic specifications such as rewriting or resolution can help in checking the various behaviours/properties that are expected. It is also shown how these prototyping techniques can help in 'debugging' the specification."
Integrating ASSPEGIQUE and LP by C Choppy( Book )

2 editions published in 1992 in English and held by 4 WorldCat member libraries worldwide

Abstract: "In this paper, we present various issues w.r.t. proving properties of PLUSS specifications with LP, and building an integrated interface between ASSPEGIQUE (the environment that supports PLUSS) and LP. We investigate how general properties can be proved using an adequate presentation of the specifications that may be understood by LP. We address the issue of interfacing the two environments in a way that would be as 'transparent' to the user as possible."
ASSPEGIQUE user's manual by C Choppy( Book )

2 editions published in 1988 in English and held by 4 WorldCat member libraries worldwide

The reader is supposed to be familiar with basic notions of algebraic specifications."
Is my specification "correct"? : a study with pluss specifications by C Choppy( Book )

2 editions published in 1993 in English and held by 4 WorldCat member libraries worldwide

Recent Trends in Data Type Specification by M Bidoit( )

2 editions published in 1993 in English and held by 0 WorldCat member libraries worldwide

Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT 99, Chteau de Bonas, September 15-18, 1999 Selected Papers( )

1 edition published in 2000 in English and held by 0 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999. The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications
Foundations of computer software future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-24, 2008 : revised selected papers by Monterey Workshop( )

1 edition published in 2010 in English and held by 0 WorldCat member libraries worldwide

This book presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development. The 13 revised full papers presented at the workshop explore, how the foundations and development techniques of computer software could be adapted to address such a challenge. Material presented in the papers spans the whole software life cycle, starting from specification and analysis, design and the choice of architectures, large scale, real-world software development, code generation and configuration, deployment, and evolution
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.53 for Foundation ... to 0.95 for Recent tre ...)

Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papersRecent trends in algebraic development techniques : 14th international workshop; selected papersRecent trends in algebraic development techniques : 14th international workshop, WADT '99, Château de Bonas, France, September 15 - 18, 1999 ; selected papers
Alternative Names
Choppy, C.

Choppy, C. LRI CNRS URA

Choppy, Christine

Languages
English (65)

German (2)

Covers
Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papersFoundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papersRecent trends in algebraic development techniques : 14th international workshop; selected papersRecent trends in algebraic development techniques : 14th international workshop, WADT '99, Château de Bonas, France, September 15 - 18, 1999 ; selected papersRecent trends in data type specification : selected papersFoundations of computer software : future trends and techniques for development ; revised selected papersRecent Trends in Data Type Specification