1137 search results - page 115 / 228 » Disciplined Methods of Software Specification: A Case Study |
ICDS
2009
IEEE
15 years 4 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
ISSRE
2007
IEEE
14 years 11 months ago
2007
IEEE
Using a specific machine learning technique, this paper proposes a way to identify suspicious statements during debugging. The technique is based on principles similar to Tarantul...
101
click to vote
PROMISE
2010
14 years 4 months ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
Abstract. The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight. Energy-conscious design is important at all levels of syste...