Software and Systems Traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle. The term software
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised ful
This book constitutes the thoroughly refereed post-conference proceedings of the Second International ICST Conference on Sensor Systems and Software, S-Cube 2010, held in Miami, Florida, USA, in Decem
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. ICTSS 2010 is the
This book constitutes the proceedings of the First International ICST Conference, S-CUBE 2009, held in Pisa, Italy, in september 2009.The 16 contributions published in this volume were carefully selec
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
This book highlights a range of new approaches and concepts in the field of software engineering. Based on systematic methods, graphical and formal models, the approaches are designed for solving prac
Modern day projects require software and systems engineers to work together in realizing architectures of large and complex software-intensive systems. This book examines the role of system architectu
During the last few years, software evolution research has explored new domains such as the study of socio-technical aspects and collaboration between different individuals contributing to a software
This book covers the use and development of software for astronomy. It describes the control systems used to point the telescope and operate its cameras and spectrographs, as well as the web-based too
This Three-Volume-Set constitutes the refereed proceedings of the SecondInternational Conference on Software Engineering and Computer Systems,ICSECS 2011, held in Kuantan, Malaysia, in June 2011.The 1
This Three-Volume-Set constitutes the refereed proceedings of the SecondInternational Conference on Software Engineering and Computer Systems,ICSECS 2011, held in Kuantan, Malaysia, in June 2011.The 1
This volume constitutes the refereed proceedings of the 18th EuroSPI conference, held in Roskilde, Denmark, in June 2011. The 18 revised full papers presented together with 9 key notes were carefully
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for
By way of this book, Norman Schneidewind has officially bridged the gap between the two disparate fields. Filled with many real-world examples drawn from industry and government, Systems and Software
This book contains the refereed proceedings of the 1st International Conference on Lean Enterprise Software and Systems, LESS 2010, held in Helsinki, Finland, in October 2010. LESS 2010 is the first s
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches
Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and par
Solid requirements engineering has become increasingly essential to on-time and on-budget delivery of software and systems projects. As more engineering programs make it a mandatory part of their curr
This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.The 10 revised ful
Traditionally, software engineers have defined security as a non-functional requirement. As such, all too often it is only considered as an afterthought, making software applications and services vuln
RFID technology has been available for decades, but it is only recently that its application has become a core topic for computing. This book introduces the technologies and techniques of large-scale
Many software projects fail because their leaders don't know how to estimate, schedule, or measure them accurately. Fortunately, proven tools and techniques exist for every facet of software estimatio
A collection of surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on the border between algebra and geometry. T
Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU
