System Analysis and Modeling
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
Lee mas
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
Lee mas
System-level Test and Validation of Hardware
New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...
Lee mas
SystemVerilog for Verification
Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...
Lee masSystematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ...
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
Taxonomies for the Development and Verification of Digital Systems
"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...
Lee mas
Technical Translation
This book is an introduction to technical translation and usability for translators and researchers. It draws on a broad ...
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 Commercial-off-the-Shelf Components and Systems
Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf ...
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 Communicating Systems (vol. # 3502)
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Lee mas
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
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
