977 search results - page 53 / 196 » Formal methods integration in software engineering |
108
click to vote
APL
1993
ACM
15 years 8 months ago
1993
ACM
: The problem of a finding of ranging of the objects nearest to the cyclic relation set by the expert between objects is considered. Formalization of the problem arising at it is r...
150
click to vote
INFORMATICALT
2000
15 years 3 months ago
2000
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...
123
click to vote
SEKE
2001
Springer
15 years 8 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
122
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
128
Voted
ACTAC
2002
15 years 3 months ago
2002
A method for recognizing design patterns from C++ programs is presented. The method consists of two separate phases, analysis and reverse engineering of the C++ code, and architec...