Search Results for "uml design"

...If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ * SINVAS CRY - Cloud computing based online modeling tool : http://cry.sinvas.com/ Thank you for your continuous interest and encouragement.

...If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ 5) SINVAS ALM - Management of software development projects and methodology Thank you for your continuous interest and encouragement.

MOBIDICK (MOdular But IntegrateD applICation frameworK) is dedicated to gather as less as possible Java frameworks in order to complete full needs of large business application and allow regeneration of code, even when java frameworks change.

ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.

This project contains a set of tools for formal verification and static analysis of VHDL design.

ZCore is a set of Creative Studio for designing, testing, building ... solutions based on .NET framework. Contains UML designs tools, code editor & build tools, debug & test tools, user interface create tools ...

Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.

JLayerCheck checks package dependencies in Java projects to ensure that they match the desired architecture. Packages are grouped into modules and dependencies are specified. It can also find cycles and orphaned classes.