Design for Verification: Using Design Patterns to Build Reliable Systems
暂无分享,去创建一个
[1] Arthur J. Riel,et al. Object-Oriented Design Heuristics , 1996 .
[2] Patrice Godefroid,et al. Model checking for programming languages using VeriSoft , 1997, POPL '97.
[3] Gregor Kiczales,et al. Aspect-oriented programming , 2001, ESEC/FSE-9.
[4] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[5] Roland Mittermeir,et al. Storing and retrieving software components: a refinement based system , 1994, ICSE '94.
[6] Klaus Havelund,et al. Model Checking Programs , 2004, Automated Software Engineering.
[7] Douglas R. Smith,et al. Toward a Classification Approach to Design , 1996, AMAST.
[8] Frederick P. Brooks,et al. No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .
[9] W. Bibel,et al. Automated deduction : a basis for applications , 1998 .
[10] Peter Sommerlad,et al. Pattern-Oriented Software Architecture: A System of Patterns: John Wiley & Sons , 1987 .
[11] Bernd Fischer,et al. Deduction-based software component retrieval , 2001, Ausgezeichnete Informatikdissertationen.
[12] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[13] David Lorge Parnas,et al. Review of David L. Parnas' "Designing Software for Ease of Extension and Contraction" , 2004 .
[14] Jeannette M. Wing,et al. Specification matching of software components , 1995, TSEM.
[15] John Penix,et al. Efficient Specification-Based Component Retrieval , 1999, Automated Software Engineering.
[16] Bernd Fischer. Specification-Based Browsing of Software Component Libraries , 2004, Automated Software Engineering.