Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lee masSolving PDEs in Python : The FEniCS Tutorial I
This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...
Lee mas
Spring Recipes : A Problem-Solution Approach
Spring Recipes covers Spring 2.5 from basic to advanced, including Spring IoC container, Spring AOP and AspectJ, Spring data ...
Lee mas
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Lee mas
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lee mas
Strategy, Planning and Organization of Test Processes : Basis for Successful Project Execution in Software Testing / Frank Witte
Provides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are ...
Lee mas
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
This book breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based ...
Lee mas
Systems Engineering of Software-Enabled Systems / Richard E. Fairley
Presents an approach to developing software-enabled systems that integrates the incremental approach used by systems engineers ...
Lee mas
Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings
This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
Lee mas
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Lee mas
Taking Your iPod touch to the Max
Fast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...
Lee mas
Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond
This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...
Lee mas
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lee mas
TestGoal : Result-Driven Testing
TestGoal is not just another methodology. Several good testing methodologies exist. But, like any other profession, also ...
Lee mas
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Lee mas
Testing and Tuning Market Trading Systems : Algorithms in C++ / Timothy Masters
Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...
Lee mas
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lee mas
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lee mas
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lee mas
The Best Software Writing I
Will appeal to the same (large) audience as Joel on Software * Contains exclusive commentary by Joel * Lots of free publicity ...
Lee mas
