Sciweavers

1327 search results - page 83 / 266
» Cost-Benefit Analysis of Software Development Techniques and...
Sort
View
SAFECOMP
1998
Springer
15 years 1 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
IWPC
2006
IEEE
15 years 3 months ago
How Webmining and Coupling Metrics Improve Early Program Comprehension
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
Andy Zaidman, Bart Du Bois, Serge Demeyer
AOSE
2007
Springer
15 years 4 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
ICSE
2009
IEEE-ACM
15 years 10 months ago
TranStrL: An automatic need-to-translate string locator for software internationalization
Software internationalization is often necessary when distributing software applications to different regions around the world. In many cases, developers often do not internationa...
Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu S...
APSEC
2005
IEEE
15 years 3 months ago
Systematic Use Case Interviews for Specification of Automotive Systems
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
Shariful Islam, Hannes Omasreiter