A short introduction to the VERDE tools that focusses on traceability on Eclipse for UML, Requirements and AUTOSAR. The scope of the project, as described in the proposal, is to provide an implementation for the OMG ReqIF standard. Requirements management tools could then base their implementation on the provided ReqIF metamodel. It is also in the scope of the project to deliver a requirements authoring tool, again based on the ReqIF metamodel and optionally a generic traceability solution.

This article presents an approach for model checking of UML class diagrams in combination with OCL constraints. UML/OCL models are automatically transformed into Formula models and then model checked.  This kind of model checking can be seamlessly integrated with standard object-oriented analysis and design workflows, without the need of manual transformation to and from existing model checking systems.

This tutorial show how to define the layout, attributes, operations of a UML class model.

Mentor Graphics Corp. announced its intention to place the front-end UML editor of its powerful BridgePoint™ xtUML environment into the open source domain. This action is intended to provide the system design community with broader access to comprehensive UML editing capabilities. It also brings a new solution to the category of open source UML tools where the many projects like ArgoUML or StarUML have few or no evolution in recent years.

This video provides an introduction to UML component diagrams and realizing application project structure from architectural designs.

Enterprise Architect 9.3 is a high performance modeling, visualization and design platform based on the UML 2.4.1 standard. With complete traceability from mind mapping, through requirements to business and software design and deployment , Enterprise Architect 9.3 provides the kind of robust and efficient visualization and collaboration required in today’s large and demanding modeling environments.

PragmaDev has released the version 4.3 of Real Time Developer Studio. Real Time Developer Studio is a modeling tool for real time and embedded software. It is suited for any communicating systems or any application running on top of a Real Time Operating System. It covers requirements, specification, prototyping, design, debug on target, and testing.

This is to announce the release of SDMetrics V2.3, a software design quality measurement tool for the Unified Modeling Language (UML). SDMetrics measures structural design properties such as coupling, size, and complexity of UML designs. SDMetrics also checks design rules to automatically detect incomplete or incorrect design, and adherence to style guidelines such as circular dependencies or naming conventions.

UMLet is a free, open-source UML tool with a simple user interface. You can draw UML diagrams fast, produce sequence and activity diagrams from plain text, share diagrams using Eclipse and create custom UML elements. UMLet runs stand-alone or as Eclipse plug-in on Windows, OS X and Linux. This video shows how to use the Eclipse UMLet plugin to create a simple UML class diagram.

There are no mechanisms for knowing the value of the Model Driven Architecture (MDA) support tools and how close they are to the main idea of model usage for software development. This article proposes the framework for certification of MDA tools and shows an application of it for several tools.