The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2001)
Sk?vde, Sweeden
June 11, 2001 to June 13, 2001
ISBN: 0-7695-1159-7
TABLE OF CONTENTS
Session 1: Keynote Speech
Session 2: Real-Time Issues

Communicating TILCO: A Model for Real-Time System Specification (Abstract)

Pierfrancesco Bellini , University of Florence
Paolo Nesi , University of Florence
pp. 0004

TILCO-X, an Extension of TILCO Temporal Logic (Abstract)

Pierfrancesco Bellini , University of Florence
Paolo Nesi , University of Florence
pp. 0015

On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints (Abstract)

Pascal Richard , Laboratory of Applied Computer Science (LISI)
Francis Cottet , Laboratory of Applied Computer Science (LISI)
Michaël Richard , Laboratory of Applied Computer Science (LISI)
pp. 0026
Session 4: Formal Issues

Verification of Hybrid Systems: Formalization and Proof Rules in PVS (Abstract)

Eriká Abrahám-Mumm , Christian-Albrechts-Universit?t zu Kiel
Martin Steffen , Christian-Albrechts-Universit?t zu Kiel
Ulrich Hannemann , University of Nijmegen
pp. 0048

Action Refinement for True Concurrent Real Time (Abstract)

Mila Majster-Cederbaum , Universit?t Mannheim
Jinzhao Wu , Universit?t Mannheim
pp. 0058
Session 5: Keynote Speech
Session 6: Industrial Experiences

Quality Attribute Conflicts - Experiences from a Large Telecommunication Application (Abstract)

Daniel Häggander , Blekinge Institute of Technology
Lars Lundberg , Blekinge Institute of Technology
Jonas Matton , Blekinge Institute of Technology
pp. 0096

Can We Learn Anything from Hardware Preventive Maintenance? (Abstract)

Mira Kajko-Mattsson , Stockholm University/Royal Institute of Technology
pp. 0106

Motivating the Corrective Maintenance Maturity Model (CM<sup>3</sup>) (Abstract)

Mira Kajko-Mattsson , Stockholm University/Royal Institute of Technology
pp. 0112
Session 8: Design Issues

An Object-Oriented Analysis and Design Approach for Safe Object Sharing (Abstract)

Kume Izuru , Nara Institute of Science and Technology
pp. 0122

Design Method for Conceptual Design of By-Wire Control: Two Case Studies (Abstract)

Kristina Ahlström , Chalmers University of Technology
Jan Torin , Chalmers University of Technology
Per Johannessen , Volvo Car Corporation
pp. 0133

Designing Distributed Component-Based Systems With DCL (Abstract)

Felix Bübl , Technische Universit?t Berlin
Andreas Leicher , Technische Universit?t Berlin
pp. 0144

A Framework for Analyzing and Organizing Complex Systems (Abstract)

Sven Graupner , Hewlett-Packard Laboratories
Vadim Kotov , Hewlett-Packard Laboratories
Holger Trinks , Hewlett-Packard Laboratories
pp. 0155
Session 9: Keynote Speech
Session 10: Architectural Issues

Towards A Framework for Architecting Mechatronics Software Systems (Abstract)

De-Jiu Chen , Royal Institute of Technology
Martin Törngren , Royal Institute of Technology
pp. 0170

Aspect-Oriented Specification Architectures for Distributed Real-Time Systems (Abstract)

Mika Katara , Tampere University of Technology
Tommi Mikkonen , Nokia Mobile Phones
pp. 0180

Independent Proprietorship and Competition in Distributed Web Search (Abstract)

Rinat Khoussainov , University College Dublin
Tadhg O'Meara , University College Dublin
Ahmed Patel , University College Dublin
pp. 0191
Session 11: Testing Issues

Using a Model Checker to Test Safety Properties (Abstract)

Paul Ammann , George Mason University
Wei Ding , George Mason University
Daling Xu , George Mason University
pp. 0212

Techniques for Testing Component-Based Software (Abstract)

Ye Wu , George Mason University
Dai Pan , State University of New York at Albany
Mei-Hwa Chen , State University of New York at Albany
pp. 0222

Module Testing Embedded Software--An Industrial Pilot Project (Abstract)

Jason McDonald , Foxboro Australia
Leesa Murray , Foxboro Australia
Peter Lindsay , The University of Queensland
Paul Strooper , The University of Queensland
pp. 0233
Session 12: Analysis and Modeling

Analysis of Self-Stabilization for Infinite-State Systems (Abstract)

Hsu-Chun Yen , National Taiwan University
pp. 0240

Parallel Machine Translation: Principles and Practice (Abstract)

Fuji Ren , Tokushima University
Hongchi Shi , University of Missouri-Columbia
pp. 0249

Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets (Abstract)

Yiqin Lu , South China University of Technology
Gang Wei , City University of Hong Kong
To-Yat Cheung , City University of Hong Kong
pp. 0260

Modelling Free Flight with Collision Avoidance (Abstract)

Mieke Massink , Consiglio Nazionale delle Ricerche
Nicoletta de Francesco , University of Pisa
pp. 0270

Authors' Index (PDF)

pp. 0281
92 ms
(Ver 3.3 (11022016))