313 search results - page 40 / 63 » WebDSL: A Case Study in Domain-Specific Language Engineering |
121
click to vote
CIBSE
2008
ACM
15 years 6 days ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
90
Voted
ASE
2008
14 years 10 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
96
Voted
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
103
Voted
JACM
2002
14 years 10 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
76
Voted
SIGSOFT
2003
ACM
15 years 11 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...