7167 search results - page 393 / 1434 » Answer Set Programming |
116
Voted
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
129
Voted
ISSRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
111
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
126
Voted
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
115
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...