Software Engineering Research and Applications : First International Conference SERA 2003 San Francisco CA USA June 25 27 2003 Selected Revised Papers 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