An Experience on Formal Analysis of a High-Level Graphical SOA Design
暂无分享,去创建一个
[1] Harlan D. Mills. Software Development , 1976, IEEE Transactions on Software Engineering.
[2] A.R.C.S. A. H. Loveless. What is an abstract ? , 1990 .
[3] Paolo Traverso,et al. Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.
[4] Stefania Gnesi,et al. An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems , 2011, Results of the SENSORIA Project.
[5] Franco Mazzanti. Designing UML Models with UMC , 2009 .
[6] A. Faedo,et al. Model Driven Software Development con Eclipse, StatechartUMC ? , 2007 .
[7] Dániel Varró,et al. UML Extensions for Service-Oriented Systems , 2011, Results of the SENSORIA Project.
[8] Robert C. Martin. Agile Software Development, Principles, Patterns, and Practices , 2002 .
[9] Martin Wirsing,et al. Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing , 2011, Results of the SENSORIA Project.
[10] Maurice H. ter Beek,et al. A state/event-based model-checking approach for the analysis of abstract system properties , 2011, Sci. Comput. Program..
[11] Shane Warden,et al. The art of agile development , 2007 .