New Trends in Software Methodologies, Tools and Techniques

The contributors to the September 2003 workshop present new theories and trends in software engineering, focusing on a newly emerging Japanese software methodology known as Lyee. The 28 papers are divided into eight chapters on ontology, requirement elicitation, automatic software generation, process assessment, configuration management, and an end user programming environment. Specific topics include a logical representation of the emergence of user intention, a generic model of planning, a requirement acquisition method based on work units, generalized inductive proving of design correctness, and legacy system program transformation by Lyee. No subject index is provided. Annotation ©2004 Book News, Inc., Portland, OR