15777 search results - page 622 / 3156 » The Reformulation-Optimization Software Engine |
280
click to vote
BCSHCI
2008
15 years 8 months ago
2008
In this article we present the research of SArt project at the Norwegian University of Science and Technology. In SArt we have the vision that software engineering can benefit fro...
147
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
196
click to vote
ESAW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
169
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
164
Voted
FPL
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a virus scanning engine. After showing the difference between ClamAV (an anti-virus software) and SNORT (an intrusion detection software), we show a new archit...