Software Quality - ECSQ 2002
Software Quality - ECSQ 2002

Author: Jyrki Kontio

Publisher: Springer

Published: 2003-08-01

Total Pages: 376

ISBN-13: 3540479848

DOWNLOAD EBOOK

Software professionals and companies live in a new world today. Increasingly complex systems need to be built faster and cheaper. While many of the est- lished approaches in software quality are still valid, the software quality c- munity is going through a paradigm shift that requires a re-assessment of our current method and tool portfolio, as well as creating new and more e?ective solutions. We have selected two themes for this conference to highlight this paradigm shift. Our ?rst theme, “production of attractive and reliable software at Internet speed” sums up the dilemma many software organisations face. In order to be competitive, software should contain advanced features and run reliably – yet it should be developed quickly and cost e?ectively for the right market window. Finding the right balance between these objectives is a critical question that will determine business success in the years to come. Our second theme, “production of software with a dynamic partnership n- work” highlights the current trend of using partnerships and subcontractors as integral players in the software development process. Partnerships sometimes need to be created quickly to respond to a market opportunity, yet the costs and speed of cooperation must be competitive. Di?erent companies have di?erent processes, quality tools and cultures, yet they should cooperate seamlessly for the best result.

Agile Software Development Quality Assurance
Agile Software Development Quality Assurance

Author: Stamelos, Ioannis G.

Publisher: IGI Global

Published: 2007-02-28

Total Pages: 266

ISBN-13: 1599042185

DOWNLOAD EBOOK

"This book provides the research and instruction used to develop and implement software quickly, in small iteration cycles, and in close cooperation with the customer in an adaptive way, making it possible to react to changes set by the constant changing business environment. It presents four values explaining extreme programming (XP), the most widely adopted agile methodology"--Provided by publisher.

Requirements Engineering: Foundation for Software Quality
Requirements Engineering: Foundation for Software Quality

Author: Björn Regnell

Publisher: Springer Science & Business Media

Published: 2012-03-14

Total Pages: 337

ISBN-13: 3642287131

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2012, held in Essen, Germany, in March 2012. The papers are organized in 10 topical sections on contractual requirements, quality requirements, collaboration, complexity and creativity, requirements analysis, templates and heuristics, requirements traceability, tools and quality, services and clouds, self-adaptivity, and industrial case studies.

Formal Approaches to Software Testing
Formal Approaches to Software Testing

Author: Wolfgang Grieskamp

Publisher: Springer

Published: 2006-06-03

Total Pages: 229

ISBN-13: 3540344551

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

Software Architecture Knowledge Management
Software Architecture Knowledge Management

Author: Muhammad Ali Babar

Publisher: Springer Science & Business Media

Published: 2010-05-03

Total Pages: 287

ISBN-13: 3642023754

DOWNLOAD EBOOK

A software architecture manifests the major early design decisions, which determine the system’s development, deployment and evolution. Thus, making better architectural decisions is one of the large challenges in software engineering. Software architecture knowledge management is about capturing practical experience and translating it into generalized architectural knowledge, and using this knowledge in the communication with stakeholders during all phases of the software lifecycle. This book presents a concise description of knowledge management in the software architecture discipline. It explains the importance of sound knowledge management practices for improving software architecture processes and products, and makes clear the role of knowledge management in software architecture and software development processes. It presents many approaches that are in use in software companies today, approaches that have been used in other domains, and approaches under development in academia. After an initial introduction by the editors, the contributions are grouped in three parts on "Architecture Knowledge Management", "Strategies and Approaches for Managing Architectural Knowledge", and "Tools and Techniques for Managing Architectural Knowledge". The presentation aims at information technology and software engineering professionals, in particular software architects and software architecture researchers. For the industrial audience, the book gives a broad and concise understanding of the importance of knowledge management for improving software architecture process and building capabilities in designing and evaluating better architectures for their mission- and business-critical systems. For researchers, the book will help to understand the applications of various knowledge management approaches in an industrial setting and to identify research challenges and opportunities.

Product Focused Software Process Improvement
Product Focused Software Process Improvement

Author: Markku Oivo

Publisher: Springer

Published: 2003-07-01

Total Pages: 660

ISBN-13: 3540362096

DOWNLOAD EBOOK

On behalf of the PROFES organizing committee we would like to welcome you to the 4th International Conference on Product Focused Software Process Impro- ment (PROFES 2002) in Rovaniemi, Finland. The conference was held on the Arctic Circle in exotic Lapland under the Northern Lights just before Christmas time, when Kaamos (the polar night is known in Finnish as ”Kaamos”) shows its best characteristics. PROFES has established itself as one of the recognized international process improvement conferences. Despite the current economic downturn, PROFES has attracted a record number of submissions. A total of 70 full papers were subm- ted and the program committee had a di?cult task in selecting the best papers to be presented at the conference. The main theme of PROFES is professional software process improvement (SPI) motivated by product and service quality needs. SPI is facilitated by so- ware process assessment, software measurement, process modeling, and techn- ogy transfer. It has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice and the relevant research results from academia.

Empirical Methods and Studies in Software Engineering
Empirical Methods and Studies in Software Engineering

Author: Reidar Conradi

Publisher: Springer

Published: 2003-08-20

Total Pages: 288

ISBN-13: 3540451439

DOWNLOAD EBOOK

Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities. Therefore, software professionals, researchers, managers, and practitioners alike have to competently decide what software technologies and products to choose for which purpose. For various reasons, systematic empirical studies employing strictly scientific methods are hardly practiced in software engineering. Thus there is an unquestioned need for developing improved and better-qualified empirical methods, for their application in practice and for dissemination of the results. This book describes different kinds of empirical studies and methods for performing such studies, e.g., for planning, performing, analyzing, and reporting such studies. Actual studies are presented in detail in various chapters dealing with inspections, testing, object-oriented techniques, and component-based software engineering.

Reliable Software Technologies - Ada-Europe 2004
Reliable Software Technologies - Ada-Europe 2004

Author: Albert Llamosi

Publisher: Springer

Published: 2004-04-22

Total Pages: 344

ISBN-13: 3540248412

DOWNLOAD EBOOK

The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14–18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: – S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire – Martin Gogolla, University of Bremen, Germany Bene?ts and problems of formal methods – Antoni Oliv ́ e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems’ development – Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable? Wewouldliketoexpressoursinceregratitudetothesedistinguishedspeakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di?erentcountries.