Zum Inhalt springen

  1. Choppy, Christine [HerausgeberIn]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft] ; Monterey Workshop 15 2008 Budapest

    Foundations of computer software : future trends and techniques for development ; 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6028

  2. Bert, Didier [HerausgeberIn]; Choppy, Christine [Sonstige Person, Familie und Körperschaft]; Mosses, Peter [Sonstige Person, Familie und Körperschaft] ; WADT 14 1999

    Recent trends in algebraic development techniques : 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg; New York [u.a.]: Springer, 2000

    Erschienen in: Lecture notes in computer science ; 1827

  3. Choppy, Christine [VerfasserIn] ; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft]

    Foundations of Computer Software. Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6028

  4. Choppy, Christine [Sonstige Person, Familie und Körperschaft] ; Schloss Dagstuhl, Leibniz-Zentrum für Informatik

    1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013) : FSFMA 2013 ; July 15 - 16, 2013, Singapore

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wadern, 2013

    Erschienen in: Open access series in informatics ; 31

  5. Bidoit, Michel [VerfasserIn] ; Choppy, Christine [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

    Erschienen in: Lecture notes in computer science ; 655

  8. Piel, Ariane [VerfasserIn] ; Paris 13 [MitwirkendeR]; Choppy, Christine [MitwirkendeR]

    Reconnaissance de comportements complexes par traitement en ligne de flux d’événements ; Online event flow processing for complex behaviour recognition

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-10-27

  9. Bert, Didier [VerfasserIn] ; Choppy, Christine [Sonstige Person, Familie und Körperschaft]; Mosses, Peter [Sonstige Person, Familie und Körperschaft]

    Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1827

  10. Bert, Didier [VerfasserIn] ; Choppy, Christine [Sonstige Person, Familie und Körperschaft]; Mosses, Peter D. [Sonstige Person, Familie und Körperschaft]

    Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2000

    Erschienen in: Lecture notes in computer science ; 182700

  11. Rapoport, Danielle [VerfasserIn]; Choppy, Marie-Christine [VerfasserIn]

    Quinze années d'expérience en crèche : réflexions sur le rôle et la fonction des psychologues cliniciens

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Bulletin de psychologie ; Vol. 32, n° 339, pp. 167-174

  12. Surcin, Sylvain [VerfasserIn]; Choppy, Christine [VerfasserIn]; Sere, Marie-Geneviève [VerfasserIn]

    Analyse didactique d'un cours de Génie Logiciel basé sur l'approche orientée objets

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Sciences et techniques éducatives ; Vol. 2, n° 3, pp. 265-286

  13. Carle, Patrice [VerfasserIn]; Choppy, Christine [VerfasserIn]; Kervarc, Romain [VerfasserIn]; Piel, Ariane [VerfasserIn] ; Patrice Carle and Christine Choppy and Romain Kervarc and Ariane Piel [MitwirkendeR]

    Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  16. Choppy, Christine; Reggio, Gianna

    Recent Trends in Algebraic Development Techniques: Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2012

    Erschienen in: Recent Trends in Algebraic Development Techniques

  18. Choppy, Christine; Reggio, Gianna

    Fundamental Approaches to Software Engineering: Improving Use Case Based Requirements Using Formally Grounded Specifications

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2004

    Erschienen in: Fundamental Approaches to Software Engineering

  19. Choppy, Christine; Heisel, Maritta

    Recent Trends in Algebraic Development Techniques: Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2003

    Erschienen in: Recent Trends in Algebraic Development Techniques

  20. Choppy, Christine; Reggio, Gianna

    Recent Trends in Algebraic Development Techniques: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2000

    Erschienen in: Recent Trends in Algebraic Development Techniques