498 search results - page 67 / 100 » Testing levels for object-oriented software |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Senior citizens often find it difficult to remember names. This paper describes a novel cell phone application that uses information about one's social network and the places...
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
CODES
2011
IEEE
12 years 7 months ago
2011
IEEE
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
ICONS
2008
IEEE
14 years 2 months ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
ADAEUROPE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...