2127 search results - page 155 / 426 » Software Automation |
180
click to vote
SERP
2007
15 years 7 months ago
2007
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
170
click to vote
DLOG
2007
15 years 8 months ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
148
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
325
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
201
click to vote
ISADS
2003
IEEE
15 years 11 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...