Welcome to our book review site www.go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Advances in Computers
  • Language: en
  • Pages: 313

Advances in Computers

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

Model-Based Testing of Automotive HMIs with Consideration for Product Variability
  • Language: en
  • Pages: 191

Model-Based Testing of Automotive HMIs with Consideration for Product Variability

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...

Recent Advances in AI Planning
  • Language: en
  • Pages: 402

Recent Advances in AI Planning

  • Type: Book
  • -
  • Published: 1999
  • -
  • Publisher: Unknown

None

ACM Transactions on Software Engineering and Methodology
  • Language: en
  • Pages: 562

ACM Transactions on Software Engineering and Methodology

  • Type: Book
  • -
  • Published: 2005
  • -
  • Publisher: Unknown

None

12th International Symposium on Software Reliability Engineering
  • Language: en
  • Pages: 382

12th International Symposium on Software Reliability Engineering

  • Type: Book
  • -
  • Published: 2001
  • -
  • Publisher: I E E E

The papers in this volume constitute the proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001).

Software Testing and Analysis
  • Language: en
  • Pages: 516

Software Testing and Analysis

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

The Proceedings of the 1998 Symposium on Performance Evaluation of Computer and Telecommunication Systems
  • Language: en
  • Pages: 374

The Proceedings of the 1998 Symposium on Performance Evaluation of Computer and Telecommunication Systems

  • Type: Book
  • -
  • Published: 1998
  • -
  • Publisher: Unknown

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.

Proceedings of the ACM SIGSOFT Eighth International Symposium on the Foundations of Software Engineering
  • Language: en
  • Pages: 188
Proceedings
  • Language: en
  • Pages: 400

Proceedings

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.