Specification of Adaptive Client-Tailored Product Models
暂无分享,去创建一个
[1] Quan Z. Sheng,et al. Quality driven web services composition , 2003, WWW '03.
[2] María Manzano,et al. Extensions of First-Order Logic , 1996 .
[3] Antony Galton,et al. Operators vs. Arguments: The Ins and Outs of Reification , 2006, Synthese.
[4] John S. Gero,et al. Advances in Formal Design Methods for CAD , 1996, IFIP — The International Federation for Information Processing.
[5] Jana Koehler,et al. Web Service Composition - Current Solutions and Open Problems , 2003 .
[6] Tibor Bosse,et al. LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn , 2005, IEA/AIE.
[7] Stephen Fickas,et al. Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..
[8] Dov M. Gabbay,et al. The imperative future: principles of executable temporal logic , 1996 .
[9] F. Brazier,et al. A LOGICAL THEORY OF DESIGN , 1996 .
[10] Asit Dan,et al. Web services on demand: WSLA-driven automated management , 2004, IBM Syst. J..
[11] Sheila A. McIlraith,et al. Simulation, verification and automated composition of web services , 2002, WWW.
[12] Alasdair Urquhart,et al. Temporal Logic , 1971 .
[13] Tibor Bosse,et al. Specification and Verification of Dynamics in Cognitive Agent Models , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.
[14] Tibor Bosse,et al. Analysis of Design Process Dynamics , 2004, ECAI.