Software Engineering - ESEC/FSE '99
Software Engineering - ESEC/FSE '99

Author: Oskar Nierstrasz

Publisher: Springer Science & Business Media

Published: 1999-08-30

Total Pages: 542

ISBN-13: 3540665382

DOWNLOAD EBOOK

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.

UML'99 - The Unified Modeling Language: Beyond the Standard
UML'99 - The Unified Modeling Language: Beyond the Standard

Author: Robert B. France

Publisher: Springer

Published: 2003-07-31

Total Pages: 739

ISBN-13: 3540468528

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on the Unified Modeling Language, UML'99, held in Fort Collins, CO, USA in September 1999. The 44 revised full papers presented together with two invited contributions and three panel summaries were carefully reviewed and selected from a total of 166 submissions. The papers are organized in topical sections on software architecture, UML and other notations, formalizing interactions, meta modeling, tools, components, UML extension mechanisms, process modeling, real-time systems, constraint languages, analyzing UML models, precise behavioral modeling, applying UML sequence design, and coding.

Engineering Interactive Systems
Engineering Interactive Systems

Author: Jan Gulliksen

Publisher: Springer Science & Business Media

Published: 2008-12-18

Total Pages: 649

ISBN-13: 3540926976

DOWNLOAD EBOOK

Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human–computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Systems 2007 was created by merging three conferences: • HCSE 2007 – Human-Centerd Software Engineering held for the first time. The HCSE Working Conference is a multidisciplinary conference entirely dedicated to advancing the basic science and theory of human-centerd software systems engineering. It is organized by IFIP WG 13.2 on Methodologies for User-Centerd Systems Design. • EHCI 2007 – Engineering Human Computer Interaction was held for the tenth time. EHCI aims to investigate the nature, concepts, and construction of user interfaces for software systems. It is organized by IFIP WG 13.4/2.7 on User Interface Engineering. • DSV-IS 2007 – Design, Specification and Verification of Interactive Systems was held for the 13th time. DSV-IS provides a forum where researchers wo- ing on model-based techniques and tools for the design and development of - teractive systems can come together with practitioners and with those working on HCI models and theories.

Perspectives on Software Requirements
Perspectives on Software Requirements

Author: Julio Cesar Sampaio do Prado Leite

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 290

ISBN-13: 1461504651

DOWNLOAD EBOOK

Perspectives On Software Requirements presents perspectives on several current approaches to software requirements. Each chapter addresses a specific problem where the authors summarize their experiences and results to produce well-fit and traceable requirements. Chapters highlight familiar issues with recent results and experiences, which are accompanied by chapters describing well-tuned new methods for specific domains.

Runtime Verification
Runtime Verification

Author: Christian Colombo

Publisher: Springer

Published: 2018-11-07

Total Pages: 474

ISBN-13: 303003769X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Software Product Lines
Software Product Lines

Author: Timo Käkölä

Publisher: Springer Science & Business Media

Published: 2007-02-07

Total Pages: 658

ISBN-13: 3540332537

DOWNLOAD EBOOK

This book covers research into the most important practices in product line organization. Contributors offer experience-based knowledge on the domain and application engineering, the modeling and management of variability, and the design and use of tools to support the management of product line-related knowledge.

Safety and Risk Modeling and Its Applications
Safety and Risk Modeling and Its Applications

Author: Hoang Pham

Publisher: Springer Science & Business Media

Published: 2011-09-08

Total Pages: 430

ISBN-13: 0857294709

DOWNLOAD EBOOK

Safety and Risk Modeling presents the latest theories and methods of safety and risk with an emphasis on safety and risk in modeling. It covers applications in several areas including transportations and security risk assessments, as well as applications related to current topics in safety and risk. Safety and Risk Modeling is a valuable resource for understanding the latest developments in both qualitative and quantitative methods of safety and risk analysis and their applications in operating environments. Each chapter has been written by active researchers or experienced practitioners to bridge the gap between theory and practice and to trigger new research challenges in safety and risk. Topics include: safety engineering, system maintenance, safety in design, failure analysis, and risk concept and modelling. Postgraduate students, researchers, and practitioners in many fields of engineering, operations research, management, and statistics will find Safety and Risk Modeling a state-of-the-art survey of reliability and quality in design and practice.

Software Architectures for Product Families
Software Architectures for Product Families

Author: Frank van der Linden

Publisher: Springer

Published: 2003-06-29

Total Pages: 263

ISBN-13: 3540445420

DOWNLOAD EBOOK

This book contains the proceedings of a third workshop on the theme of Software Arc- tecture for Product Families. The first two workshops were organised by the ESPRIT project ARES, and were called “Development and Evolution of Software Architectures for Product Families”. Proceedings of the first workshop, held in November 1996, were only published electronically at: “http://www.dit.upm.es/~ares/”. Proceedings of the second workshop, held in February 1998, were published as Springer LNCS 1429. The ARES project was finished in February 1999. Several partners continued - operation in a larger consortium, ITEA project 99005, ESAPS. As such it is part of the European Eureka ! 2023 programme. The third workshop was organised as part of the ESAPS project. In order to make the theme of the workshop more generic we decided to rename it “International Workshop on Software Architectures for Product Families”. As with the earlier two workshops we managed to bring together people working in the so- ware architecture of product families and in software product-line engineering. Submitted papers were grouped in five sessions. Moreover, we introduced two s- sions, one on configuration management and one on evolution, because we felt that d- cussion was needed on these topics, but there were no submitted papers for these subjects. Finally, we introduced a surveys session, giving an overview of the present situation in Europe, focussed on ESAPS, and in the USA, focussed on the SEI Product Line Systems Program.