Search Results for "java security for linux" - Page 5
Sort By:
Showing 1100 open source projects for "java security for linux"
View related business solutions-
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.
-
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
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... -
2
AnyParser
Problemless Grammar and Parser in Java
Grammar based parsing in Java 8 to a tree structure. Create with no overhead a grammar in java and parse it into a tree structure. Will probably work right away with your grammar. -
3
SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...
-
4
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. -
Business Automation Software for SMBsThe only software you need to increase cash flow, optimize resource utilization, and take control of your assets and inventory.
-
5
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... -
6
GeneratorEclipsePlugin
Eclipse Repository for Code Converters
This is the Eclipse Plugin Site for "Java Code Generators". The plugin provides a menu entry "Java Code Converters" in the Eclipse Package Explorer. This menu opens a sub menu. Each sub menu entry works in the same way: 1. A directory dialog is opened. 2. Choose the directory where the properties for the generation are located 3. Print "OK" and await the code generation results For each Java Code Generator different properties files with different property keys are... -
7
Stock Inventory Management
PHP Stock Inventory Management System - POS
A web-based application which will manage stock inventory so easily: Dashboard, Stock Management, Purchasing, Sales, Suppliers, Customers, Outstandings, and Payments. Nice look and feel interface. It supports to be displayed in mobile-device. This web application is actually generated by PHPMaker without touch any code in the generated script files. All the customization are done from inside of PHPMaker Project. Thus, all the changes are saved in the project side, so that you will be able... -
8
Xsemantics
a DSL for type systems, reduction rules, interpreters for Xtext langs
Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java). -
9
SQLG2 is preprocessor and library that combines ideas of JDBC, SQLJ and iBATIS to simplify writing DB access code for small and medium-sized applications, making it similar to PL/SQL development. It is intended for use under JDK 1.6 or later.
-
The Original Buy Center Software.VAN sources private-party vehicles from over 20 platforms and provides all necessary tools to communicate with sellers and manage opportunities. Franchise and Independent dealers can boost their buy center strategies with our advanced tools and an experienced Acquisition Coaching™ team dedicated to your success.
-
10
JTurboExplorer
Database explorer to MySQL, Oracle, Sybase & others. Source maker JSF.
It is a tool to help programmers to check your databases and generate code so easily. Lists the tables and views of databases, MySQL, Oracle and Sybase. Load Data from Excel 97-2003 files, exports the data from the table to Excel 97-2003 file. Generate Stored Procedures from table to insert, update, delete, query and paging. Generates code JSF2.0 (Action) and PrimeFaces (xhtml) from the table, code for Struts 1.3, etc. -
11
EasyMda
An Eclipse plugin that generates source-code, from a Java based model
easyMda is an Eclipse plugin that can generate source-code, from a model that is based on Java classes. The main goal of this project is to provide the: most flexible (anything imaginable, can be modelled and generated), easiest to develop and to use, and also a very fast: MDA/code-generator tool. The main difference with other Mda tools is that easyMda does not rely on Uml nor a Dsl, instead it uses Java classes as it's model. The advantage over Uml and Dsl is that the combined... -
12
The Junicon Project
Java-based Dialect of the Unicon Programming Language
Junicon is a Java-based implementation of Unicon, a very high level object-oriented goal-directed programming language that lives at Unicon.org. Junicon features seamless Java object access, interactive interpretation, and numerous cleanups and enhancements while retaining Unicon's core expression-evaluation semantics. Please see the Junicon Project Web Site for publications about Junicon. -
13
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
-
14
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).
-
15
JComp
Program to translate source codes
Program is aimed to be able to translate source codes from one language to other. Currently it only works (somewhat) for the following translations: - pascal to java - pascal to php - c to php Any constructive suggestions or feature requests are welcome -
16
JANET is a software tool simplifying integration of Java applications with codes and libraries written in other languages. It defines a lightweight Java language extension and appropriate preprocessor generating JNI interfaces out of JANET source files.
-
17
Arcimboldo
Generator's generator (JSON templates plus automatic DSL generation)
Generating the files of an application with the help of a DSL (domain specific language) is very nice . . . provided the development of the DSL itself is not more complex than the application development itself. This workbench is based on the JSON templates and a so-called description file that lists the files to generate. It requires thus a minimum of knowledge and effort to manage the templates and the source specification. It provides a powerful multi-file editor that highlights the... -
18
MOBIDICK (MOdular But IntegrateD applICation frameworK) is dedicated to gather as less as possible Java frameworks in order to complete full needs of large business application and allow regeneration of code, even when java frameworks change.
-
19
Java Application Framework For All
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
An Enterprise Focused Java Framework For Rapid Application Development. JAFFA is a Java web application development stack, build around Web 2.0 technologies (ExtJS, DWR, JAWR) with an extensive service architecture, meta-data layer and rules engine (based on JBoss AOP and Drools). It provides an event driven SOA infrastructure with advanced scheduling and queue sub-systems -
20
Adichatz - Eclipse 4 RCP Framework
Develop quickly & easily Eclipse 4 RCP Application in JEE/JSE context
In a few minutes, Adichatz plugins allow you to develop an Eclipse 4 RCP application using JPA in a JEE or JSE context. Editors enable to edit beans and their dependencies including databinding, validation, transaction... Components are easily extensible. -
21
astah-anycode-plugin
Code generation from UML to any language (Java, Objective-C, PHP...)
Code generation plugin for Astah* UML. It enables to generate source code from UML class diagrams to various languages (Java, JPA, PHP, C#, Objective-C...) with custom templates. It now makes source code generation easy thanks to built-in directives. -
22
Green, an Eclipse plugin, is an advanced yet simple UML class-diagram tool, developed primarily for student use. It does live round-tripping, so it's easy to move between diagram and code views. It's extensible: users can define their own relations
-
23
CSVTOHIVE
Generate Hive Scripts Automatically from CSV Files
Generates Hive Scripts Automatically from a CSV Files. 1. Script copies csv files to Hadoop Files System. 2. Generates CREATE statements to create tables. 3. Generates .hive files in the same folder as that of csv folder and also generates run.sh with all consolidated files. So just switch to the folder where .hive scripts are residing and run run.sh (./run.sh). This tool will also set execute permissions on .hive and run.sh scripts so you can directly execute run.sh. -
24
StrategyGenerator
Generator for strategy pattern code in Java
This project is inactive. Strategy Pattern and State Pattern are identical from the technical point of view. To support generation of State Pattern classes and Strategy Pattern classes the code of this project has been moved to the new project StrategyStateGenerator (https://sourceforge.net/projects/strategystategenerator/). The project StrategyStateGenerator offers generation of Strategy Pattern and State Pattern Java source code. However, the API has changed. Although the class... -
25
