The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Sophie Dupuy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
    An Overview of RoZ: A Tool for Integrating UML and Z Specifications. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2000, pp:417-430 [Conf]
  2. Sophie Dupuy
    Vers une prise en compte des contraintes en UML grâce à Z. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2000, pp:380-398 [Conf]
  3. Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
    Translating the OMT Dynamic Model into Object-Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:347-366 [Conf]
  4. Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
    Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. [Citation Graph (0, 0)][DBLP]
    L'OBJET, 2000, v:6, n:1, pp:- [Journal]
  5. Sophie Dupuy, Lydie du Bousquet
    A Multi-formalism Approach for the Validation of UML Models. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:228-230 [Journal]

Search in 0.001secs, Finished in 0.001secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002