In these proceedings from the September 2004 conference, participants describe their work leading to state-of-the-art trends and theories. General topics include ontology and software requirements, enterprise and conceptual software models, declarative representation for software development, requirement representation and formalization, formal specification and language interpretation, legacy systems and language conversion, software quality and development measurements, and software development practice models. Annotation ©2005 Book News, Inc., Portland, OR