Search Results for "binary analysis tool"

....) • Offers ideological and conceptual integrity across all facilities. By adapting a new approach to CASE tool architecture (integration at repository level and developing a component-based CASE system instead of a monolithic tool) an entirely new species of tools can be brought into a useful existence – an integrated environment where all project-related activities can be performed efficiently.

For Homepage, Blog, Family Tree, Database, C#|hjt|js|chm Editor. Convert hjt2xml, (c#)cs2xml, chm2xml, js2xml, xml2cs, xml2js, xml2hjt, cs2hjt, hjt2cs, cs2chm, hjt2chm. IE/Opera/Firefox/PocketPC supported.

jSET - Java Software Evolution Tracker is a software visualization tool that allows practitioners to assess the magnitude of changes across the versions of a software system.

Volta is a suite of development tools for distributed, hard real-time systems. It includes Cascade, a control flow analysis tool for Java, and Clepsydra, a worst-case execution time analyzer. Also included is a Clepsydra plug-in for jEdit.

JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.

OpenRQ is an open-source software requirements management CASE tool implemented as an Eclipse Rich Client Platform (RCP) application.

Highly customizable CASE-Tool for static code analysis based on software metrics with additional support for easy interpretation and Agile Development (evolutionary design).

JRequisite is an agile requirement management tool. Its main goal is to give the developer community a free, user friendly, and powerfull tool for requirement analysis and change management.

jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).

TAT is a tool to aid in producing a list of Actors, Use Cases, Candidate Classes and Attributes from a plain text file of a statement of requirements by highlighting words and clicking on the appropriate button or menu item. Results saved as text or XML.