Visual Paradigm, with products Visual Paradigm for UML (VP-UML), Smart Development Environment (SDE) and DB Visual Architect (DB-VA), is a world-recognized company in UML modeling and CASE tool technologies. VP-UML is a UML modeling tool that supports UML 2.1 with the most intuitive and innovative visual modeling user interface. SDE is a division of VP-UML that is fully-integrated into leading IDEs, including Eclipse and Visual Studio, to provide sophisticated code model synchronization capabilities. DB-VA is a single, easy-to-use object-relational mapping (ORM) environment which acts as a bridge between object model, data model and relational model.
SourceMaking — is the best information source on the Web on such software development topics as design patterns, refactoring and UML. A lot of information freely available through the site's pages, so feel free to use bookmarklet to leave interesting chapters for further reading.
?. Lecture Notes in Computer Science Springer, 1 Edition, (2002)MR: eher für den fortgeschrittenen Einsatz von OCL oder sogar für die Forschung rund um OCL.
B. Abdallah, und S. Leue. Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, Chapman & Hall, (November 1997)
M. Abdullah, I. Benest, R. Paige, und C. Kimble. Proc. 26th International Conference on Entity-Relationship Modelling (ER'07), Auckland, New Zealand, (2007)
M. Abdullah, A. Evans, I. Benest, und C. Kimble. Proceedings of IEEE 4th International Conference on Intelligent Systems Design and Applications (ISDA 2004), Seite 49 - 55. Budapest, Hungary, IEEE Computer Society, (2004)
M. Abdullah, A. Evans, I. Benest, und C. Kimble. Lecture Notes in Computer Science, 3599: MDAFA 2003/2004, Springer-Verlag, Berlin/Heidelberg, September 2005.(2005)
M. Abdullah, A. Evans, C. Kimble, und I. Benest. Proceedings of the 5th European Conference on Knowledge Management, Seite 5 - 18. Paris, France, (2004)
M. Abdullah, A. Evans, C. Kimble, und I. Benest. Proceedings of the International Conference on Knowledge Engineering and Decision Support (ICKEDS) 2004, Seite 489 - 496. Porto, Portugal, Instituto Politécnico, (2004)
M. Abdullah, A. Evans, C. Kimble, und I. Benest. Proceedings of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Seite 202 - 216. Linköping University, Sweden, (2004)
M. Abdullah, A. Evans, C. Kimble, und I. Benest. Model-Driven Architecture: Revised and Selected Papers from European MDA Workshops MDAFA 2003 and MDAFA 2004, (2004)
M. Abdullah, A. Evans, R. Paige, C. Kimble, und I. Benest. Proceedings of the IEEE Conference on Cybernetics and Intelligent Systems (CIS), Seite 1054 - 1059. Singapore, IEEE Computer Society, (2004)
M. Abdullah, R. Paige, I. Benest, und C. Kimble. Proceedings of the 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI), 204, Seite 70 - 77. Athens, Greece, IFIP International Federation for Information Processing, (2006)
M. Abdullah, R. Paige, I. Benest, und C. Kimble. Proceedings of the 8th International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, ICEIS, (2006)
M. Abdullah, R. Paige, I. Benest, und C. Kimble. Proceedings of International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2, Seite 952 - 957. Vienna, Austria, IEEE Computer Society, (2005)
M. Abdullah, R. Paige, I. Benest, C. Kimble, und A. Evans. Proceedings of the ACM 2nd International Conference on Intelligent Computing and Information Systems (ICICIS 2005), Seite 299 - 306. Cairo, Egypt, ACM Press, (2005)
M. Abdullah, R. Paige, C. Thompson, I. Benest, und C. Kimble. Proceeding of the 2nd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), Seite 23 - 33. Beijing, China, Springer-Verlag, (2005)
D. Akehurst, und B. Bordbar. International Conference on the Unified Modeling Language (UML), 2185/2001, Seite 91-103. Toronto, (Oktober 2001)Dated; refers to OCL 1. Most suggestions have been implemented in OCL 2..
T. Arai, und F. Stolzenburg. AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, Seite 11--18. New York, NY, USA, ACM Press, (2002)
S. Awasthi, und A. Nayak. Proceedings of the 21th International Conference on Conceptual Structures (ICCS 2013), Volume 7735 von Lecture Notes in Computer Science, Seite 277-288. Springer, (2013)
F. Basanieri, A. Bertolino, und E. Marchetti. «UML» 2002 — The Unified Modeling Language, Seite 275--303. (2002)MR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp für den Systemtest und Integrationstest und besteht aus zwei Teilen:
- UIT (Use Interaction Test) als Testableitungsmethode
- Cowtest (Cost Weighted Test Strategy) für Testpriorisierung und -selektion.
Mit Cowtest wird entschieden welche Testfälle ausgeführt werden sollen, durch setzen von Gewichten in die von der Spez. abgeleitete Graphstrukturen (Testauswahlkriterium) und unterstützt auch die Planung des Testprozesses.
UIT nutzt diese Information bei der Testfallableitung basierend auf der Category-Partition-Methode, also teils manuell (Interaction mit dem User).
Das Besondere ist, dass die forliegende Anforderungs- und Designspezifikation in Form von UML-Use-Case-Diagrammen und -Sequenzdiagrammen ohne weiteren Ausbau (also so wie sie ist) als Input für die Technik dienen kann.
Ein für IST-SPL wichtiger Ansatz: es wäre möglich ähnliche Strategie (CP) bereits für die Aktivitätsdiagramme anzuwenden, wobei deren Produktlinieneigenschaften berücksichtigt werden müssten..
B. Berenbach. OOPSLA: Conference on Object-oriented programming systems, languages, and applications, Seite 247--252. New York, NY, USA, ACM Press, (2004)