Modular architecture for a toolset supporting OCL
暂无分享,去创建一个
[1] Jos Warmer,et al. The object constraint language , 1998 .
[2] Desmond D'Souza,et al. Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .
[3] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[4] Shane Sendall,et al. From Use Cases to System Operation Specifications , 2000, UML.
[5] Alan R. Simon,et al. Understanding the New SQL: A Complete Guide , 1993 .
[6] Martin Gogolla,et al. Validating UML Models and OCL Constraints , 2000, UML.
[7] B. F. Castro. Buschmann, Frank; Meunier, Regine; Rohnert, Hans; Sommerlad, Peter; Stal, Michael. Pattern-oriented software architecture: a system of patterns, John Wiley & Sons Ltd, 1996 , 1997 .
[8] Peter Sommerlad,et al. Pattern-Oriented Software Architecture: A System of Patterns: John Wiley & Sons , 1987 .
[9] Martin Wirsing,et al. A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models , 2001, FASE.
[10] Anneke Kleppe,et al. The object constraint language: precise modeling with UML , 1998 .
[11] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.
[12] Heinrich Hußmann,et al. Using UML/OCL Constraints for Relational Database Design , 1999, UML.