TY - BOOK ID - 79530721 TI - Reliable and Autonomous Computational Science AU - Shin, Sung Y AU - Gantenbein, Rex AU - Kuo, Tei-Wei AU - Hong, Jiman AU - SpringerLink (Online service) PY - 2010 SN - 9783034800310 9783034800303 9783034800327 PB - Basel Springer Basel DB - UniCat KW - Computer science KW - Computer. Automation KW - toegepaste informatica KW - computers KW - informatica KW - database management KW - software engineering KW - programmatielogica UR - https://www.unicat.be/uniCat?func=search&query=sysid:79530721 AB - Increasing size and complexity of software and hardware systems makes it harder to ensure their reliability. At the same time, the issues of autonomous computing become more critical as we more and more rely on software systems in our daily life. Such complexity is getting even more critical with the ubiquitous computing of embedded devices and other pervasive systems. These trends ask for techniques and tools for developing reliable and autonomous software which can support software engineers in their efforts. This book summarizes the state of the art of research in the diverse fields concerned, including novel designs, case studies and experimental as well as theoretical results. ER -