MagicDraw is a visual UML modeling and CASE tool with teamwork support. Designed for Business Analysts, Software Analysts, Programmers, QA Engineers, and Documentation Writers, this dynamic and versatile development tool facilitates analysis and design...
Papyrus is aiming at providing an integrated and user-consumable environment for editing any kind of EMF model and particularly supporting UML and related modeling languages such as SysML and MARTE. Papyrus provides diagram editors for EMF-based modeling languages amongst them UML 2 and SysML and the glue required for integrating these editors (GMF-based or not) with other MBD and MDSD tools.
Papyrus also offers a very advanced support of UML profiles that enables users to define editors for DSLs based on the UML 2 standard. The main feature of Papyrus regarding this latter point is a set of very powerful customization mechanisms which can be leveraged to create user-defined Papyrus perspectives and give it the same look and feel as a "pure" DSL editor.
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.
M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)
M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, and X. Li. The Computer Journal, (2007)MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für das Verfahren zu liefern.
Die Generierung von Testdaten ist kaum automatisiert.
Für IST-SPL interessant wegen den Formalismen für Aktivitätsdiagramme..
R. Van Der Straeten, V. Jonckers, and T. Mens. UML 2004 - The Unified Modeling Language, volume 3273 of Lecture Notes in Computer Science, page 305--319. Springer-Verlag, (October 2004)
R. Van Der Straeten, V. Jonckers, and T. Mens. UML 2004 - The Unified Modeling Language, volume 3273 of Lecture Notes in Computer Science, page 305--319. Springer-Verlag, (October 2004)