7th Asia-Pacific Software Engineering Conference


Book Description

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.







Asia-Pacific Software Engineering Conference, 1995


Book Description

Annotation The 55 papers cover testing, requirements modelling, concurrency, object-oriented development, software process, distributed systems, development environments, formal methods, quality assurance and reliability, reuse, specification, maintenance, information systems, and reasoning and verification. The keynote addresses discuss software systems engineering from domain analysis via requirements capture to software architectures; and communication, collaboration, and cooperation in software development. The third keynote is not included in the proceedings. No subject index. Annotation copyright by Book News, Inc., Portland, OR.




Handbook of Software Engineering & Knowledge Engineering


Book Description

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.




Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization


Book Description

"This book provides integrated chapters on software engineering and enterprise systems focusing on parts integrating requirements engineering, software engineering, process and frameworks, productivity technologies, and enterprise systems"--Provided by publisher.




Grid-Based Problem Solving Environments


Book Description

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.




Computer Networks


Book Description

This book constitutes the refereed proceedings of the 17th Conference on Computer Networks, CN 2009, held in Ustro\'{n}, Poland, in June 2010. The 37 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in the following groups: new technologies applied in computer networks, particularly those related to nano, molecular and quantum technology; new standard technologies related to computer network structure; the fundamentals of computer networks, their architecture and programming; articles concerning the Internet in its broad meaning; papers related to data security in distributed systems; and a group of articles describing industrial computer networks; and papers on applications.




Intelligent Agent Software Engineering


Book Description

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.




Theoretical Aspects of Computing


Book Description

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.




Asia-Pacific Software Engineering Conference, 1996


Book Description

The three keynote addresses cover the new for new software technology, principles of software evolution, and auditing informal software testing and analysis processes. Others of the 41 papers consider a design metric for module coupling, a class testing technique based on data binding, safety analysis using colored Petri nets, a dynamic extension for specifying distributed systems, designing and implementing dynamically reconstructing system software, a dialog- oriented user interface generation mechanism, real-time system design tools based on a real-time object model, and other topics. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.