Software Engineering Research and Applications : Second International Conference

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.