Reflection High-Energy Electron Diffraction || The diffraction conditions
- 作者Ichimiya, Ayahiko; Cohen, Philip I.
- 期第5期
- 文件大小196.24KB
- 发表时间2004
- DOI10.1017/CBO9780511735097.006
- 页码28-42
Computer-aided vs. manual program restructuringGriswold, William G.; Notkin, David · ACM SIGSOFT Software Engineering Notes · 1992
An empirical study of static call graph extractorsMurphy, Gail C.; Notkin, David; Griswold, William G.; Lan, Erica S. · ACM Transactions on Software Engineering and Methodology · 1998
[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Quickly detecting relevant program invariantsEnst, Michael D.; Czeisler, Adam; Griswold, William G.; Notkin, David · 2000
[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - Dynamically discovering likely program invariants to support program evolutionErnst, Michael D.; Cockrell, Jake; Griswold, William G.; Notkin, David · 1999
Business Process Model MergingLa Rosa, Marcello; Dumas, Marlon; Uba, Reina; Dijkman, Remco · ACM Transactions on Software Engineering and Methodology · 2013
An algebra of design patternsZhu, Hong; Bayley, Ian · ACM Transactions on Software Engineering and Methodology · 2013
Symbolic Message Sequence ChartsRoychoudhury, Abhik; Goel, Ankit; Sengupta, Bikram · ACM Transactions on Software Engineering and Methodology · 2012
Model driven securityBasin, David; Doser, Jürgen; Lodderstedt, Torsten · ACM Transactions on Software Engineering and Methodology · 2006
Developing multiagent systemsZambonelli, Franco; Jennings, Nicholas R.; Wooldridge, Michael · ACM Transactions on Software Engineering and Methodology · 2003
Directed Incremental Symbolic ExecutionYang, Guowei; Person, Suzette; Rungta, Neha; Khurshid, Sarfraz · ACM Transactions on Software Engineering and Methodology · 2014
ADAMGanesan, Dharmalingam; Lindvall, Mikael · ACM Transactions on Software Engineering and Methodology · 2014
Topology analysis of software dependenciesRobillard, Martin P. · ACM Transactions on Software Engineering and Methodology · 2008