493 search results - page 40 / 99 » An Analysis of Tool-Based Research in Software Engineering |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
ADAEUROPE
2007
Springer
15 years 4 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
AOSE
2001
Springer
15 years 2 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large...