You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field. - In-depth surveys and tutorials on new computer technology - Well-known authors and researchers in the field - Extensive bibliographies with most chapters - Many of the volumes are devoted to single themes or subfields of computer science
Die Mensch-Maschine-Schnittstellen (HMIs) von Infotainmentsystemen der heutigen Premiumfahrzeuge sind sehr komplexe und eingebettete Systeme. Sie haben im Vergleich mit herkömmlichen PC-Applikationen besondere Eigenschaften, insbesondere bezogen auf ihre Variabilität. Die Variabilität von Infotainmentsystem HMIs ergibt sich aus unterschiedlichen Fahrzeugmodellen, Produktserien, Märkten, Ausstattungen, System- sowie Sprachvarianten. Die hohe Anzahl der Varianten führt zu enorm hohem Testaufwand. Modellbasiertes Testen ist ein vielversprechender Ansatz, um den Testaufwand durch die automatische Testfallgenerierung und Testausführung zu reduzieren und gleichzeitig die Testabdeckung zu erh...
The papers in this volume constitute the proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001).
Teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost Readers will be able to minimize software failures, increase quality, and effectively manage costs Covers techniques that are suitable for near-term application, with sufficient technical background to indicate how and when to apply them Provides balanced coverage of software testing & analysis approaches By incorporating modern topics and strategies, this book will be the standard software-testing textbook
SPECTS'98 features many presentations of performance evaluation of computer & telecommunication systems. Among these, ATM systems, tracing techniques, teletraffic engineering, quality of service, memory systems, parallel & distributed processing, interconnection networks, network management, high-speed networking, high-performance computing/computers, algorithms, performance measurement, mobile computing & networking, architectures, workload characterization, congestion control & admission, resource allocation, wireless systems, protocols, & others. This year's proceedings includes top-quality papers from all over the world, with representation from academia, industry, business & government.
The ASE conference is the major conference for theory and practice concerned with automating the software development process. Formerly known as Knowledge-Based Software Engineering (KBSE), the conference expanded in order to reach out to other scientific communities concerned with the automation aspects of formal methods, software process, human-computer interaction, requirements engineering, reverse engineering, testing and verification and validation, while still including an active artificial intelligence and knowledge-based research focus.