Search Results for "use"
Sort By:
41 programs for "use" with 2 filters applied:
-
Our Free Plans just got better! | Auth0 by OktaYou 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 secuirty. Auth0 now, thank yourself later.
-
Build Securely on AWS with Proven FrameworksMoving 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.
-
1
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
2
IceDump
Outputs the map of values of a given PHP variable
You can use this package instead of var_dump() or print_r() PHP functions. -
3
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/
-
4
EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
-
Manage printing in a cost-efficient and eco-friendly way with Gelato.The world's largest print on demand network with 140+ production partners across 32 countries. Gelato offers end-to-end design, production and logistics for individuals looking to start their own business today!
-
5
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
-
6
CASUP
Cellular Automata library for SUPercomputers (CASUP)
CASUP is a Cellular Automata (CA) library for HPC and supercomputers. It can be used in materials science (microstructure evolution, grain coarsening, fracture etc.), physics (Ising magnetisation) and for many other CA. If you use the library, please reference it as: A. Shterenlikht, L. Margetts, Three-dimensional cellular automata modelling of cleavage propagation across crystal boundaries in polycrystalline microstructures, Proc. Roy. Soc. A 471:20150039, DOI: http://dx.doi.org/10.1098... -
7
DRAKON Editor
A free cross-platform editor for the DRAKON visual language.
DRAKON is a diagram language developed within the Russian space program. Its primary objective is presenting complex software systems in a way which is easy to understand by humans. DRAKON's motto: took a glance - understood at once. DRAKON Editor helps software architects, quality specialists and developers. Architects and quality assurers can express a high-level view of how their product works. DRAKON serves them to explain the dynamics of a software system. Software engineers can use... -
8
BeigeUML
UML diagram editor
BeigeUML is an UML diagram editor. It has two user interfaces - ordinary desktop SWING and Android. Features: 1. Supports UML 2.4.1 compliant class diagram, package diagram, object diagram, sequence diagram and use case diagram. 2. It generates UML class diagram from Java source. 3. It's a doclet that generates standard Javadoc with UML class diagram. This application you can download from Central Maven Repository: https://search.maven.org/#search%7Cga%7C1%7Cg%3A%22org.beigesoft%22... -
9
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models... -
Accounting Software for Small Businesses | XeroXero offers a robust ecosystem of connected apps and integrations with banks and financial institutions, enabling small businesses to access a wide range of solutions within Xero's open platform to streamline operations and manage finances. Additionally, accounting and bookkeeping firms benefit from efficient compliance tools, advanced practice management software, and a cloud-based unified accounting ledger for all clients, centralized in one place.
-
10
DTDS
Data Type Definition System
DTDS is a system of definition of data types for unification of information exchange with use of different Samond Classes Library functions and for generation of source texts based on the completed data type definition -
11
Object Graph Visualizer
A modeling tool for software engineers (OO)
Object Graph Visualizer is a tool primarily meant to be used in CS courses to help new students understand the Object Oriented paradigm and patterns. Classes and objects - that can be part of a software project - are visualised in 3D: The classes stay In the xz-plane in form of an UML class diagram. Directly above in the y-axis objects can be instantiated as an object diagram. Classes can be connected with all sorts of relations (Associations, Compositions, Generalization, etc.), objects... -
12
GUAJE FUZZY
Free software for generating understandable and accurate fuzzy systems
GUAJE stands for Generating Understandable and Accurate fuzzy models in a Java Environment. Thus, it is a free software tool (licensed under GPL-v3) with the aim of supporting the design of interpretable and accurate fuzzy systems by means of combining several preexisting open source tools, taking profit from the main advantages of all of them. It is a user-friendly portable tool designed and developed in order to make easier knowledge extraction and representation for fuzzy systems, paying... -
13
The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.
-
14
instantFSM
C++ inline state machine library
instantFSM is a header-only C++ state machine library. Its goal is to make state machine declaration and use easy enough that it can be integrated into your projects painlessly. Have a look atp the wiki where you will find a tutorial, samples, and a cheatsheet to get accustomed with instantFSM. The only instantFSM header file is downloadable from the files section or you can check it out from the git repository. -
15
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
16
EasyCP
The easiest C++ way to deal with constraints !
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job ! -
17
glob
OpenGL 3D Mesh generating library
GLOB allows OpenGL programmers to create a variety of 3D meshes ranging from spheres, cubes and cyliders to NURBS and extrusions. GLOB compiles under Windows, Linux-based OSs and MAC. The library is compatible with OpenGL 4.0+ and doesn't use any deprecated features. 4 attrributes: 4D color, 3D normal, 3D position and 2D texture coordinate are stored per vertex in VAO (Vertex Array Objects). GLOB doesn't do any rendering to the screen and only builds the attributes for the mesh. Thus, the user... -
18
JUMLStateMachine
Java library implementing a state machine by the UML standard.
JUMLStateMachine is a Java library implementing a state machine by the UML standard. The purpose for the library is to be easily usable for small state machines, yet extendable and scalable for larger and more complex ones. -
19
Trike
Computer-aided threat modeling
Trike is a platform-independent tool for systematic, computer-assisted threat modeling, from requirements through deployment. We are developing Trike v2 on GitHub (https://github.com/octotrike/trike). Our mailing lists are still here on SourceForge, and we're leaving the old code repository & releases up for archival purposes. Plus you probably want to use something while you're waiting for v2. -
20
Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.
-
21
A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.
-
22
Dinjam is an opensource, crossplatform (data) modeller especially intended for educational use. It is highly extensible through a sophisticated plugin mechanism.
-
23
GGredit is library that implements base functionality for a generic graphic editor. DDraw is a diagram editor designed for Gnome that use GGredit. DDraw is inspired to DIA, it can be used to draw many different kinds of diagrams.
-
24
The project is built with oaW (openArchitectureWare) maybe the most popular framework of MDSD now days. It provide a small DSL for modeling and can be extended (the code generated) through a cartridge mechanism. Give it a chance :) , feedback are welcome
-
25
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.