CONFERENCE PROCEEDINGS

VOLUME 1
 
 
SESSION 1 — Inaugural Lectures / Conférences inaugurales
 
1.1 Systems engineers are from Mars, software engineers are from Venus
J. Kasser & S. Shoshany – University of South Australia (AUS)
 
1.2 Theoretical aspects of the system integration task
J. Sticklen – Michigan State University (USA)
 
 
SESSION 2 — COTS, Components & Reuse – 1 / COTS, composants et réutilisation
 
2.1 A representational framework for technology component reuse
K. S. Barber & S. Bhattacharya – University of Texas at Austin (USA)
 
2.2 Modular specification and structural validation of a distributed architecture
 
Spécification modulaire et validation structurelle d’une architecture distribuée
P. Cros & P. Michel – Onera (F)
 
2.3 Open architectures for software customization
 
Architectures ouvertes pour l’adaptation des logiciels
F. Duclos – Dassault Systèmes (F), J. Estublier – IMAG-LSR (F) & R. Sanlaville – Dassault Systèmes (F)
 
2.4 Component-based development: an architecture-centered approach to software refinement and implementation
using JavaBeans
 
Développement à base de composants : une approche centrée architecture pour l’affinement et l’implémentation de logiciels
en Java Beans
T. Bolusset, L. Da Silva & F. Oquendo – Université de Savoie (F)
 
2.5 Towards engineering reusable process components
 
Vers une ingénierie de composants de procédés réutilisables
B. Coulette, X. Crégut – Enseeiht (F), T. D. Thu & D. T. B. Thuy – Université des Sciences Naturelles (VN)
 
2.6 ZETA: An interaction-based architecture description language for building component-based software processes
 
ZETA : un langage de description d’architecture fondé sur les interactions pour la construction de processus logiciels
Alloui & F. Oquendo – Université de Savoie (F)
 
 
SESSION 3 — Web-based Application Development / Développement d’applications reposant sur le web
 
3.1 Practitioners views on Web development: an industrial survey by semi-structured interviews
D. Rodriguez-Garcia & R. Harrison – University of Reading (GB)
 
3.2 A UML-based architectural framework for Web-based information systems
E. P. Andersen – Norwegian Computing Center (N)
 
3.3 Federating Web applications through triggers
 
Fédération d’applications Web à base de déclencheurs
B. Sereno & N. Belkhatir – IMAG-LSR (F)
 
3.4 Designing internet-based information systems: rapid design and robust deployment using open source Java technology
 
Une nouvelle vision de la conception des systèmes d’information sur Internet : conception rapide et déploiement robuste
fondés sur des technologies Java libres
E. Samson – Libelis (F)
 
3.5 Enhancing distributed systems and software engineering using internet-based collaborative working tools
J. Kasser & D. Harris – University of South Australia (AUS)
 
3.6 Using information brokers for the creation and support of virtual enterprise
G. Karetsos, C. Harbilas, Y. Vamvakoulas & N. Dragios – National Technical University of Athens (GR)
 
3.7 Remote fault detection and diagnosis of industrial machinery
A. Barili – Università degli Studi di Pavia (I)
 
 
SESSION 4 — Systems Engineering / Ingénierie de systèmes
 
4.1 An approach for multi-level requirements: case of multi-technology systems
 
Vers une approche de structuration des exigences multi-niveaux – Cas des systèmes multi-technologies
L. Hellouin – Laas & GIAT Industries (F) & A. E. K. Sahraoui – Laas (F)
 
 
4.2 A method for functional design of multi-technology technical systems
 
Une méthode d’aide à la conception fonctionnelle de systèmes techniques multi-technologies
F. Benaben – EMA-EERIE & Thomson-CSF (F), M. Larnac – Q-Labs (F), J.-P. Pignon – Thomson-CSF (F),
C. Antoine & J. Magnier – EMA-EERIE (F)
 
 
4.3 The common denominator
L. Karas & D. H. Rhodes – Lockheed Martin (USA)
 
 
4.4 Systems engineering the advanced services framework
D. Hensley – Compaq Computer Corporation (USA)
 
 
4.5 Model-based systems engineering management
P. T. Martin – US Army (USA) & T. N. Thomas – 3SL Inc. (USA)
 
 
4.6 An approach to process engineering
 
Une approche d’ingénierie des processus
B. Do Ngoc Thanh – Matra Systèmes & Information (F)
 
 
4.7 Towards mastering acquisition
 
Vers un processus d’acquisition maîtrisé
Y. Délu – DOORS (F)
 
VOLUME 2
SESSION 5 — Requirements Engineering / Ingénierie des exigences
 
5.1 Taming ambiguity in natural language requirements
E. Kamsties & B. Paech – Fraunhofer Institute/IESE (D)
 
5.2 An approach to evaluating requirements engineering methods for applicability to time-to-market projects
C. McPhee – Computind Devices Canada (CDN) & A. Eberlein – University of Calgary (CDN)
 
5.3 Use of UML for modeling non-functional aspects
G. Salazar-Zárate & P. Botella – Universitat Politécnica de Catalunya (E)
 
5.4 Requirements management: from technical to managerial aspects
G. Lévesque, M.-A. Zamor – Université du Québec à Montréal (CDN) & B. Shostak – CGI Group (CDN)
 
5.5 On combining use cases and scenarios in requirements engineering
M. Carvalho & Z. Abdelouahab – Universidade Federal de Maranhão (BR)
 
 
SESSION 6 — Testing and V & V / Test et V&V
 
6.1 A state variable model for the software test process
J. Cangussu, R. A. DeCarlo & A. P. Mathur – Purdue University (USA)
 
6.2 Subprogram defect count predictions based on negative binomial models
W. M. Evanco – Drexel University (USA)
 
6.3 An environment for exploring large size software
 
Environnements d’exploration des logiciels de grande taille
S. T. Nguyen, J.-M. Favre, Y. Ledru & J. Estublier – IMAG-LSR (F)
 
6.4 Unlocking the power of peer reviews: silent links and cultural change in the workings of CMM/CMMI
M. Bush – Consultant (GB)
 
6.5 Validating industrial systems through symbolic testing of Statemate specifications
 
Validation de systèmes industriels par le test symbolique sur spécifcation Statemate
J.-Y. Pierron – PSA (F), J.-P. Gallois, E. Fievet & A. Lapitre – CEA (F)
 
6.6 Model-based environments for acceptance testing of complex systems
J. Garbajosa, M. Alandes, F. Arizmendi, C. Cuvillo, H. Garcia, F. Sanchis, M.-A. Mahillo – UPM (E),
M. Piattini – Universidad de Castilla (E) & E. Marcos – Universidad Rey Juan Carlos (E)
 
 
SESSION 7 — Software Processes / Processus logiciels
 
7.1 Software CMM implementation at a global corporation
D. Cook – NCR (USA)
 
7.2 Grance Télécom: Implementing software process improvement
 
France Télécom : mise en œuvre de l’amélioration des processus logiciels
G. Gullà-Menez & B. Moreau – France Télécom R&D (F)
 
7.3 Impact of process assessments on Thomson-CSF improvement strategies
G. Dubain – Thomson-CSF (F)
 
7.4 A process improvement jump start kit: Will it work for you?
K. R. Fix – Citigroup (USA)
 
7.5 Applying management model and ontology in a telecommunication company
C. Maidantchik, K. Marçal de Oliveira, H. Vidal Teixeira, M.-L. Masiero & A. R. C. da Rocha –
Universidade Federal de Rio de Janeiro (BR)
 
7.6 The benefits of on-line and distance learning in France Telecom/R&D process improvement policy
 
Apport de la formation en ligne et à distance dans la politique d’amélioration des processus logiciels
à France Télécom R&D
N. Baillon-Bachoc – E.Médi@ Formation Développement (F) & B. Moreau – France Télécom R&D (F)
 
7.7 Conformity and integration of software processes
R. Breu – TU München (D), W. Huber – Softlab GmbH (D) & W. Schwerin – TU München (D)
 
7.8 Software process improvement – What’s in it for me?
P. J. Leeson – Q-Labs Services (GB)
 
7.9 Workflow technologies as a way to integrate software processes
C. Ocampo & P. Botella – Universitat Politécnica de Catalunya (E)
 
 
7.10 Process management for geographically distributed software development
P. F. Tiako – IRISA-INRIA (F)
 
VOLUME 3

 

SESSION 8 — Methods / Méthodes
 
8.1 Real-world modeling in UML
J. Axelsson – Volvo Technologicazl Development Corporation(S)
 
 
8.2 Transition from UML sequence charts to p -calculus: a pragmatic approach
 
Dérivation des diagrammes de séquences UML vers le p -calcul : une démarche pragmatique
Y. Dumond, D. Girardet – Université de Savoie (F) & F. Oquendo – ESIA (F)
 
 
8.3 Visual scripting for UML-based tools
J. Peltonen – Tampere University of Technology (SF)
 
 
8.4 A library of method fragments for designing situational methods
 
Une bibliothèque de fragments de méthodes pour la construction de méthodes situationnelles
S. Ben Sassi, H. Hadjami Ben Ghézala – ENSI (TN) and C. Rollland Université de Paris 1 (F)
 
 
8.5 Software and systems architecture: MIIS, a five-step approach
 
Architecture des logiciels et des systèmes : MIIS, une démarche en cinq étapes
J.-P. Vaurs and M.-A. Chassefeire – GFI Informatique (F)
 
 
8.6 Using MOF standardized meta-models for systems engineering
 
Utilisation de métamodèles standardisés autour du MOF pour l’ingénierie système
S. Boucard & J.-P. Bouchet – Soft-Maint (F)
 
 
SESSION 9 — Web-based Tools & Methods / Outils et méthodes reposant sur le Web
 
9.1 An enterprise-centered environment for automating software deployment
 
Environnement de déploiement de logiciel automatisé centré entreprise
V. Lestideau, N. Belkhatir & P.-Y. Cunin – IMAG-LSR (F)
 
9.2 Programming environment based on physically centralized and distributed objects
Z. Abdelouahab, D. C. Lopes, R. Vale – Universidade Federal de Maranhão (BR),
and M. M. Gammoudi – Faculté des Sciences de Tunis (TN)
 
9.3 Web testing: Tools and effective methods
F. Faure – Tescom France (F)
 
9.4 The "Software Observatory"
 
L’Observatoire des Logiciels
G. Le Gall, M. Rooryck, M.-F. Adam & H. Derriennic – France Télécom R&D (F)
 
9.5 ProTo-Web: a lean and powerful groupware package for the Web
U. Mittag, L. Fröbel, and C. Scott – DLR (D)
 
 
SESSION 10 — Multimedia / Multimédia
 
10.1 TRIuMPh: a method for multimedia interface design
R. Campion, G. Crum & K. Liu – Staffordshire University (GB)
 
10.2 Patterns for collaborative virtual reality
F. Costantini, C. Toinard – CNAM/CEDRIC (F) & N. Chevassus – EADS (F)
 
 
SESSION 11 — CASEs & Environments / Ateliers et environnements
 
11.1 Automated modeling and monitoring of UML-based software engineering processes
 
Modélisation et pilotage automatique de processus d’ingénierie logicielle basés sur UML
M. Gibeaux, L. Carroll – Bouygues Telecom (F) & M.-J. Presso – France Télécom (F)
 
11.2 Architecture component development: Generating more code from your UML models
R. Saoui – Aonix (F)
 
11.3 SafeAir: advanced design tools for aircraft systems and airborne software
P. Baufreton – Snecma Moteurs (F)
 
 
SESSION 12 — Formal Methods / Méthodes formelles
 
12.1 Verification of properties involving logical and physical timing features
M. Allemand – Université de Nantes (F)
 
12.2 Formal and informal specifications: a proposal for a coupling
S. Dupuy, – IMAG-LSR (F), J. Celsio Freire – UNESP (BR), M. Chabre-Peccoud & Y. Ledru – IMAG-LSR (F)
 
12.3 Systemic modeling and program proof techniques for analyzing and validating system level specifications
 
Modélisation systémique et techniques de la preuve de programmes pour l’analyse et la validation de spécifications systèmes
C. Feliot – Duons-Systèmes (F)
 
12.4 Automatic system verification by means of formal methods
A. Gil, A. Fernandez & J. J. Pazos – Universidad de Vigo (E)
 
12.5 A formal method for enterprise interoperability: a case study in major health informatics information system
M. Johnson & C. N. G. Dampney – Macquarie University (AUS)
 
12.6 Making operating systems formal: a methodical approach
K. Spies – TU München (D)
 
VOLUME 4
 
 
SESSION 13 — Project Management / Gestion de projets
 
13.1 Estimation vs guesstimation: a practical approach
M. Beheshti and K. R. Fix – Citigroup (USA)
 
 
13.2 M-INDIC: a tool for designing and implementing indicators easing project management
 
M-INDIC : un outil pour construire et mettre en œuvre des indicateurs afin de faciliter la conduite des projets
V. Leborgne, J.-P. Lucas – France Télécom R&D (F) & F. Vallée – Mathix (F)
 
 
13.3 Effective e-business project management
S. Chihos – Born Information Services (USA)
 
 
SESSION 14 — Workflow
 
14.1 Executing process models using a workflow engine
 
Exécution de modèles de processus par un moteur de Workflow
E. Breton & M. Ouertal – Soft-Maint (F)
 
14.2 An overview of industrial process meta-models
E. Breton – Université de Nantes and Sodimaint (F) & J. Bézivin – Université de Nantes (F)
 
 
SESSION 15 — Software Agents / Agents logiciels
 
15.1 An architecture-based software engineering technique for multiagent systems
T. Reinke – Universität Potsdam (D)
 
15.2 An intelligent intrusion detection environment using software agents
J. Pikoulas, W. Buchanan – Napier University (GB) & K. Triantafyllopoulos – University of Warwick (GB)
 
 
SESSION 16 — COTS , Components & Reuse – 2 / COTS, composants et réutilisation – 2
 
16.1 A process COTS-based software system development
D. Carney – SEI (USA)
 
 
16.2 Towards the early outlining of a component-based system with ConCOIL
F. Bübl – Technische Universität Berlin (D)
 
 
16.3 Transition to components in an industrial setting
A. Eberlein – University of Calgary (CDN) & G. Succi – University of Alberta (CDN)
 
 
16.4 Software engineering of component adapters
S. Shoshany & D. Kearney – University of South Australia (AUS)
 
 
16.5 A comparison of view programming, aspect-oriented programming, subject-oriented programming
from a reuse perspective
S. Bendelloul, H. Mili, J. Dargham & H. Mcheick – Université du Québec à Montréal(CDN)
 
 
16.6 A software framework for general-purpose information retrieval
A. P. O’Riordan – University College Cork, National University of Ireland (IRL)
 
 
SESSION 17 — Modelling / Modélisation
 
17.1 On-line monitoring and diagnosis on the basis of hybrid component models
S. Manz – Universität Stuttgart (D)
 
17.2 Transformation of unary relations
J. Said & E. Steegmans – KUL (B)
 
17.3 An object-oriented reconstruction of Smithsonian computational reflection
I. M. C. Lemmens & P. J. Braspenning – University of Maastricht (NL)
 
VOLUME 5
 
 
SESSION 18 — Metrics & Quality / Mesures et Qualité
 
18.1 METIS: a tool for measuring LDS design quality
 
METIS : un outil pour mesurer la qualité des conceptions LDS
P. Audigou, A. Nave, F. Michaillat – Alcatel CIT (F), F. Vallée & D. Vernos – Mathix (F)
 
18.2 Coupling and cohesion: towards improving the design of object-oriented systems
L. Badri & M. Badri – Université du Québec à Trois-Rivières (CDN)
 
18.3 Composite model for object-oriented systems
A. K. Chawla & P. S. Grover – University of Delhi (IND)
 
 
SESSION 19 — Knowledge Engineering / Gestion de connaissances
 
19.1 Integrated knowledge-based systems for design and manufacturing with composite materials:
from hard-coding to visual development
O. Y. Lukibanov, I. Martinez – Daimler Chrysler Corp. (USA) & J. Sticklen – Michigan State University (USA)
 
19.2 NEPER-Wheat: Integrated problem solving architecture for crop management
A. Kamel – North Dakota State University (USA, J. Sticklen – Michigan State University (USA),
and A. Rafea – Central Laboratory for Agricultural Expert Systems (EG)
 
19.3 Facilitating knowledge management infrastructure with XML
E. X. Papu Antony – Infosys Technologies Ltd (IND)
 
 
SESSION 20 — Safety & Dependabilty / Sûreté de fonctionnement
 
20.1 Dependability and safety of software-based systems
 
Sûreté de fonctionnement des systèmes à base de logiciel
O. Ribot – Matra BAe Dynamics (F)
 
20.2 Classification of safety requirements for formal verification of software models of industrial automation systems
F. Bitsch – Universität Stuttgart (D)
 
20.3 Using qualitative models for safety analysis of industrial automation systems
U. Biegert – Universität Stuttgart (D)

 

TUTORIALS / COURS
 
1-Project management / Gestion de projets
2- XML, Software & Systems Engineering / XML, Génie Logiciel et Ingénierie de Systèmes
3- Software Testing & Reliability / Test et Fiabilité du Logiciel
4- Systems Engineering / Ingénierie de Systèmes
 
 
ASSOCIATED EVENT / SÉMINAIRE
 
 
INDEXES / INDEX
Authors / Auteurs
Organizations / Organismes
Topics / Sujets