+353-1-416-8900REST OF WORLD
+44-20-3973-8888REST OF WORLD
1-917-300-0470EAST COAST U.S
1-800-526-8630U.S. (TOLL FREE)


Advances in Computers, Vol 107

  • ID: 4081013
  • Book
  • August 2017
  • 286 Pages
  • Elsevier Science and Technology
1 of 2

Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.

  • Provides in-depth surveys and tutorials on new computer technology
  • Presents well-known authors and researchers in the field
  • Includes extensive bibliographies with most chapters
  • Volumes are devoted to single themes or subfields of computer science

Please Note: This is an On Demand product, delivery may take up to 11 working days after payment has been received.

Note: Product cover images may vary from those shown
2 of 2
1. Pitfalls and Countermeasures in Software Quality Measurements and Evaluations
Hironori Washizaki
2. Uncertainty-Wise Testing of Cyber-Physical Systems
Shaukat Ali, Hong Lu, Shuai Wang, Tao Yue and Man Zhang
3. Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey
Rachida Dssouli, Ahmed Khoumsi, Mounia Elqortobi and Jamal Bentahar
4. Advances in Testing Software Product Lines
Hartmut Lackner and Bernd-Holger Schlingloff
5. Advances in Model-Based Testing of Graphical User Interfaces
Fevzi Belli, Mutlu Beyazit, Christof J. Budnik and Tugkan Tuglular
Note: Product cover images may vary from those shown
3 of 2