KBSE'95

KBSE'95
Author:
Publisher:
Total Pages: 220
Release: 1995
Genre: Artificial intelligence
ISBN:

Seven sections containing 23 papers cover synthesis, formal specifications, legal issues, knowledge-based environments, process, reused and re-engineering, and program understanding. They focus on techniques for constructing, representing, reasoning with, and understanding software artifacts and processes. Annotation copyright by Book News, Inc., Portland, OR.

Principle Advancements in Database Management Technologies: New Applications and Frameworks

Principle Advancements in Database Management Technologies: New Applications and Frameworks
Author: Siau, Keng
Publisher: IGI Global
Total Pages: 462
Release: 2009-12-31
Genre: Computers
ISBN: 1605669059

Significant progression and usage of Internet innovations has caused a need for streamlining past, present, and future database technologies. Principle Advancements in Database Management Technologies: New Applications and Frameworks presents exemplary research in a variety of areas related to database development, technology, and use. This authoritative reference source presents innovative approaches by leading international experts to serve as the primary database management source for researchers, practitioners, and academicians.

Exploiting the Knowledge Economy

Exploiting the Knowledge Economy
Author: Paul Cunningham
Publisher: IOS Press
Total Pages: 940
Release: 2006
Genre: Business & Economics
ISBN: 9781586036829

Adaptation of applied information and communication technologies (ICT) research results is one of the greatest challenges faced in building the global knowledge economy. This set of two books brings together a collection of contributions on commercial, government or societal exploitation of applied ICT.

Types for Proofs and Programs

Types for Proofs and Programs
Author: Paul Callaghan
Publisher: Springer Science & Business Media
Total Pages: 252
Release: 2002-02-20
Genre: Computers
ISBN: 3540432876

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.

Knowledge-Based Software Engineering

Knowledge-Based Software Engineering
Author: Tatjana Welzer
Publisher: IOS Press
Total Pages: 356
Release: 2002
Genre: Computers
ISBN: 9781586032746

Annotation. The book captures the latest developments in the areas of knowledge engineering and software engineering. Particular emphasis is placed upon applying knowledge-based methods to software engineering problems. The Conference, from which the papers are coming, originated in order to provide a forum in which the latest developments in the field of knowledge-based software engineering could be discussed. Although initially targeting scientists from Japan, the CIS countries and countries in Central and Eastern Europe, the authors come from many countries throughout the world. JCKBSE 2002 continues with this tradition and is anticipating even wider international participation. Furthermore, the scope of the conference as indicated by its topics has been updated to reflect the recent development in all the three covered areas, i.e. knowledge engineering, software engineering, and knowledge based software engineering.

Non-Functional Requirements in Software Engineering

Non-Functional Requirements in Software Engineering
Author: Lawrence Chung
Publisher: Springer Science & Business Media
Total Pages: 458
Release: 2012-12-06
Genre: Computers
ISBN: 1461552699

Non-Functional Requirements in Software Engineering presents a systematic and pragmatic approach to `building quality into' software systems. Systems must exhibit software quality attributes, such as accuracy, performance, security and modifiability. However, such non-functional requirements (NFRs) are difficult to address in many projects, even though there are many techniques to meet functional requirements in order to provide desired functionality. This is particularly true since the NFRs for each system typically interact with each other, have a broad impact on the system and may be subjective. To enable developers to systematically deal with a system's diverse NFRs, this book presents the NFR Framework. Structured graphical facilities are offered for stating NFRs and managing them by refining and inter-relating NFRs, justifying decisions, and determining their impact. Since NFRs might not be absolutely achieved, they may simply be satisfied sufficiently (`satisficed'). To reflect this, NFRs are represented as `softgoals', whose interdependencies, such as tradeoffs and synergy, are captured in graphs. The impact of decisions is qualitatively propagated through the graph to determine how well a chosen target system satisfices its NFRs. Throughout development, developers direct the process, using their expertise while being aided by catalogues of knowledge about NFRs, development techniques and tradeoffs, which can all be explored, reused and customized. Non-Functional Requirements in Software Engineering demonstrates the applicability of the NFR Framework to a variety of NFRs, domains, system characteristics and application areas. This will help readers apply the Framework to NFRs and domains of particular interest to them. Detailed treatments of particular NFRs - accuracy, security and performance requirements - along with treatments of NFRs for information systems are presented as specializations of the NFR Framework. Case studies of NFRs for a variety of information systems include credit card and administrative systems. The use of the Framework for particular application areas is illustrated for software architecture as well as enterprise modelling. Feedback from domain experts in industry and government provides an initial evaluation of the Framework and some case studies. Drawing on research results from several theses and refereed papers, this book's presentation, terminology and graphical notation have been integrated and illustrated with many figures. Non-Functional Requirements in Software Engineering is an excellent resource for software engineering practitioners, researchers and students.