Software engineering for embedded systems methods
practical techniques2013 年出版1150 页ISBN：
SOFTWARE PROTOTYPING FORMAL METHODS AND VDM
SHARAM HEKMATPOUR1988 年出版222 页ISBN：
STANDARDIZED DEVELOPMENT OF COMPUTER SOFTWARE Part 1 Methods
1977 年出版379 页ISBN：0138421951
Lecture Notes in Computer Science 3107 Software Reuse:Methods
Techniques2004 年出版0 页ISBN：
Security-aware systems applications and software development methods
Khaled M.Khan2012 年出版388 页ISBN：146661580x
Educational Social Software for Context-Aware Learning: Collaborative Methods and Human Interaction
2010 年出版310 页ISBN：9781605668260
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN：3540297979
Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
