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 dune
architecture distribuée
- P. Cros & P. Michel Onera (F)
-
- 2.3 Open architectures for software customization
-
- Architectures ouvertes pour ladaptation 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 laffinement et limplé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 darchitecture 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
dapplications 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 dapplications 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 dinformation
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 daide à 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 dingénierie des processus
- B. Do Ngoc Thanh Matra Systèmes & Information (F)
-
-
- 4.7 Towards mastering acquisition
-
- Vers un processus dacquisition 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 dexploration 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 lamé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
damé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 Whats 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
lingé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"
-
- LObservatoire 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 dingé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 lanalyse 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. ORiordan 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