[IEEE 2005 Pacific Rim Conference on Lasers & Electro-Optics - Tokyo, Japan (30-02 Aug. 2005)] 2005 Pacific Rim Conference on Lasers & Electro-Optics - High power modelocked lasers
- 作者Keller, U.
- 文件大小149.27KB
- 发表时间2005
- DOI10.1109/cleopr.2005.1569342
- 页码43-45
Empirical studies of software validationWilliam E. Howden · 1979
Functional testing and design abstractionsWilliam E. Howden · 1980
Algebraic program testingWilliam E. Howden · 1978
Program testing versus proofs of correctnessWilliam E. Howden · 1991
Solution plans and interactive problem solvingWilliam E. Howden · 1975
Contemporary software development environmentsHowden, William E. · Communications of the ACM · 1982
Two-dimensional program designRutenstreich, Shmuel; Howden, William E. · IEEE Transactions on Software Engineering · 1986
Validation of Scientific ProgramsHowden, William E. · ACM Computing Surveys · 1982
Proving loop programsBasu, Sanat K.; Misra, Jayadev · IEEE Transactions on Software Engineering · 1975
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
Object-oriented developmentBooch, Grady · IEEE Transactions on Software Engineering · 1986
The source code control systemRochkind, Marc J. · IEEE Transactions on Software Engineering · 1975
Language design for programming reliabilityGannon, John D.; Horning, J. J. · IEEE Transactions on Software Engineering · 1975
Precise Calling Context EncodingSumner, William N.; Zheng, Yunhui; Weeratunge, Dasarath; Zhang, Xiangyu · IEEE Transactions on Software Engineering · 2012
Efficient decentralized consensus protocolsLakshman, T. V.; Agrawala, Ashok K. · IEEE Transactions on Software Engineering · 1986