Search Results for "structural analysis software" - Page 2
Sort By:
Showing 47 open source projects for "structural analysis software"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
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.
-
2
Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.
-
3
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.
-
4
Java reverse-engineering plug-in for Eclipse Modelling project. Depends on JDK and UML2 eclipse projects. Supports JKD5, including enums and generics.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
-
6
KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.
-
7
Clothes - sewing CAD for creation of models of clothes. Based on the new concept of the automated designing of clothes with use of parametrical model. Creates a base design of model of clothes and allows to change it depending on necessity of updating.
-
8
The Shrimp suite provides interactive visualizations of graph-based data. Creole (Eclipse plug-in) visualizes Java source code. Jambalaya (Protege plug-in) visualizes ontologies (including OWL), & Stand-Alone Shrimp visualizes RSF/GXL/PRJ/PPRJ files.
-
9
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
jDSM is a Java library for representing and analyzing Design Structure Matrices (DSM). It can be used to analyze any Java software with regards to modularity.
-
11
Java Framework for automatic transformation of graph structured Process Models (incl. BPMN import) to block structured BPEL code. A graphical tool is provided for visualisation and testing.
-
12
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.
-
13
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.
-
14
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.
-
15
The SoSART (Software Static Analysis Reliability Toolkit) is intedned to aid developers in assessing the reliability of existing Java source code through the usage of Static Analysis.
-
16
The UEMLFacilitator project aims to develop and evaluate a prototype GUI for defining and managing the Unified Enterprise Modelling Language version 2 (UEML2).
-
17
TAT is a tool to aid in producing a list of Actors, Use Cases, Candidate Classes and Attributes from a plain text file of a statement of requirements by highlighting words and clicking on the appropriate button or menu item. Results saved as text or XML.
-
18
The Dash Framework is a Dependency Acquisition and Structural Hierachy IoC framework for Java based on Annotations. It is designed to clearly support declarative component based composition of objects.
-
19
Waters - the Waikato Analysis Tool for Events in Reactive Systems. This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.
-
20
The class libraries here provide infrastructure for creating simulations of low energy nuclear physics experiments, as well as some useful working programs that do simple simulations and analysis of experiments performed with magnetic spectrographs.
-
21
it provides a user interface to the economic theory through an intuitive and easily understandable quantification of the economic value of alternative business models.
-
22
QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
