BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Spain
1 × Switzerland
2 × Germany
2 × USA
3 × Italy
6 × France
Collaborated with:
G.Reggio S.Kaplan M.Bidoit P.Poizat J.Royer C.Johnen O.Bertrand P.Carle L.Petrucci F.Capy M.Soria G.Bernot G.Guiho E.Astesiano H.Hußmann A.Alebrahim I.Côté M.Heisel D.Hatebur S.Liu Y.Liu É.André J.Sun B.Wadhwa J.S.Dong
Talks about:
specif (6) approach (4) formal (4) uml (4) algebra (3) system (3) semant (3) rewrit (3) machin (3) integr (3)

Person: Christine Choppy

DBLP DBLP: Choppy:Christine

Contributed to:

IFM 20132013
SAC 20122012
SAC 20102010
Ada-Europe 20092009
SAC 20092009
Ada-Europe 20082008
FASE 20042004
FASE 20012001
FASE 20002000
World Congress on Formal Methods 19991999
ICSE 19901990
RTA 19891989
ESEC 19871987
RTA 19871987
ESOP 19861986
RTA 19851985
TAPSOFT, Vol.1: CAAP 19851985
TAPSOFT, Vol.2: CSE 19851985

Wrote 19 papers:

IFM-2013-LiuLACSWD #semantics #state machine #uml
A Formal Semantics for Complete UML State Machines with Communications (SL, YL, ÉA, CC, JS, BW, JSD), pp. 331–346.
SAC-2012-AlebrahimCHCH #architecture #design #interactive #model transformation #problem
Designing architectures from problem descriptions by interactive model transformation (AA, IC, MH, CC, DH), pp. 1256–1258.
SAC-2010-ChoppyR #approach #modelling
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation) (CC, GR), pp. 2451–2458.
AdaEurope-2009-ChoppyBC #petri net #recognition
Coloured Petri Nets for Chronicle Recognition (CC, OB, PC), pp. 266–281.
SAC-2009-ChoppyR #state machine #uml
A method for developing UML state machines (CC, GR), pp. 382–388.
AdaEurope-2008-ChoppyPR #approach #modelling #petri net
A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.
FASE-2004-ChoppyR #case study #requirements #specification #using
Improving Use Case Based Requirements Using Formally Grounded Specifications (CC, GR), pp. 244–260.
FASE-2001-ChoppyPR #specification #uml #visual notation
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation (CC, PP, JCR), pp. 124–139.
FASE-2000-ReggioACH #approach #formal method #lightweight #state machine #uml
Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.
FM-v2-1999-PoizatCR #approach #automaton #concurrent #requirements
From Informal Requirements to COOP: A Concurrent Automata Approach (PP, CC, JCR), pp. 939–962.
ICSE-1990-ChoppyK #development #prototype #specification
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping (CC, SK), pp. 173–184.
RTA-1989-BidoitCC #named #specification
ASSPEGIQUE: An Integrated Specification Environment (MB, FC, CC), p. 547.
RTA-1989-KaplanC
Abstract Rewriting with Concrete Operations (SK, CC), pp. 178–186.
ESEC-1987-Choppy #integration #prototype #specification #testing
Formal Specifications, Prototyping and Integration Tests (CC), pp. 172–179.
RTA-1987-ChoppyKS #algorithm #complexity #term rewriting
Algorithmic Complexity of Term Rewriting Systems (CC, SK, MS), pp. 256–273.
ESOP-1986-BernotBC #algebra #exception #semantics
Algebraic Semantics of Exception Handling (GB, MB, CC), pp. 173–186.
RTA-1985-ChoppyJ #named #petri net #proving #term rewriting
PETRIREVE: Proving Petri Net Properties with Rewriting Systems (CC, CJ), pp. 271–286.
CAAP-1985-ChoppyGK #algebra #compilation #lisp #proving #semantics
A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics (CC, GG, SK), pp. 403–415.
CSE-1985-BidoitC #algebra #ide #named #specification
ASSPEGIQUE: An Integrated Environment for Algebraic Specifications (MB, CC), pp. 246–260.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.