.:. Consultation > Liste par auteurs > Heisel .:.

26 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

On the Evolution of Component-based Software Coté I., Heisel M., Souquières J. Dans 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques - CEE-SET 2009 (2009) [inria-00431436 - version 1]

On the Evolution of Component-based Software Coté I., Heisel M., Souquières J. Rapport interne (2007) [hal-00182741 - version 1]

Enhancing Dependability of Component-based Systems Lanoix A., Hatebur D., Heisel M., Souquières J. Dans Reliable Software Technologies Ada-Europe 2007 (2007) 41--54 [hal-00123999 - version 1]

A Method for Component-Based Software and System Development Hatebur D., Heisel M., Souquières J. Dans 32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (2006) [hal-00097571 - version 1]

Proving Component Interoperability with B Refinement Chouali S., Heisel M., Souquières J. Electronic Notes in Theoretical Computer Science 160 (2006) 157-172 [hal-00097553 - version 1]

Proving Component Interoperability with B Refinement Chouali S., Heisel M., Souquières J. Dans International Workshop on Formal Aspects of Component Software 2005 - FACS'05 (2005) [hal-00009103 - version 1]

Proving Component Interoperability with B Refinement Chouali S., Heisel M., Souquières J. (2005) [inria-00000171 - version 1]

Adding feature to component-based systems Heisel M., Souquières J. Dans International Seminar on Objects, Agents, and Features 2975 (2004) 137-153 [inria-00108084 - version 1]

Specifying Components for Checking Interoperability Heisel M., Souquières J. N° A04-R-278 || heisel04c (2004) [inria-00100223 - version 1]

Spécification de composants pour assurer leur interopérabilité Heisel M., Souquières J. N° A04-R-062 || heisel04b (2004) [inria-00100218 - version 1]