This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Software Engineering Research and Applications, SERA 2004, held in May 2004. The 18 revised full papers presented together with four keynote addresses were carefully selected from 103 initial submissions during two rounds of reviewing and improvement. The papers are organized in topical sections. These include formal methods and tools, requirements engineering and reengineering, and information engineering.

Inhalt

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.