SANP: a communication level protocol for negotiations (abstract)
- 期刊名称ACM SIGOIS Bulletin
- 作者Chang, Man Kit; Woo, Carson C.
- 卷第13卷
- 期第3期
- 印刷ISSN0894-0819
- 文件大小52.61KB
- 发表时间1992-12-01
- DOI10.1145/152683.152685
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