Safe substitution for service-based applications
暂无分享,去创建一个
[1] Cliff B. Jones,et al. Systematic software development using VDM (2. ed.) , 1990, Prentice Hall International Series in Computer Science.
[2] Benjamin Goldberg,et al. From requirements to specifications , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
[3] Matt Bishop,et al. What Is Computer Security? , 2003, IEEE Secur. Priv..
[4] Fabio Casati,et al. Supporting the dynamic evolution of Web service protocols in service-oriented architectures , 2008, TWEB.
[5] Michael J. Muller,et al. Requirements specification , 2002 .
[6] Shin Nakajima. An Architecture of Dynamically Adaptive PHP-based Web Applications , 2011, 2011 18th Asia-Pacific Software Engineering Conference.
[7] Shin Nakajima,et al. Lightweight formal analysis of Web service flows , 2005 .
[8] Jeannette M. Wing,et al. A behavioral notion of subtyping , 1994, TOPL.