Search Results for "gnu linux" - Page 2
Sort By:
Showing 43 open source projects for "gnu 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 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.
-
1
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) -
2
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
3
Justus is a tool set for Progress 4GL (ABL) Developers. It includes a simplified parser for 4GL, an API to load Profiler data and a Test Coverage Tool.
-
4
Its an Eclipse 3.5 Plugin. It can be used to find linear paths for unit testing of any method. The linear path covers all the child methods and till leaf level of the hierarchy. The packages which should be covered in the path can be controlled.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
5
-
6
Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.
-
7
-
8
LDIFF is an enhanced language-independent line differencing tool built upon the Unix diff and overcomes its limitations in determining whether an artifact line has been changed or is the result of additions and removals
-
9
Rapidlogix is an open source application performance management tool optimized for distributed production environments. It allows to increase time-to-market of performance improvements and prevent performance regression
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.
-
11
Java Cobol Lexer take a cobol source program and return it as a list of lexical tokens. Library takes source code in fixed, free and mixed formats. It recognizes standard Cobol 85.
-
12
Counts the Lines of Code for any type of source file (Java, C/C++), given the single line comment and muli line comment (configurable)
-
13
Java libraries with the functionality of indenting source code utilizing regular expresions. Currently C/C++, Java, HTML, and XML are supported.
-
14
This is a Super Simple Java Editor written entirely in Java. It allows you to compile and run java programs in an mdi interface with syntax highlighting and easy commenting. Currently in suspended development. Available as a jar and an msi.
-
15
JavaCount is a simple (Code, Comments, Cyclomatic and Statements) counter for Java methods that ouput the metrics in various formats (csv, xml, etc) -- Acknowledgement: EU Funded FP6 Qualoss Project (see http://www.qualoss.eu).
-
16
PatternDetect is an Eclipse plugin that extracts the design patterns used in an Eclipse Java project. PatternDetect can be extended with new design patterns.
-
17
jUML is a UML diagram application capable of reverse engineering Java source code to create relationship diagrams, source code generation based on a user created UML diagram, and saving/restoring of jUML projects.
-
18
Recognizes typical patterns in Java code which could be replaced with functions provided by open source libraries http://www.jnorm.org
