Software Engineering - ESEC '95 PDF Download

Author: Wilhelm Schäfer
Publisher: Springer Science & Business Media
ISBN: 9783540604068
Category : Computers
Languages : en
Pages : 540

View

Book Description
This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development.

Author:
Publisher:
ISBN:
Category : Software engineering
Languages : en
Pages : 548

View

Book Description

Author: Sami Beydeda
Publisher: Springer Science & Business Media
ISBN: 354027071X
Category : Computers
Languages : en
Pages : 410

View

Book Description
Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf (COTS) components enable the systematic and cost-effective reuse of prefabricated tested parts, a characteristic approach of mature engineering disciplines. This reuse necessitates a thorough test of these components to make sure that each works as specified in a real context. Beydeda and Gruhn invited leading researchers in the area of component testing to contribute to this monograph, which covers all related aspects from testing components in a context-independent manner through testing components in the context of a specific system to testing complete systems built from different components. The authors take the viewpoints of both component developers and component users, and their contributions encompass functional requirements such as correctness and functionality compliance as well as non-functional requirements like performance and robustness. Overall this monograph offers researchers, graduate students and advanced professionals a unique and comprehensive overview of the state of the art in testing COTS components and COTS-based systems.

Author: Rech, J”rg
Publisher: IGI Global
ISBN: 1605660078
Category : Computers
Languages : en
Pages : 526

View

Book Description
Covers important concepts, issues, trends, methodologies, and technologies in quality assurance for model-driven software development.

Author: Angel P. del Pobil
Publisher: Springer Science & Business Media
ISBN: 9783540606208
Category : Technology & Engineering
Languages : en
Pages : 260

View

Book Description
This book is devoted to the development of adequate spatial representations for robot motion planning. Drawing upon advanced heuristic techniques from AI and computational geometry, the authors introduce a general model for spatial representation of physical objects. This model is then applied to two key problems in intelligent robotics: collision detection and motion planning. In addition, the application to actual robot arms is kept always in mind, instead of dealing with simplified models. This monograph is built upon Angel del Pobil's PhD thesis which was selected as the winner of the 1992 Award of the Spanish Royal Academy of Doctors.

Author: Marie-Claude Gaudel
Publisher: Springer Science & Business Media
ISBN: 9783540609735
Category : Business & Economics
Languages : en
Pages : 724

View

Book Description
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.

Author: Jan Bosch
Publisher: Springer
ISBN: 038735607X
Category : Computers
Languages : en
Pages : 234

View

Book Description
For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a competitive edge. Consequences of this trend are an increase in: the size of software systems, the variability in software artifacts, and the importance of software in achieving the system-level properties. Software architecture provides the necessary abstractions for managing the resulting complexity. We here introduce the Third Working IEEFlIFIP Conference on Software Architecture, WICSA3. That it is already the third such conference is in itself a clear indication that software architecture continues to be an important topic in industrial software development and in software engineering research. However, becoming an established field does not mean that software architecture provides less opportunity for innovation and new directions. On the contrary, one can identify a number of interesting trends within software architecture research. The first trend is that the role of the software architecture in all phases of software development is more explicitly recognized. Whereas initially software architecture was primarily associated with the architecture design phase, we now see that the software architecture is treated explicitly during development, product derivation in software product lines, at run-time, and during system evolution. Software architecture as an artifact has been decoupled from a particular lifecycle phase.

Author: Hanne R. Nielson
Publisher: Springer Science & Business Media
ISBN: 9783540610557
Category : Computers
Languages : en
Pages : 424

View

Book Description
This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.

Author: Klaus R. Dittrich
Publisher: Springer
ISBN: 3540453415
Category : Computers
Languages : en
Pages : 496

View

Book Description
Since the late 1980s, the CAiSE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the ?eld of Information Systems Engineering. CAiSE 2001 was the 13th conference in this series and was held from 4th to 8th June 2001 in the resort of Int- laken located near the three famous Swiss mountains – the Eiger, M ̈ onch, and Jungfrau. The ?rst two days consisted of pre-conference workshops and tutorials. The workshop themes included requirements engineering, evaluation of modeling methods, data integration over the Web, agent-oriented information systems, and the design and management of data warehouses. Continuing the tradition of recent CAiSE conferences, there was also a doctoral consortium. The p- conference tutorials were on the themes of e-business models and XML appli- tion development. The main conference program included three invited speakers, two tuto- als, and a panel discussion in addition to presentations of the papers in these proceedings. We also included a special ‘practice and experience’ session to give presentersanopportunitytoreportonanddiscussexperiencesandinvestigations on the use of methods and technologies in practice. Weextendourthankstothemembersoftheprogramcommitteeandallother referees without whom such conferences would not be possible. The program committee, whose members came from 20 di?erent countries, selected 27 hi- quality research papers and 3 experience reports from a total of 97 submissions. The topics of these papers span the wide-range of topics relevant to information systems engineering – from requirements and design through to implementation and operation of complex and dynamic systems.

Author: Antoon Bosselaers
Publisher: Springer
ISBN: 3540485171
Category : Computers
Languages : en
Pages : 239

View

Book Description
This manual documents the outcome of the EC sponsored project RACE Integrity Primitives Evaluation (R1040), RIPE. This project is a huge joint 350 man-month project conducted by 16 leading European security experts. This book offers expert advice to professionals seeking to secure information systems by applying up-to-date cryptographic techniques. The core of this volume is a detailed integrity primitives portfolio recommendation. Among the issues addressed are security services, integrity mechanisms, data origin authentication, entity authentication, access control, data integrity, non-repudiation, signatures, and key exchange.