Search Results for "java modelling tools"
Sort By:
Showing 304 open source projects for "java modelling tools"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
Keep company data safe with Chrome EnterpriseMake AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
-
1
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
2
This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest
-
3
Druid is a GUI tool for database build and management. Users can add/change/delete DB objects (tables, fields, etc). Druid generates for you: SQL scripts, docs in XHTML, PDF, DocBook, etc; code in C, C++ & Java Beans even for JDO and support Castor & OJB
-
4
bidji
data transformation and code generation
Bidji project is a set of tools for: - data transformation - code generation (which uses data transformation) -
Level Up Your Cyber Defense with External Threat ManagementMove beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
-
5
ULS
A lexical analyzer generator that makes the class source code.
ULS is a class library for creating lexical analyzer from language specification file. It's provided as C/C++/C# and Java (class) libraries with a few of tools on Linux/Windows platform. -
6
MergeDoc
Distributes Eclipse Japanese language-related tools and plug-ins
Distributes Eclipse Japanese language-related tools and plug-ins. IntelliJ and PhpStorm can also be localized into Japanese. -
7
SMC - The State Machine Compiler
Translates state machine into a target programming language.
SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info. -
8
Next Generation Programming
Compose Software Without Writing Any Programing Code
"Next Generation Programming - Programming Without Coding Software" is a drag-drop wizard for creating simple or complex applications without writing any programming language code The Software is coded/designed with "Java Programming Language" for novice/expert programmers; Programmers can write softwares with visual tools : drag-drop components;visual editors... Programmers can use the software to compose of simple/complex applications : Database programs, circuit design, generate code and upload to chip for designed circuits (ESP8266, ESP32 chips) The Software in question is much simpler to use than PWCT (https://sourceforge.net/projects/doublesvsoop/) software. ... -
9
ProGuard Java Optimizer and Obfuscator
Java class file shrinker, optimizer, obfuscator, and preverifier
ProGuard has moved to Github now: https://github.com/Guardsquare/proguard ProGuard is a free Java class file shrinker, optimizer, obfuscator, and preverifier. It detects and removes unused classes, fields, methods, and attributes. It optimizes bytecode and removes unused instructions. It renames the remaining classes, fields, and methods using short meaningless names. ProGuard is useful for making code more compact and more efficient, on the desktop, on tablets, on smartphones, and on... -
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.
-
10
TransferWare is a collection of tools for the Oracle world: the schema version manager TransVersion (tv), the External Procedure Call (epc) toolkit for accessing the outside world from within Oracle PL/SQL and an application Performance Monitor (pm).
-
11
ObjectBuilder2
C++ CASE tool, full life cycle code generator
ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. ObjectBuilder perfectly organize C++ header files with any level of... -
12
Olympos is an holistic MDA/MDD approach to projects. It allows to create Web (PHP, J2EE), Desktop (c#) and Mobile applications (.NET, J2ME) from a UML model. Features a Web 2.0 IDE, a generator based on openArchitectureWare and several cartridges.
-
13
SQL-Admin is a tool entirely written in Java. It uses JDBC and swing . Admin offers a SQL-Monitor, Data-Export, Data-Import, dynamic forms, guided Query, DML functions and data selection. It 's code-generator generates OO-Wrapper and SWING-GUI.
-
14
Command-line/Ant-task/embeddable text file preprocessor. Macros, flow control, expressions. Recursive directory processing. Extensible in Java to display data from any data sources (as database). Can generate complete homepages (tree of HTML-s, images, etc.)
-
15
S-MVP
Optimized version of MVP, using annotation generics to simplify code
Optimized version of MVP, using annotation generics to simplify code writing, using modular protocols to facilitate maintenance, APT process uses annotation parser to use JavaPoet. Complete the writing of repetitive modules, use ASpect+GradlePlugin to complete horizontal AOP programming+Javassist dynamic bytecode injection+Tinker to achieve hot repair+Retrofit to achieve elegant network operations+RxJava to easily play with data processing. In MVP, Presenter completely separates Model and... -
16
xml2j
XML Schema SAX based code generator for Java
XML Code Generator and Framework for Java, helps you develop high-volume XML Parsers quickly and consistently. Unlike most development tools, xml2j does not force you to use a vendor specific API; using our generator the model is the API. The code generator uses XSLT to transform XML Schema to Java code and is fully adaptable. With XSD there are many different possible approaches to defining a schema for your XML, therefore the generator first normalizes the XSD to an XML fit for code generation. ... -
17
PreprocesssorWizard
WYSIWIG conditional compilation preprocessor for Java etc.
A WYSIWYG Conditional Compilation Preprocessor for Java, Perl, C, C++, Basic, PowerShell, C#, Javascript, and other programming languages. Many C and C++ developers rely heavily on the C preprocessor, and lament the lack of a preprocessor in Java, scripting languages, and other programming languages. The principal objection to a preprocessor is that it makes one's code difficult to read. This is indeed true for the C preprocessor. It is sometimes difficult to determine which lines of... -
18
APKRepatcher
APKRepatcher helps you to modify an existing apk with simple GUI
APKRepatcher helps you to modify an existing apk using a simple user friendly GUI. It lets you edit java/smali code from an APK and rewrite the changes back to the modified signed APK. Additionally, it provides you option to convert Dex, Jar, Class, Smali, Class from one format to another. APKRepatcher makes use of dex2jar, jadx, rsyantaxtextarea, zip4j, apktool -
19
Demoiselle
Framework, process, docs and tools to make easy JEE development.
Root site: http://demoiselle.sourceforge.net. From that, access: framework, components, wizard, sample e process. Releases can be downloaded via Maven from http://demoiselle.sourceforge.net/repository -
20
Tanit is a set of Oracle to Kopi (a Java based framework) migration tools providing automatic translation of your Oracle PL/SQL, Forms and Reports applications with more portability and ease of use
-
21
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
22
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
23
Cress Tool Suite
Cress is a comprehensive toolset for graphical service/workflow design
Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment... -
24
C3PO is a software synthesis tool that provides a solution for building maintainable, reliable and robust software infrastructures and/or compiler frontends from a set of attributed grammar rules in EBNF notation.
-
25
The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).
