977 search results - page 138 / 196 » Formal methods integration in software engineering |
159
Voted
ACL2
2006
ACM
15 years 10 months 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, (...
137
Voted
ESOP
2005
Springer
15 years 9 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...
147
Voted
COMPSAC
2005
IEEE
15 years 9 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...
133
click to vote
SCAM
2006
IEEE
15 years 10 months 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...
170
click to vote
SOCO
1998
Springer
15 years 3 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 ...