Search Results for "command-line"
Sort By:
Showing 45 open source projects for "command-line"
View related business solutions-
Our Free Plans just got better! | Auth0You 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.
-
Total Network Visibility for Network Engineers and IT ManagersThis means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
-
1
Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.
-
2
ConceptBase.cc
A Database System for Metamodeling and Method Engineering
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level... -
3
Unified Code Generation
Open-source code generator for Simulink/Stateflow
This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) -... -
4
FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.
-
Automate KYC, KYB and AML to prevent fraud, ensure compliance and onboard customers noticeably faster with Authologic.Add government-issued digital IDs, identity wallets and Bank IDs to your existing KYC/AML & KYB infrastructure. No manual checks. No deep-fakes or forged documents. Customise your onboarding without the need of IT, using our modular workflow architecture.
-
5
DBDoc
Database to PlantUml or yEd diagrams.
Program creates the database table diagrams from databases metadata. -
6
Tefkat is the transformation engine for the Eclipse Modeling Framework (EMF). It implements a state-of-the-art declarative model-to-model transformation language, including a source-level debugger and support for UML2, MOF2, and XML Schema-based models.
-
7
[JMuwe] Java Multifunktions Wecker
Raspberry Pi Projekt Multifunktions Wecker
Das erste Projekt mit dem RaspberryPi Model B - Ein Multifunktions Wecker. Ich habe mir dieses Projekt ausgesucht da es derzeit auf dem Markt kaum bzw keine günstigen Internet Radio Wecker zu kaufen gibt (meistens ab 80€ und aufwärts...) daher DIY -
8
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
9
Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-
-
Loan business software for any kind of loanCreditOnline is an end-to-end integrated loan business management platform helping organizations connect and integrate all relevant parties in a state-of-art lending ecosystem that supports any kind of loan or lending segment. Our future-proof lending technology and partnerships render it simple, fast and cost-effective to expand the portfolio of your services and number of your clients, allowing your business to scale up or reinvigorate itself effectively at any stage of the business life-cycle.
-
10
SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.
-
11
Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl
-
12
The "Architecture Visualizator" parses source code and analyze the object oriented structure as well as the control flow and logic aspects. After that it visualize the results for example as graphviz file.
-
13
UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.
-
14
Application has been created during my Master Degree studies at PJIIT. It was inspired by "Business Process Modeling and Simulation with UML" articles by Pan-Wei Ng published on The Rational Edge Apr / May 2002.
-
15
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.
-
16
The Visio-EMF Bridge offers the transformation of Visio stencils and Visio models into EMF metamodels and EMF models, respectively. The bridge enables the processing of Visio models with EMF tools, such as, openArchitectureWare or Eclipse Epsilon.
-
17
JImola is a editor for racing sims developed under the ISI engine (GTR, GTL, rF, ...). It allows the user to change the AIW file (AI control, cutting, track borders, grid and pits info) in 3D without the hassle of editing a big text file.
-
18
A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.
-
19
ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).
-
20
The Quarrel tool renders UML diagrams from text-based, declarative inputs for quick and easy modeling, as described in the UML as Sketch practice. The first release will only support class diagrams, but future releases will support more diagram types.
-
21
ATTENTION! For various reasons, the infrastructure of the Reuseware project has moved. All information and latest versions are available via the new Reuseware webpage: http://reuseware.org
-
22
Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.
-
23
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.
-
24
STDProject (Simple Tree Driven Project) is a modeling tool for software development projects. It will let you build your project, watch its consistency, generate documentation and reuse work from one project to another.
-
25
automated refactorings, source-code metrics, audits and corrective actions. install as a stand-alone application or as a plug-in to Eclipse or NetBeans.
