Author : Shing-Chi Cheung
Publisher :
Page : 856 pages
File Size : 26,31 MB
Release : 2014
Category : Computer science
ISBN : 9781450330565
Author : Jyotirmoy Deshmukh
Publisher : Springer Nature
Page : 538 pages
File Size : 38,33 MB
Release : 2020-10-07
Category : Computers
ISBN : 3030605086
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.
Author :
Publisher :
Page : pages
File Size : 14,42 MB
Release :
Category :
ISBN :
Author :
Publisher :
Page : 208 pages
File Size : 30,70 MB
Release : 1993
Category : Computer software
ISBN :
Author : Leonard Richardson
Publisher : "O'Reilly Media, Inc."
Page : 464 pages
File Size : 45,14 MB
Release : 2013-09-12
Category : Computers
ISBN : 1449359736
The popularity of REST in recent years has led to tremendous growth in almost-RESTful APIs that don’t include many of the architecture’s benefits. With this practical guide, you’ll learn what it takes to design usable REST APIs that evolve over time. By focusing on solutions that cross a variety of domains, this book shows you how to create powerful and secure applications, using the tools designed for the world’s most successful distributed computing system: the World Wide Web. You’ll explore the concepts behind REST, learn different strategies for creating hypermedia-based APIs, and then put everything together with a step-by-step guide to designing a RESTful Web API. Examine API design strategies, including the collection pattern and pure hypermedia Understand how hypermedia ties representations together into a coherent API Discover how XMDP and ALPS profile formats can help you meet the Web API "semantic challenge" Learn close to two-dozen standardized hypermedia data formats Apply best practices for using HTTP in API implementations Create Web APIs with the JSON-LD standard and other the Linked Data approaches Understand the CoAP protocol for using REST in embedded systems
Author : Christine Hofmeister
Publisher : Springer
Page : 218 pages
File Size : 50,53 MB
Release : 2009-09-02
Category : Computers
ISBN : 9783540832577
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2006, held in Västerås, Sweden in June 2006, co-located with the 9th International Symposium on Component-Based Software Engineering, CBSE 2006. Coverage includes architecture evaluation, managing and applying architectural knowledge, and processes for supporting architecture quality.
Author : Ben Liblit
Publisher : Springer
Page : 113 pages
File Size : 35,29 MB
Release : 2007-05-04
Category : Computers
ISBN : 3540718788
This monograph presents a new and fundamental approach to software analysis that will provide a source of ideas and inspiration for many years to come. It constitutes a thoroughly revised and extended version of the author's PhD thesis, which was selected as the winning thesis of the 2005 ACM Doctoral Dissertation Competition. Ben Liblit did his PhD work at the University of California, Berkeley, with Alexander Aiken as thesis adviser.
Author : Mauro Pezze
Publisher : John Wiley & Sons
Page : 516 pages
File Size : 18,83 MB
Release : 2008
Category : Computers
ISBN :
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
Author : Tevfik Bultan
Publisher :
Page : pages
File Size : 30,85 MB
Release : 2017-07-10
Category :
ISBN : 9781450350761
ISSTA '17: International Symposium on Software Testing and Analysis Jul 10, 2017-Jul 14, 2017 Santa Barbara, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Author : Boris Beizer
Publisher : Van Nostrand Reinhold Company
Page : 392 pages
File Size : 45,58 MB
Release : 1984
Category : Computers
ISBN :
Software development and quality assurance managers can use this thorough guide to system testing to ensure high-quality software. A worthy reference addition to any library!
