海量图书期刊资源,随时随地畅享阅读乐趣
Proving loop programsBasu, Sanat K.; Misra, Jayadev · IEEE Transactions on Software Engineering · 1975
Leveraging TransparencyDabbish, L.; Stuart, C.; Tsay, J.; Herbsleb, J. · IEEE Software · 2013
Whole Test Suite GenerationFraser, Gordon; Arcuri, Andrea · IEEE Transactions on Software Engineering · 2013
Experimentation in software engineeringBasili, Victor R.; Selby, Richard W.; Hutchens, David H. · IEEE Transactions on Software Engineering · 1986
A tool to coordinate toolsBisiani, R.; Lecouat, F.; Ambriola, V. · IEEE Software · 1988
Lean Software Development: A TutorialPoppendieck, Mary; Cusumano, Michael A. · IEEE Software · 2012
Abstraction Techniques in Modern Programming LanguagesShaw, M. · IEEE Software · 1984
Characterizing Architecturally Significant RequirementsChen, Lianping; Ali Babar, Muhammad; Nuseibeh, Bashar · IEEE Software · 2013