7380 search results - page 845 / 1476 » Engineering Software Intensive Systems |
154
Voted
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
190
click to vote
COMPSAC
2005
IEEE
16 years 23 days ago
2005
IEEE
Maintenance is a time consuming activity within software development and it requires a good understanding of the system in question. It is hard or even impossible to understand po...
197
click to vote
EUROMICRO
2005
IEEE
16 years 23 days ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
191
click to vote
ICSM
2005
IEEE
16 years 22 days ago
2005
IEEE
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
213
click to vote
WER
2005
Springer
16 years 18 days ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...