977 search results - page 138 / 196 » Formal methods integration in software engineering |
183
click to vote
ACL2
2006
ACM
16 years 4 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
165
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
175
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
153
click to vote
SCAM
2006
IEEE
16 years 4 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
196
click to vote
SOCO
1998
Springer
15 years 5 months ago
1998
Springer
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...