This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Software Engineering Research and Applications, SERA 2003, held in San Francisco, CA, USA in June 2003.

The 23 revised full papers presented were carefully selected from 104 initial submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on formal methods; component-based software engineering; software quality, requirements engineering, reengineering, and performance analysis; knowledge discovery and artificial intelligence; and database retrieval and human-computer interaction.