Search Results for "java modelling tools"
Sort By:
Showing 304 open source projects for "java modelling tools"
View related business solutions-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
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
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
-
3
bidji
data transformation and code generation
Bidji project is a set of tools for: - data transformation - code generation (which uses data transformation) -
4
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. -
Crowdtesting That Delivers | TesteumTesteum connects your software, app, or website to a worldwide network of testers, delivering detailed feedback in under 48 hours. Ensure functionality and refine UX on real devices, all at a fraction of traditional costs. Trusted by startups and enterprises alike, our platform streamlines quality assurance with actionable insights. Click to perfect your product now.
-
5
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. -
6
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. -
7
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...
-
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... -
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... -
Build Securely on Azure 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.
-
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
S-MVP
Optimized version of MVP, using annotation generics to simplify code
..., and the main program logic is implemented in Presenter. Moreover, the Presenter is not directly related to the specific View, but interacts through the defined interface (we only need to pass parameters according to the interface when testing alone), so that the Presenter can be kept unchanged when changing the View. i.e. reuse! Not only that, we can also write a View for testing to simulate various operations of the user, so as to test the Presenter - without using automated testing tools. -
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
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.
-
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... -
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 code... -
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
... and validation. Cress aims to make service design as easy as possible without requiring specialist development knowledge. It simplifies service creation to drawing diagrams, clicking buttons and defining a few tool parameters. All key functions of Cress can be controlled from the Chive diagram editor. Cress is written using portable and widely used languages (Perl and Java). It can be extended by a developer for other kinds of services that can be characterised by activity flows. -
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).
