Lecture Notes in Computer Science 2303 Foundations of Software Science and Computation Structures 5t
FOSSACS 20022002 年出版433 页ISBN：354043366X
Lecture Notes in Computer Science 3442 Fundamental Approaches to Software Engineering 8th Internatio
FASE 20052005 年出版371 页ISBN：354025420X
SAFETY OF COMPUTER CONTROL SYSTEMS 1989 SAFECOMP’89
R.GENSER，E.SCHOITSCH AND P.KOPACEK2222 年出版149 页ISBN：0080375359
SOFTWARE QUALITY:A FRAMEWORK FOR SUCCESS IN SOFTWARE DEVELOPMENT AND SUPPORT
1994 年出版179 页ISBN：0201631989
Lecture Notes in Computer Science 4620 Transactions on Aspect-Oriented Software Development III
2007 年出版201 页ISBN：9783540751618
Lecture Notes in Computer Science 4242 Transactions on Aspect-Oriented Software Development II
2006 年出版289 页ISBN：9783540488903
Lecture Notes in Computer Science 3880 Transactions on Aspect-Oriented Software Development I
2006 年出版335 页ISBN：3540329722
Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN：9783540496991
Lecture Notes in Computer Science 4640 Transactions on Aspect-Oriented Software Development IV
2007 年出版191 页ISBN：9783540770411
