944 search results - page 113 / 189 » Software model checking without source code |
IWPC
2002
IEEE
14 years 3 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
HIS
2007
13 years 11 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
ICSEA
2008
IEEE
14 years 4 months ago
2008
IEEE
In order to increase efficiency, enterprises support their business processes by information technology (IT). The majority of business processes requires human interaction. By mea...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...