WorldCat Identities

Choppy, C. (Christine)

Overview
Works: 38 works in 119 publications in 2 languages and 1,327 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Thesis advisor, Opponent, Other
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 )

19 editions published between 1992 and 1993 in English and held by 257 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 : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers by M Wirsing( Book )

14 editions published in 2000 in English and German and held by 195 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
Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers by C Choppy( Book )

15 editions published in 2010 in English and held by 45 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
Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers by Didier Bert( )

3 editions published in 2000 in English and held by 37 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."
Algebraic semantics of exception handling by Gilles Bernot( Book )

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

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

3 editions published in 1993 in English and held by 5 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."
Is my specification "correct"? : a study with pluss specifications by C Choppy( Book )

3 editions published in 1993 in English and held by 5 WorldCat member libraries worldwide

About the "correctness" and "adequacy" of Pluss specifications : Version révisée du Rapport no 817 by C Choppy( Book )

3 editions published in 1993 in English and held by 5 WorldCat member libraries worldwide

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

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

Interchange format for inter-operability of tools and translation by M Bidoit( Book )

3 editions published in 1996 in English and held by 5 WorldCat member libraries worldwide

Abstract implementations and correctness proofs by G Bernot( Book )

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

ASSPEGIQUE user's manual by C Choppy( Book )

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

Abstract: "ASSPEGIQUE is an integrated environment for the development of large algebraic specifications and the management of a specification data base. The aim of the ASSPEGIQUE specification environment is to provide the user with a 'specification laboratory' where a large range of various tools supporting the use of algebraic specifications are closely integrated. The main aspects addressed in the design of ASSPEGIQUE are the following : dealing with modularity and reusability, providing ease of use, flexibility of the environment and user-friendly interfaces. The ASSPEGIQUE specification environment supports (a subset of) the specifications language PLUSS
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

The design and specification of the ASSPEGIQUE database by M Bidoit( Book )

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

Formal specifications, prototyping and integration tests = Specifications formelles, prototypage et tests d'integration by C Choppy( Book )

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

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."
Abstract rewriting with concrete operators by S Kaplan( Book )

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

Abstracts data types with exception handling : an initial approach based on a distinction between exceptions and errors by Gilles Bernot( Book )

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

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers by José Luiz Fiadeiro( )

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

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004. The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are 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 foundations
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.53 for Foundation ... to 0.91 for Recent Tre ...)

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
Alternative Names
Choppy, C.

Choppy, C. LRI CNRS URA

Choppy, Christine

Languages
English (91)

German (2)

Covers
Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : 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, WADT '99, Château de Bonas, September 15-18, 1999 Selected PapersRecent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers