Search Results for "foam-extend-5" - Page 2

SourceSquare is a free open source scanning solution, based on Antepedia, the world's largest open source knwoledge base, including more than 1,000,000 open source projects from the main forges. SourceSquare is a free (as in free beer) and free (as in free speech, licensed under GNU Affero Public Licence V3) product, which scans a folder on your hard drive and displays a treemap that shows which part of your source code is open source.

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)

Be accommodated in this project a version of CAP (Code Analysis Plugin for Eclipse) valid for Eclipse Indigo. The version of CAP in sourceforge.net/projects/cap4e/ not work correctly in Eclipse Indigo so I made ​​the appropriate adjustments. I tried to connect to the original author of CAP4E but without results. Please, if anyone could do it for me I am willing to give the original author of the updated package for me to post it on the original site. I then eliminate this...

CesTa (Code Enhancing Security Transformation and Analysis) is a tool for enhancing security by program transformations. Focused on Smart Cards (Java Card in particular), powered by Ant, ANTLR and StringTemplates.

KnownDefects is a simple annotation library for use when writing unit tests against existing code. This annotation can be used to mark the tests that highlight defective behavior. FindBugs can then be used to find all instances of the annotation.

Moved to Git Hub, https://github.com/SaikiranDaripelli/WsdlAuditor

Bluprint is an Agile-MDA code generator. It is a fuss-free tool supporting code generation from UML modelling tools. It supports model/code merging so engineers can easily extend and maintain generated code. Bluprint has been developed using itself.

Small plug-ins for the Eclipse IDE to enhance the usability. All plugins can be updated through the update site: http://sahits.ch/project/eclipse/update

Provide metrics calculation and dependency analyzer plugin for the Eclipse platform. Measure metrics with avg and std deviation and detect cycles in package and type dependencies. Continuation of work from http://sourceforge.net/projects/metrics.

PHP Tool Integrations aim is to integrate usefull php tools such as PHP CodeSniffer, PHPUnit and PHP Depend into Eclipse.

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.

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.

Counts the Lines of Code for any type of source file (Java, C/C++), given the single line comment and muli line comment (configurable)

Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...