Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Software Engineering (D.2) > Software/Program Verification (D.2.4) > Reliability (D.2.4...)  
  1-10 of 90 Reviews about "Reliability (D.2.4...)": Date Reviewed
  Reliable software for unreliable hardware: a cross layer perspective
Rehman S., Shafique M., Henkel J.,  Springer International Publishing, New York, NY, 2016. 237 pp. Type: Book (978-3-319257-70-9)

Today we are living through a boom in the software and hardware fields, mainly motivated by what is called the Internet of Things (IoT). It is obvious that hardware improvements can no longer be accomplished without fault-tolerant software. The ti...

Apr 6 2017
   Behavioral subtyping, specification inheritance, and modular reasoning
Leavens G., Naumann D.  ACM Transactions on Programming Languages and Systems 37(4): 1-88, 2015. Type: Article

This is a long paper: 67 pages plus a 21-page appendix. It describes the verification of a dynamically dispatched method call of an object-oriented program by using supertype abstraction. The authors maintain that such abstraction is only valid wh...

Dec 15 2015
  Semantic metrics for software products
Mili A., Jaoua A., Frias M., Helali R.  Innovations in Systems and Software Engineering 10(3): 203-217, 2014. Type: Article

Software reliability is one of the most extensively studied of all software quality attributes. There are literally dozens of models to predict and assess software reliability, some that date back to the 1970s. The measurement goal established in ...

Jul 9 2015
  Dependability and software reuse -- coupling them by an industrial standard
Belli F.  SERE-C 2013 (Proceedings of the IEEE 7th International Conference on Software Security and Reliability--Companion, Jun 18-20, 2013) 145-154, 2013. Type: Proceedings

The author of this paper applies the perspective of standardization to the subject of software reuse, with explicit considerations for dependability. The paper reports on work on a pre-standard publicly available specification from the Internation...

Jan 22 2014
  A data-centric approach to synchronization
Dolby J., Hammer C., Marino D., Tip F., Vaziri M., Vitek J.  ACM Transactions on Programming Languages and Systems 34(1): 1-48, 2012. Type: Article

Concurrency-related errors, like data races, are very difficult to track down and eliminate in large object-oriented programs. Existing approaches to prevent data races rely on protecting instruction sequences (like critical sections) with synchro...

Jan 10 2013
  Reliability engineering (2nd ed.)
Elsayed E.,  Wiley Publishing, Hoboken, NJ, 2012. 792 pp. Type: Book (978-1-118137-19-2)

Elsayed has produced a wonderful book for those who need to understand the theory and practice of the field of reliability engineering, with one striking exception. He does not treat the reliability of software-intensive systems or cross over the ...

Nov 29 2012
  A BPM software evaluation method
Li C., Cui H., Ma G., Wang Z.  ISDEA 2012 (Proceedings of the 2012 2nd International Conference on Intelligent System Design and Engineering Application, Jan 6-7, 2012) 1-4, 2012. Type: Proceedings

Most probably, the only new content even a careful reader will be able to extract from this work is a list of 25 nonoperationalized, undiscussed, high-level criteria in six categories, superficially aligned for assessing the trust of a business pr...

Sep 19 2012
  Feasibility of stepwise design of multitolerant programs
Ebnenasir A., Kulkarni S.  ACM Transactions on Software Engineering and Methodology 21(1): 1-49, 2011. Type: Article

There is much debate in the software community about whether fault tolerance, security, privacy, and other resilience qualities should be built into the software as it is designed or added to a fully developed system. Because the faults against wh...

Mar 23 2012
  Design for reliability: information and computer-based systems
Bauer E.,  Wiley-IEEE Press, Hoboken, NJ, 2010. 325 pp. Type: Book (978-0-470604-65-6)

Readers who are looking for a broad introduction to reliability issues related to information technology (IT) systems will find this book useful. Besides dealing with various technical aspects (such as hardware, software, and network-related aspec...

May 16 2011
  Needed foundations for assuring the desirable behavior of software-reliant systems
Northrop L., Klein M., Goodenough J., Smith D.  FoSER 2010 (Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research, Santa Fe, NM,  Nov 7-8, 2010) 259-262, 2010. Type: Proceedings

Since the beginning of computing, lamenting the increasing complexity of computing systems and the difficulty of delivering quality systems has been a nearly ubiquitous theme in research literature. Yet, there seems to be a consensus in the comput...

Mar 23 2011
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy