7. ICECCS 2001: Skövde, Sweden

@proceedings{DBLP:conf/iceccs/2001,
  title     = {7th  International Conference on Engineering of Complex Computer
               Systems (ICECCS 2001), 11-13 June 2001,  Sk{\"o}vde, Sweden},
  booktitle = {ICECCS},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1159-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Speech

• Alexander D. Stoyen:
  Intelligent Agent-Based Decision-Support Systems for Complex C2 Applications. 2-
  

Real-Time Issues

• Pierfrancesco Bellini, Paolo Nesi:
  Communicating TILCO: A Model for Real-Time System Specification. 4-14
  
• Pierfrancesco Bellini, Paolo Nesi:
  TILCO-X, an Extension of TILCO Temporal Logic. 15-25
  
• Pascal Richard, Francis Cottet, Michaël Richard:
  On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints. 26-34
  
• Thorsten Gerdsmeier, Rachel Cardell-Oliver:
  A Method for Verifying Real-Time Properties of Ada Programs. 35-
  

Formal Issues

• Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann:
  Verification of Hybrid Systems: Formalization and Proof Rules in PVS. 48-57
  
• Mila E. Majster-Cederbaum, Jinzhao Wu:
  Action Refinement for True Concurrent Real Time. 58-68
  
• Alberto Arazo, Yves Crouzet:
  Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. 69-79
  
• Antti Puhakka:
  Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. 80-
  

Keynote Speech

• Fredrik Dahlgren:
  Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective. 92-
  

Industrial Experiences

• Daniel Häggander, Lars Lundberg, Jonas Matton:
  Quality Attribute Conflicts - Experiences from a Large Telecommunication Application. 96-105
  
• Mira Kajko-Mattsson:
  Can We Learn Anything from Hardware Preventive Maintenance? 106-111
  
• Mira Kajko-Mattsson:
  Motivating the Corrective Maintenance Maturity Model (CM3). 112-
  

Design Issues

• Kume Izuru:
  An Object-Oriented Analysis and Design Approach for Safe Object Sharing. 122-132
  
• Kristina Ahlström, Jan Torin, Per Johannessen:
  Design Method for Conceptual Design of By-Wire Control: Two Case Studies. 133-143
  
• Felix Bübl, Andreas Leicher:
  Designing Distributed Component-Based Systems With DCL. 144-154
  
• Sven Graupner, Vadim E. Kotov, Holger Trinks:
  A Framework for Analyzing and Organizing Complex Systems. 155-
  

Keynote Speech

• Harold W. Lawson:
  The Problem of Platform Complexity. 168-
  

Architectural Issues

• De-Jiu Chen, Martin Törngren:
  Towards A Framework for Architecting Mechatronics Software Systems. 170-179
  
• Mika Katara, Tommi Mikkonen:
  Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. 180-190
  
• Rinat Khoussainov, Tadhg O'Meara, Ahmed Patel:
  Independent Proprietorship and Competition in Distributed Web Search. 191-199
  
• Jeffrey D. Hicks, Alexander D. Stoyen, Qiuming Zhu:
  Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty. 200-
  

Testing Issues

• Paul Ammann, Wei Ding, Daling Xu:
  Using a Model Checker to Test Safety Properties. 212-221
  
• Ye Wu, Dai Pan, Mei-Hwa Chen:
  Techniques for Testing Component-Based Software. 222-232
  
• Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper:
  Module Testing Embedded Software--An Industrial Pilot Project. 233-
  

Analysis and Modeling

• Hsu-Chun Yen:
  Analysis of Self-Stabilization for Infinite-State Systems. 240-248
  
• Fuji Ren, Hongchi Shi:
  Parallel Machine Translation: Principles and Practice. 249-259
  
• Yiqin Lu, Gang Wei, To-Yat Cheung:
  Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. 260-269
  
• Mieke Massink, Nicoletta De Francesco:
  Modelling Free Flight with Collision Avoidance. 270-280