Un environnement de conception de systèmes distribués basé sur UML
暂无分享,去创建一个
[1] M. Jaragh,et al. Modeling communications protocols using the Unified Modeling Language , 2000, 2000 TENCON Proceedings. Intelligent Systems and Technologies for the New Millennium (Cat. No.00CH37119).
[2] Wolfgang Emmerich,et al. Deadlock detection in distributed object systems , 2001, FSE 2001.
[3] Marc Born,et al. A method for the design and development of distributed applications using UML , 2000, Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000.
[4] Claude Jard,et al. Vers l'utilisation d'outils de validation de protocoles dans UML , 1998 .
[5] Lawrence C. Stewart,et al. HTTP Authentication: Basic and Digest Access Authentication , 1999 .
[6] Wang Xu,et al. Exploiting automatic analysis of e-commerce protocols , 2001 .
[7] Khalil Drira,et al. A UML Model for Session Management in Collaborative Design for Space Activities , 2001 .
[8] Hassan Gomaa,et al. Designing concurrent, distributed, and real-time applications with UML , 2000, ICSE.
[9] Daniel A. Menascé,et al. Design and performance modeling of component interconnection patterns for distributed software architectures , 2000, WOSP '00.
[10] Ludovic Apvrille,et al. TURTLE: a real-time UML profile supported by a formal validation toolkit , 2004, IEEE Transactions on Software Engineering.
[11] Celso A. S. Santos,et al. Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique , 2000, Comput. Commun..
[12] Alain Le Guennec,et al. Génie logiciel et méthodes formelles avec UML : : spécification, validation et génération de tests , 2001 .
[13] Shing-Chi Cheung,et al. Exploiting automatic analysis of e-commerce protocols , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.
[14] Jürgen Lind. Specifying Agent Interaction Protocols with Standard UML , 2001, AOSE.
[15] Lionel Sacks,et al. Applying UML to Design an Inter-domain Service Management Application , 1998, UML.
[16] Aose,et al. Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions , 2003 .
[17] Pierre de Saqui-Sannes,et al. Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences , 2005 .
[18] Jan Jürjens,et al. UMLsec: Extending UML for Secure Systems Development , 2002, UML.
[19] Jan Jürjens. Using UMLsec and goal trees for secure systems development , 2002, SAC '02.