Modeling and refinement SOA design patterns with Event-B method
暂无分享,去创建一个
Khalil Drira | Ahmed Hadj Kacem | Mohamed Hadj Kacem | Imen Tounsi | K. Drira | A. Kacem | Imen Tounsi | M. Kacem
[1] Jean-Raymond Abrial,et al. Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.
[2] Kent Beck. Implementation Patterns , 2007 .
[3] Hong Zhu,et al. Laws of Pattern Composition , 2010, ICFEM.
[4] Sam Malek,et al. Software adaptation patterns for service-oriented architectures , 2010, SAC '10.
[5] David Chek Ling Ngo,et al. Formal specification of design pattern combination using BPSL , 2003, Inf. Softw. Technol..
[6] Gregor Hohpe,et al. Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions , 2003 .
[7] Max Jacobson,et al. A Pattern Language: Towns, Buildings, Construction , 1981 .
[8] Paulo S. C. Alencar,et al. A Behavioral Analysis Approach to Pattern-Based Composition , 2001, OOIS.
[9] Toufik Taibi,et al. Formalising design patterns composition , 2006, IEE Proc. Softw..
[10] Andres J. Ramirez,et al. Design patterns for developing dynamically adaptive systems , 2010, SEAMS '10.
[11] Hafedh Mili,et al. A model-driven framework for representing and applying design patterns , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).
[12] David A. Carrington,et al. A formalism to describe design patterns based on role concepts , 2009, Formal Aspects of Computing.
[13] Régine Laleau,et al. Reuse of Specification Patterns with the B Method , 2003, ZB.
[14] Paulo S. C. Alencar,et al. Composing pattern-based components and verifying correctness , 2007, J. Syst. Softw..
[15] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .