WorldCat Identities

Choppy, C. (Christine)

Overview
Works: 47 works in 136 publications in 3 languages and 1,523 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, htt, Thesis advisor, Other, Opponent
Classifications: QA76.9.A23, 005.1
Publication Timeline
.
Most widely held works by C Choppy
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( )

18 editions published in 2010 in English and German and held by 522 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 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( )

20 editions published between 1992 and 1993 in English and held by 466 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 : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers by WADT '99( )

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

2 editions published in 2000 in English and held by 45 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

Abstract: "In this paper we address the question of the quantitative evaluation of term rewriting systems. We suppose that these systems are canonical, and correspond to algebraic specifications that define a family of so-called derived operators. We then observe the quantity : C = cost(f(t1 ..., tn)) where f is a derived operator, the ti's are terms in normal form, and cost(u) stands for the number of rewrite steps between u and its normal form (for a given evaluation strategy). C is considered in function of /t1/ + ... + /tn/, ti ..., tn ranging over the terms in normal form, and /u/ denoting the number of symbols in the term u (its size). We are interested in particular by the average behaviour of C w.r.t the previous sum of sizes. We systematically study these quantities via the introduction of formal series, using techniques developped [sic] for the analysis of the complexity of algorithms (enumerative series, asymptotical techniques of complex analysis, etc.)
Reconnaissance de comportements complexes par traitement en ligne de flux d'évènements by Ariane Piel( Book )

4 editions published in 2014 in French and held by 5 WorldCat member libraries worldwide

L'analyse de flux d'évènements pour reconnaître des comportements complexes prédéfinis (Complex Event Processing - CEP) permet d'interpréter et de réagir à des quantités importantes de données ne pouvant être appréhendées telles quelles. Dans cette thèse, nous fournissons le cadre théorique général d'un CEP en adoptant une approche purement formelle qui assure une possibilité de vérification et d'analyse du processus de reconnaissance. Nous définissons un langage, le langage des chroniques, permettant de décrire les comportements complexes à reconnaître. Nous formalisons la notion de reconnaissance de chronique à l'aide d'une sémantique ensembliste fondée sur une représentation arborescente des reconnaissances. Dans une visée applicative, nous développons ensuite deux modèles du processus de reconnaissance. Le premier est réalisé avec le formalisme des réseaux de Petri colorés et permet de valider les principes de reconnaissance en faisant notamment ressortir les problèmes de concurrence et de modularité. Le second implémente directement le formalisme mathématique sous la forme d'une bibliothèque C++ appelée Chronicle Recognition Library (CRL) et disponible en open source. Nous tirons parti de cette implémentation pour traiter deux cas d'applications liés à l'insertion des drones dans l'espace aérien. La première vise à surveiller la cohérence d'un système de drones insérés dans le trafic aérien, en cas de pannes de liens de communication. Notre application permet d'une part de vérifier la cohérence des procédures actuellement mises en place en cas de pannes; et d'autre part de compléter ces procédures par des alarmes dans les situations inévitables causées par des erreurs humaines. La seconde application surveille le bon respect des procédures de sécurité d'un drone partant en mission et traversant diverses zones, contrôlées ou non, de l'espace aérien
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

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."
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

Abstract: "In the context of algebraic specifications written in Pluss, this paper investigates various issues raised by the question: 'Is my specification correct?'. Up to now the only ways to check the adequacy of a specification with respect to the problem to be solved are through running a prototype on appropriate examples, or through the use of the specification to prove consequent (expected) properties. Before this problem may be fully addressed, issues regarding the specification consistency and the correctness of the prototype w.r.t. the specification must be studied. In this paper, various issues concerning checking consistency and proving properties of PLUSS specifications are presented. It is investigated how general properties can be proved using an appropriate presentation of the specification that may be understood by a prototyping tool or a theorem proving tool."
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

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

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

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

Rigorous and formal approaches for modelling and designing service systems by Khanh Dung Tran( )

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

L'émergence de l'architecture orientée services (SOA) permet que les fonctionnalités d'une application soient fournies et consommées comme des ensembles de services, et qu'une organisation ou un système de systèmes travaille de manière cohérente. SOA est associée à une variété d'approches et de technologies et est une solution pour construire des systèmes de services.Nous proposons une nouvelle méthode pour la modélisation et la conception de systèmes orientés services avec UML, ainsi qu'avec les notations de spécification formelle et visuelles pratiques. Pour l'implémentation, notre premier effort consiste à définir un mécanisme pour la définition et la modélisation d'un système et de ses processus, puis nous développons une méthode formelle pour modéliser les services SOA et les systèmes de manière non seulement visuelle mais aussi formelle. Pour la conception, nous présentons une méthode qui respecte l'architecture dirigée par les modèles et aboutit à transformer les modèles pour concevoir un système de services de haute qualité. Notre méthode est basée sur le modèle de transformation, dans laquelle des modèles de transformation sont définis pour transformer un modèle d'activité en un modèle de conception d'un système de services. En conclusion, nous avons proposé: deux méthodes pour modéliser les systèmes de services (l'une est basée sur une notation non formelle (UML), l'autre sur une notation formelle (Casl4Soa)); une méthode pour modéliser d'un système et de ses processus; une méthode pour placer un système dans un modèle d'activité; un ensemble de modèles pour transformer un modèle de système en un modèle de spécification d'un système de services
Abstract implementations and correctness proofs by Gilles Bernot( Book )

1 edition published in 1985 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."
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

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Foundation ... to 0.00 for Foundation ...)

WorldCat IdentitiesRelated Identities
Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers
Covers
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 papersRecent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Alternative Names
Choppy, C.

Choppy, Christine

Languages
English (97)

French (4)

German (3)