Christelle Chaudet

Publication Activity (10 Years)

Years Active: 2000-2009
Publications (10 Years): 0

Publications

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat
Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe (2009)
Christelle Chaudet, Robert Mark Greenwood, Flávio Oquendo, Brian Warboys
Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. IEE Proc. Softw. 147 (6) (2000)
Christelle Chaudet, Flávio Oquendo
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. ASE (2000)