1689 search results - page 236 / 338 » Empirical Methodologies in Software Engineering |
109
click to vote
VL
2003
IEEE
15 years 6 months ago
2003
IEEE
ct How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those l...
101
click to vote
CODES
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
126
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
119
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
139
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...