These papers constitute the proceedings of the Seventh Asia-Pacific Software Engineering Conference (APSEC 2000). They address: software evolution; Internet applications engineering; requirements engineering; software architectures; software agents; tools and environments; and more.

This is the first handbook to cover comprehensively both software engineering and knowledge engineering -- two important fields that have become interwoven in recent years. Over 60 international experts have contributed to the book. Each chapter has been written in such a way that a practitioner of software engineering and knowledge engineering can easily understand and obtain useful information. Each chapter covers one topic and can be read independently of other chapters, providing both a general survey of the topic and an in-depth exposition of the state of the art. Practitioners will find this handbook useful when looking for solutions to practical problems. Researchers can use it for quick access to the background, current trends and most important references regarding a certain topic.The handbook consists of two volumes. Volume One covers the basic principles and applications of software engineering and knowledge engineering.Volume Two will cover the basic principles and applications of visual and multimedia software engineering, knowledge engineering, data mining for software knowledge, and emerging topics in software engineering and knowledge engineering.

From theoretical and practical viewpoints, the application of intelligent software agents is a topic of major interest. There has been a growing interest not only in new methodologies for development of intelligent software agents, but also the way in which these methodologies can be supported by theories and practice. Intelligent Agent Software Engineering focuses on addressing the theories and practices associated with implementing intelligent software agents.

This volume presents the proceedings of the IFIP TC2 WG 2.5 Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software, held in Prescott, Arizona from July 17-21, 2006. The book contains the most up-to-date research on grid-based computing. It will interest users and developers of both grid-based and traditional problem solving environments, developers of grid infrastructure, and developers of numerical software.

The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries. ThisvolumecontainsthepaperspresentedatICTAC2010.Itwasheldduring September 1–3 in the city of Natal, Rio Grande do Norte, Brazil. Therewere68submissionsbyauthorsfrom24countriesallaroundthe world. Each submission was reviewed by at least three, and on average four, Program Committee members and external reviewers. After extensive discussions, they decided to accept the 23 (regular) papers presented here. Authors of a selection of these papers were invited to submit an extended version of their work to a special issue of the Theoretical Computer Science journal. Seven of the papers were part of a special track including one paper on “F- mal Aspects of Software Testing”, and six on the “Grand Challenge in Veri?ed Software.”ThespecialtrackwasjointlyorganizedbyMarie-ClaudeGaudel,from the Universit´ e de Paris-Sud, and Jim Woodcock, from the University of York.

This book contains the papers presented at the 4th International Conference on Practical Aspects of Knowledge Management organized by the Department of Knowledge Management, Institute of Informatics and Business Informatics, University of Vienna. The event took place on 2002, December 2–3 in Vienna, Austria. The PAKM conference series is a forum for people to share their views, to exchange ideas, to develop new insights, and to envision completely new kinds of solutions to knowledge management problems, because to succeed in the accelerating pace of the “Internet age,” organizations will be obliged to efficiently leverage their most valuable and underleveraged resource: the intellectual capital of their highly educated, skilled, and experienced employees. Thus next-generation business solutions must be focussed on supporting the creation of value by adding knowledge-rich components as integral parts in the work process. The authors, who work at the leading edge of knowledge management, have pursued integrated approaches which consider both the technological side, and the business side, and the organizational and cultural issues. We hope the papers, covering a broad range of knowledge management topics, will be valuable, at the same extent, for researchers and practitioners developing knowledge management approaches and applications. It was a real joy seeing the visibility of the conference increase and noting that knowledge management researchers and practitioners from all over the world submitted papers. This year, 90 papers and case studies were submitted, from which 55 were accepted.