1481 search results - page 110 / 297 » Enriching the Software Development Process by Formal Methods |
188
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...
125
Voted
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Projects combining agile methods with CMMI1 are more successful in producing higher quality software that more effectively meets customer needs at a faster pace. Systematic Softwa...
111
Voted
AGILEDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Projects combining agile methods with CMMI1 are more successful in producing higher quality software that more effectively meets customer needs at a faster pace. Systematic Softwa...
100
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requireme...
124
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...