Software Engineering - ESEC-FSE '97
Title | Software Engineering - ESEC-FSE '97 PDF eBook |
Author | Mehdi Jazayeri |
Publisher | Springer |
Pages | 556 |
Release | 1997-09-10 |
Genre | Computers |
ISBN | 9783540635314 |
This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE '97 in Zurich, Switzerland in September 1997. The volume presents 27 revised full papers selected from a total of 194 submissions. Also included are six invited presentations. All in all the volume is a unique presentation of state-of-the-art research and development in software engineering. The papers are organized in topical sections on software engineering education, software architecture, processes, configuration and process tools, formal analysis, empirical studies, system modelling, testing, program analysis, and decomposition and distribution.
Software Engineering - ESEC/FSE '99
Title | Software Engineering - ESEC/FSE '99 PDF eBook |
Author | Oskar Nierstrasz |
Publisher | Springer |
Pages | 536 |
Release | 2003-05-21 |
Genre | Computers |
ISBN | 3540481664 |
For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences have different origins and traditions, there is a significant overlap in intent and subject matter. Holding the conferences jointly when they are held in Europe helps to make these thematic links more explicit, and enco- ages researchers and practitioners to attend and submit papers to both events. The ESEC proceedings have traditionally been published by Springer-Verlag, as they are again this year, but by special arrangement, the proceedings will be distributed to members of ACM SIGSOFT, as is usually the case for FSE. ESEC/FSE is being held as a single event, rather than as a pair of collocated events. Submitted papers were therefore evaluated by a single program committee. ESEC/FSE represents a broad range of software engineering topics in (mainly) two continents, and consequently the program committee members were selected to represent a spectrum of both traditional and emerging software engineering topics. A total of 141 papers were submitted from around the globe. Of these, nearly half were classified as research - pers,aquarterasexperiencepapers,andtherestasbothresearchandexperiencepapers. Twenty-nine papers from five continents were selected for presentation and inclusion in the proceedings. Due to the large number of industrial experience reports submitted, we have also introduced this year two sessions on short case study presentations.
Software Engineering--ESEC/FSE ...
Title | Software Engineering--ESEC/FSE ... PDF eBook |
Author | |
Publisher | |
Pages | 558 |
Release | 1999 |
Genre | Software engineering |
ISBN |
Lectures on Proof Verification and Approximation Algorithms
Title | Lectures on Proof Verification and Approximation Algorithms PDF eBook |
Author | Ernst W. Mayr |
Publisher | Springer Science & Business Media |
Pages | 370 |
Release | 1998-02-25 |
Genre | Computers |
ISBN | 9783540642015 |
This is a self-contained presentation of the enormous recent progress on the interplay between and applications of the theory of probabilistically checkable proofs and approximation algorithms.
Handbook of Software Fault Localization
Title | Handbook of Software Fault Localization PDF eBook |
Author | W. Eric Wong |
Publisher | John Wiley & Sons |
Pages | 614 |
Release | 2023-04-21 |
Genre | Computers |
ISBN | 1119291828 |
Handbook of Software Fault Localization A comprehensive analysis of fault localization techniques and strategies In Handbook of Software Fault Localization: Foundations and Advances, distinguished computer scientists Prof. W. Eric Wong and Prof. T.H. Tse deliver a robust treatment of up-to-date techniques, tools, and essential issues in software fault localization. The authors offer collective discussions of fault localization strategies with an emphasis on the most important features of each approach. The book also explores critical aspects of software fault localization, like multiple bugs, successful and failed test cases, coincidental correctness, faults introduced by missing code, the combination of several fault localization techniques, ties within fault localization rankings, concurrency bugs, spreadsheet fault localization, and theoretical studies on fault localization. Readers will benefit from the authors’ straightforward discussions of how to apply cost-effective techniques to a variety of specific environments common in the real world. They will also enjoy the in-depth explorations of recent research directions on this topic. Handbook of Software Fault Localization also includes: A thorough introduction to the concepts of software testing and debugging, their importance, typical challenges, and the consequences of poor efforts Comprehensive explorations of traditional fault localization techniques, including program logging, assertions, and breakpoints Practical discussions of slicing-based, program spectrum-based, and statistics-based techniques In-depth examinations of machine learning-, data mining-, and model-based techniques for software fault localization Perfect for researchers, professors, and students studying and working in the field, Handbook of Software Fault Localization: Foundations and Advances is also an indispensable resource for software engineers, managers, and software project decision makers responsible for schedule and budget control.
Advances in Computers
Title | Advances in Computers PDF eBook |
Author | |
Publisher | Academic Press |
Pages | 366 |
Release | 2018-02-14 |
Genre | Computers |
ISBN | 012815120X |
Advances in Computers, Volume 108, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. This book provides contributors with a medium in which they can explore subjects in greater depth and breadth than similar topics in journal articles allow. - Provides in-depth surveys and tutorials on new computer technology - Covers well-known authors and researchers in the field - Presents extensive bibliographies with most chapters - Includes volumes that are devoted to single themes or subfields of computer science
Best Practices in Software Measurement
Title | Best Practices in Software Measurement PDF eBook |
Author | Christof Ebert |
Publisher | Springer Science & Business Media |
Pages | 320 |
Release | 2005 |
Genre | Business & Economics |
ISBN | 9783540208679 |
Practical approach to software measurement Contains hands-on industry experiences