1781 search results - page 152 / 357 » An Emerging Need for a New Software Engineering Method |
100
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
97
Voted
IJCAI
1989
15 years 1 months ago
1989
The difficulty of maintaining very large software systems is becoming more widely acknowledged. One of the primary problems is the need to access information about a complex and e...
136
Voted
ZUM
1997
Springer
15 years 5 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...
110
Voted
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
Many threats that plague today’s networks (e.g., phishing, botnets, denial of service attacks) are enabled by a complex ecosystem of attack programs commonly called malware. To ...