The Eclipse plug-in extention for the http://sofa.objectweb.com project. Plug-in allows graphical editting, modifying, and committing to the SOFA 2.0/cushion compatible repositories.
Plugin para o Eclipse que instancia um processo de software modelado no Eclipse Process Framework utilizando o XML exportado pela ferramenta. Editor de arquivos com a extensão '.instancia'.
The Genomic Diversity and Phenotype Data Model (GDPDM) captures molecular and phenotypic diversity data. MySQL databases are used to implement the schema. This project develops software tools (written in Java, Perl, etc.) associated with this model.
This is a modeling tool generating code from activity diagrams. The main goal is to achieve a good code generation. I would like to have different possibilities like HTML mapping from diagrams and Java code generation (maybe others) chosen by the user.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Open Source Semantic Web Search Engine Software: If two machines anywhere on the web can agree on the same definition of a digital service or digital good, then machine to machine transactions can use this lingua franca to transact on the users behalf.
Adaptive Work-Centered User Interface Technology (ACUITy) utilizes semantic technology in an ontology-based approach to modeling and implementing intelligent user interfaces.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).
jStates is a java library for easy state machine design and implementation.It uses XML to define states and state transitions. jStates is aimed at easy integration with desktop J2SE applications, Struts, Commons Validator, Web and other J2EE technologies
ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.
This is an Hierarchical State Machine (aka Statechart) engine written in Java (1.5 +) Actually we will develop only support for a subset of UML 2.0 semantics but, in future, we hope to add support for other semantics.
Fast UML is an open-source UML tool with a simple user interface pop-up free. Draw UML diagrams fast, export diagrams to png, jpg and clipboard.
It pretends to be the union between Violet and UMLet.
PGA (Petit Generateur entre amis : little generator betwenn friends in french) is a generation kernel to load, manipulate emf models (eclipse) with ATL, and practice code generation with several templating technologies like JSP2, Velocity, Jet.
Java objects that share parts of immutable graphs. Reused subgraphs have directly or indirectly recursive Elements. Selected components get replaced by new counterparts in Context of Mirrors - translation tables. Deep copies are not involved.
Jello Framework is an AOA based java web application framework,it includes many distinct viewpoints such as None Config, BPC Model,DMM persistence technology and so on,supports rapid web application building.
This BlueJ-Extension is developed by three student assistants of the lecture "Programming II" at Saarland University. It is designed especially for the students of this lecture, but useable by others too.
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
Metaquokka is a highly configurable xml editor, currently available as Gridsphere portlet. Besides the default format, there is suppoert for ESysXML, a simulation description scheme for a geodynamics framework. Supports Generic Mapping Tools rudimentary.
JRequisite is an agile requirement management tool. Its main goal is to give the developer community a free, user friendly, and powerfull tool for requirement analysis and change management.
Peas provides : data object mapping - data versioning, multi-language support, users & groups - complete web component api - web 2.0 backend and frontend templates
CM3 describes a set of plugins for several UML-Tools by adding
validation-mechanisms to the tool. This enables the team to setup
several individual validation-rules for their models.