223 search results - page 18 / 45 » Object-Oriented Programming Testing Methodology |
118
click to vote
ET
2006
15 years 4 months ago
2006
Recent years have seen the emergence of dropletbased microfluidic systems for safety-critical biomedical applications. In order to ensure reliability, microsystems incorporating m...
129
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
167
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
129
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
133
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...