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
TributeDick Hamlet · 1999
Mathematics, Computer Science, Software EngineeringDick Hamlet · 2001
Implementing prototype testing toolsDick Hamlet · 1995
Debugging "level"Hamlet, Dick · ACM SIGSOFT Software Engineering Notes · 1983
Debugging "level"Hamlet, Dick · ACM SIGPLAN Notices · 1983
Faults on its sleeveHamlet, Dick; Voas, Jeff · ACM SIGSOFT Software Engineering Notes · 1993
Foundations of software testingHamlet, Dick · ACM SIGSOFT Software Engineering Notes · 1994
On subdomainsHamlet, Dick · ACM SIGSOFT Software Engineering Notes · 2000
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