Welcome to our book review site www.go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Computer and Information Sciences -- ISCIS 2003
This book constitutes the refereed proceedings of the 18th International Symposium on Computer and Information Sciences, ISCIS 2003, held in Antalya, Turkey in November 2003. The 135 revised papers presented together with 2 invited papers were carefully reviewed and selected from over 360 submissions. The papers are organized in topical sections on architectures and systems, theoretical computer science, databases and information retrieval, e-commerce, graphics and computer vision, intelligent systems and robotics, multimedia, networks and security, parallel and distributed computing, soft computing, and software engineering.
Software Process Technology
This book constitutes the refereed proceedings of the 7th European Workshop on Software Process Technology, EWSPT 2000, held in Kaprun, Austria in February 2000 in conjunction with a meeting of the European ESPRIT IV Project for Process Instance Evolution (PIE). The 21 revised papers presented were carefully reviewed and selected from 44 submissions. The book is organized in sections on methods, applications, process instance evolution, distributed processes and process modeling languages, and industrial experience.
Verification, Validation and Testing in Software Engineering
Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification – traditional in formal methods – has been joined by model checking and other techniques. Verification, Validation and Testing in Software Engineering offers thorough coverage of many valuable formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development – including real-time applications – where V&V techniques are required.
Model-Driven Software Development
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Models can be refined and finally be transformed into a technical implementation, i.e., a software system. The aim of this book is to give an overview of the state of the art in model-driven software development. Achievements are considered from a conceptual point of view in the first part, while the second part describes technical advances and infrastructures. Finally, the third part summarizes experiences gained in actual projects employing model-driven development. Beydeda, Book and Gruhn put together the results from leading researchers in this area, both from industry and academia. The result is a collection of papers which gives both researchers and graduate students a comprehensive overview of current research issues and industrial forefront practice, as promoted by OMG’s MDA initiative.
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly UML conferences), MoDELS 2006. The book presents 51 revised full papers and 2 invited papers. Discussion is organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, and more.
INFORMATION AND COMMUNICATION TECHNOLOGIES IN EVERYDAY LIFE: OPPORTUNITIES AND CHALLENGES
The idea behind this book emerges from the accumulative experience of conference organization. Since I organized many conferences as General or Program Chair, it, gives me an opportunity to meet young researchers and graduate students and participate in the discussion over brainstorming session and dinners, to get to know their challenges and difficulties in pursuing research in a specific domain for their study in information engineering. I attempted in this book to invite contribution from the best researchers around the globe and accumulate them in single topographic point and assist young researchers to look up this book while perusing their research topic. I hope this book will serve as a reference book for young researchers in Information communication domain and other peers to compare their results.
COMPSAC 2001
Papers from an October 2001 address such themes as requirements engineering, component-based development, protocols and harmonization, quality management, software architecture, workflow systems, and software testing, distributed systems, UML, commercial off-the-shelf components, e-learning applicat
Proceedings of the 28th Annual International Computer Software and Applications Conference
COMPSAC 2004 explores a broad and diverse range of both topics from basic methodology and software process design to such practical concerns as liability, risk and insurance issues. Its second volume of Workshop papers cover software cybernetics, quality assurance and testing of Web-based applications, and biological data management.
The Self-Testing COTS Components (STECC) Method
Component-based development is a major trend in software engineering. One of the expected benefits of using components in software development is an increase of the final system»s quality. Unfortunately, experience showed that use of components does not necessarily imply such an increase and that components, particularly third-party components, need to be tested prior to their integration into a system. This book introduces a new approach called the Self-testing COTS Components (STECC) Method. The STECC method aims to meet the requirements of both the provider and the user of components. On the one hand, the provider of a component usually does not wish to disclose certain information. On the other hand, the user needs to test the component, which might require this information. The STECC method not only benefits the user of a component in that the user can test a component as required. It can also benefit its provider, as self-testability provided by an appropriately augmented component can be an advantage in competition.
