16725 search results - page 48 / 3345 » Engineering Software Correctness |
110
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
104
click to vote
ECIS
2004
15 years 1 months ago
2004
Requirements engineering is not straightforward for any software development team. Developing software when team members are located in widely distributed geographic locations pos...