This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Lire la suiteThis book provides a concise yet comprehensive overview on how to build a quality management program for hematopoietic stem ...
Lire la suiteThis volume contains the main results of the three years study (2003 - 2007) of the Virtual Institute RESPACE (Key Technologies ...
Lire la suiteMany decisions are required throughout the software development process. These decisions, and to some extent the decision-making ...
Lire la suiteThis book reports on a novel and comprehensive approach to the uptake of ICT in Schools. It focuses on key questions, pedagogically ...
Lire la suiteRequirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
Lire la suiteThis book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lire la suiteVisual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...
Lire la suiteThis book trains the next generation of scientists representing different disciplines to leverage the data generated during ...
Lire la suiteSemantics will have an important role to play in the future development of software systems and domain specific languages, ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lire la suiteSoftware is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
Lire la suiteThe book deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, ...
Lire la suiteThis book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...
Lire la suiteSoftware Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...
Lire la suiteThis second of two volumes covers applications of fluorescence for bioanalysis and biomedical diagnostics.
Lire la suiteNew manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...
Lire la suiteThe service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. ...
Lire la suiteThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Lire la suite