ⓘ Software for modeling software ..

Interactive Disassembler

The Interactive Disassembler is a disassembler for computer software which generates assembly language source code from machine-executable code. It supports a variety of executable formats for different processors and operating systems. It also can be used as a debugger for Windows PE, Mac OS X Mach-O, and Linux ELF executable. A decompiler plug-in for programs compiled with a C/ C++ compiler is available at extra cost. The latest full version of IDA Pro is commercial; while an earlier and less capable version is available for download free of charge. IDA performs automatic code analysis, ...

JEB decompiler

JEB is a disassembler and decompiler software for Android applications and native machine code. It decompiles Dalvik bytecode to Java source code, and MIPS, ARM, x86 32-bit, x86 64-bit machine code to C source code. The assembly and source outputs are interactive and can be refactored. Users can also write their own scripts and plugins to extend JEB functionality. Version 2.2 introduced Android debugging modules for Dalvik and native code. Users can "seamlessly debug Dalvik bytecode and native machine code, for all apps including those that do not explicitly allow debugging". Version 2.3 i ...

MetaCASE tool

A metaCASE tool is a type of application software that provides the possibility to create one or more modeling methods, languages or notations for use within the process of software development. Often the result is a modeling tool for that language. MetaCASE tools are thus a kind of language workbench, generally considered as being focused on graphical modeling languages. Another definition: MetaCASE tools are software tools that support the design and generation of CASE tools. In general, metaCASE tools should provide generic CASE tool components that can be customised and instantiated in ...


MetaDONE is a software environment for creating domain-specific modeling languages. MetaDONE is developed by the PReCISE Research Center of the University of Namur. It supports multi-level modeling and is fully bootstrapped. User-defined languages can have several concrete notations that are defined declaratively with the GraSyLa language. This framework proposes several modeling languages, User Requirements Notation, Goal-oriented Requirements Language, Petri Net) that can be freely customized by the users.

Rigi (software)

Rigi is an interactive graph editor tool for software reverse engineering using the white box method, i.e. necessitating source code, thus it is mainly aimed at program comprehension. Rigi is distributed by its main author, Hausi A. Muller and the Rigi research group at the University of Victoria. Rigi provides interactive links from the graphs it produces to the source code, but not vice versa. Rigi renders trees and grid-layout graphs using its own internal engine, but relies on University of Passaus GraphEd for more advanced layouts. The public version of Rigi has built-in parsers "fact ...

PragmaDev Studio

PragmaDev Studio is a modeling and testing software tool introduced by PragmaDev in 2002 dedicated to the specification of communicating systems. It was initially called Real Time Developer Studio or RTDS. Its primary objective was to support SDL-RT modeling technology. Since V5.0 launched on October 7, 2015 RTDS is called PragmaDev Studio, and it is organized in four independent modules: Specifier, Developer, Tester and Tracer. V5.1 launched on November 29, 2016 introduces a freemium licensing model.


ⓘ Software for modeling software

  • stepwise process, Fundamental Modeling Concepts FMC modeling language for software - intensive systems. IDEF is a family of modeling languages, the most notable
  • Following is a list of notable 3D modeling software computer programs used for developing a mathematical representation of any three - dimensional surface
  • Rational Software Modeler RSM made by IBM s Rational Software division, is a Unified Modeling Language UML 2.0 - based visual modeling and design tool
  • Emotion - sensitive software Image editing Industrial automation Mathematical software Medical software Molecular modeling software Quantum chemistry and
  • software List of software for Monte Carlo molecular modeling List of software for nanostructures modeling Molecular design software Molecular dynamics
  • In the context of software engineering, software quality refers to two related but distinct notions: Software functional quality reflects how well it
  • Ralph Johnson Who Needs an Architect? IEEE Software Jul Aug 2003 Bell, Michael 2008 Service - Oriented Modeling Service Analysis, Design, and Architecture
  • processes. Fundamental Modeling Concepts FMC is modeling language for software - intensive systems. IDEF is a family of modeling languages, the most notable
  • Proprietary software also known as closed - source software is a non - free computer software for which the software s publisher or another person retains