You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001. The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. Among the areas addressed are process evolution, experiences, mobility and distribution, UML process patterns, and process improvement.
This book constitutes the refereed proceedings of the 4th International Conference on Electronic Government, EGOV 2005, held in Copenhagen, Denmark in August 2005. The 30 revised papers presented were carefully reviewed and selected from numerous submissions and assess the state of the art in e-government/e-governance and provide guidance for research, development and application of this emerging field. The papers are arranged in topical sections on challenges, performance, strategy, knowledge, and technology.
The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.
Over the years, a variety of software process models have been designed to structure, describe and prescribe the software systems construction process. More recently, software process modelling is increasingly dealing with new challenges raised by the tests that the software industry has to face.This book addresses these new trends in software process modeling related to:• Processes for open source software;• Systems dynamics to model and simulate the software process;• Peopleware: the importance of people in the software development and by extension in the software process.One new software development trend is the development of open source projects. As such projects are a recent crea...
There is a strong need for advances in the fields of image indexing and retrieval and visual query languages for multimedia databases. Image technology is facing both classical and novel problems for the organization and filtering of increasingly large amounts of pictorial data. Novel kinds of problems, such as indexing and high-level content-base, accessing to image databases, human interaction with multimedia systems, approaches to multimedial data, biometrics, data mining, computer graphics and augmented reality, have grown into real-life issues.The papers in this proceedings volume relate to the subject matter of multimedia databases and image communication. They offer different approaches which help to keep the field of research lively and interesting.
This book constitutes the refereed proceedings of the 9th European Workshop on Software Process Technology, EWSPT 2003, held in Helsinki, Finland in September 2003. The 12 revised full papers presented together with an extended abstract of an invited talk were carefully reviewed and selected from 25 submissions. Among the issues addressed are process modeling languages; computer-supported process description, analyses, reuse, refinement, and enactment; process monitoring, measurement, management, improvement, and evolution; and process enactment engines, tools, and environments.
This book constitutes the refereed proceedings of the 4th IFIP International Working Conference, KMGov 2003, held in Rhodes, Greece in May 2003. The 32 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on KM concepts for inter-organization cooperation, requirements for KM systems in government, improving government activity through KM, representing governmental knowledge, innovative technologies to support KM, KM tools for public administration, approaching KM solutions, examples of KM in public administration.
Over the years, a variety of software process models have been designed to structure, describe and prescribe the software systems construction process. More recently, software process modelling is increasingly dealing with new challenges raised by the tests that the software industry has to face. This book addresses these new trends in software process modeling related to: . OCo Processes for open source software;. OCo Systems dynamics to model and simulate the software process;. OCo Peopleware: the importance of people in the software development and by extension in the software process. One new software development trend is the development of open source projects. As such projects are a re...