Open Source Linux UML Tools - Page 6

Architectural Models and Views (AMAV) is a set of tools to manage architecture models and create architectural views.

AMELiA is a collection of libraries developed at the Arts, Media and Engineering Program at Arizona State University. It includes the AME Patterns library, a generic C++ library for modeling, recognition and synthesis of sequential patterns.

ASOPEC is a framework for dealing with security in a diverse range of environments. It abstracts security from your application with a AOP approach. It is written in Java and works in Spring and EJB3 containers.

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.

In two words, Active is to eat the beans. In three, Active is JavaBeans for application : how an application can know herself, how beans can form an application.

Agile Source Safe is a software development life cycle program.

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

Welcome to Amazon SageMaker. This projects highlights example Jupyter notebooks for a variety of machine learning use cases that you can run in SageMaker. If you’re new to SageMaker we recommend starting with more feature-rich SageMaker Studio. It uses the familiar JupyterLab interface and has seamless integration with a variety of deep learning and data science environments and scalable compute resources for training, inference, and other ML operations. Studio offers teams and companies easy on-boarding for their team members, freeing them up from complex systems admin and security processes. Administrators control data access and resource provisioning for their users. Notebook Instances are another option. They have the familiar Jupyter and JuypterLab interfaces that work well for single users, or small teams where users are also administrators. Advanced users also use SageMaker solely with the AWS CLI and Python scripts using boto3 and/or the SageMaker Python SDK.

Amber.net is a lightweight R/O mapper framework for .net, which easy database access without XML descriptors. It uses reflection and annotations for the CRUD cycle of c# objects. Amber.net is dot net version of original java version of Amber

The Amplify MDA project is aimed at delivering a 'model-to-text' generator tool with real-world applicability in less than 1000 lines of Java/Groovy code.

Antares DSM is a software to manipule all types of DSMs (see more about DSM in www.dsm.org). In Antares DSM is possible create, see, and execute functions to optimize the DSM projects.

A WYSIWYG database modeling tool based on eclipse,it can generate code for hibernate,ojb,ibatis,openJpa.The supported platform includes oracel,db2,mysql,mssql,sybase,derby,MaxDB,SapDB,PostgreSql,HsqlDB and the databases which has JDBC driver.

ArchMapper is a Tool for mapping architecture descriptions of a program to a Java implementation. It offers two main functions: Generating Java source code stubs from an architecture and checking a Java implementation for conformance with an architecture

Architecture model items and symbols useful when modelling a rail system. Model stored as XMI for use in tools.

Integrates the ArgoUML modelling tool into IntelliJ IDEA 8+

ArgoUML is hosted at http://www.argouml.org, please go there for all file releases and resources. Thanks!

This project aims to provide a distributed meta modeling framework. Distributed meta modeling framework integrates different frameworks used in variant aspects of software development like Springframework, Struts, Hibernate and so on.

Software developed for the analysis of Neutron Reflectivity data.

A JML generator. Generates JML specifications based on other specification formalisms.

The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.

Behavioural Hybrid Process Calculus (BHPC) simulation tool.

BNF processing tool checks correctness of BNF grammar, generates cross-referenced HTML documentation, generates tests for language recognizers (parsers).

A framework to simply understandable control flows in applications. It is easy to manage flow by XML and annotations. There are many simple ways to catch actions such as transition, step entry or leaving, including control the decision similar to 'if' or 'switch' statements.

The Bidirectional Object-oriented Transformation Language (BOTL) is a tool for object-oriented model transformations.

BPeX is a new XML-Schema model (based upon BPMN OMG specifications and XPDL 2.0) that aims to give a valid support to represent and to analyze business processes, with a graphical support provided by a syntax-aided editor.