899 search results - page 52 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
SCAM
2006
IEEE
14 years 2 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...
WCRE
1993
IEEE
14 years 1 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
EOR
2007
13 years 8 months ago
2007
In this paper, we develop new heuristic procedures for the maximum diversity problem (MDP). This NPhard problem has a significant number of practical applications such as environm...
AGILEDC
2003
IEEE
14 years 2 months ago
2003
IEEE
How can XP or other agile methods be used in large corporate IT shops? One large company found out, making XP the official corporate software development methodology for all proje...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...