Table of Contents

Formal Methods and Tools.- Transforming Stream Processing Functions into State Transition Machines.- NuEditor – A Tool Suite for Specification and Verification of NuSCR.- Requirements Engineering and Reengineering.- Representing NFRs and FRs: A Goal-Oriented and Use Case Driven Approach.- MARMI-RE: A Method and Tools for Legacy System Modernization.- Component-Based Software Engineering.- A Study on Frameworks of Component Integration for Web Applications.- Software Process Models, Management and Improvement.- A Study on Metrics for Supporting the Software Process Improvement Based on SPICE.- Information Engineering.- Uniformly Handling Metadata Registries.- Network Layer XML Routing Using Lazy DFA.- Web Engineering and Web-Based Applications.- Extending UML for a Context-Based Navigation Modeling Framework of Web Information Systems.- Conversion of Topic Map Metadata to RDF Metadata for Knowledge Retrieval on the Web.- An Integrated Software Development Environment for Web Applications.- Parallel and Distributed Computing.- On the Design and Implementation of Parallel Programs Through Coordination.- Software Reuse and Metrics.- Reusability Analysis of Four Standard Object-Oriented Class Libraries.- Validation of an Approach for Quantitative Measurement and Prediction Model.- Object-Oriented Technology and Information Technology.- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML.- Infrastructures for Information Technology Systems: Perspectives on Their Evolution and Impact.- Communications Systems and Networks.- The Trajectory Approach for the End-to-End Response Times with Non-preemptive FP/EDF*.- Web Service Based Inter-AS Connection Managements for QoS-Guaranteed DiffServ Provisioning.