5668 search results - page 123 / 1134 » The case for software evolution |
127
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
126
click to vote
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
131
click to vote
CSEE
2003
Springer
15 years 7 months ago
2003
Springer
This paper focuses on the teaching of software development methodologies. It presents ten principles of teaching such a topic, while examining each from both a pedagogical and an ...
133
click to vote
XPU
2007
Springer
15 years 8 months ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
159
click to vote
ISESE
2003
IEEE
15 years 7 months ago
2003
IEEE
A software development project coordinates work by using work items that represent customer, tester, and developer found defects, enhancements, and new features. We set out to fac...