1137 search results - page 160 / 228 » Disciplined Methods of Software Specification: A Case Study |
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Software development is always a challenging undertaking and it requires high commitments from individuals who participate in it. Software development often involves new technolog...
WCRE
2000
IEEE
15 years 2 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
WCRE
2007
IEEE
15 years 4 months ago
2007
IEEE
Dynamic protocol recovery tries to recover a component’s sequencing constraints by means of dynamic analysis. This problem has been tackled by several automaton learning approac...