• Matlab

  • Referenced in 11649 articles [sw00558]
  • data, develop algorithms, and create models and applications. The language, tools, and built-in math ... spreadsheets or traditional programming languages, such as C/C++ or Java™. You can use MATLAB...
  • JML

  • Referenced in 188 articles [sw04597]
  • Java Modeling Language (JML) is a behavioral interface specification language that can be used ... Java modules. It combines the design by contract approach of Eiffel and the model-based ... Larch family of interface specification languages, with some elements of the refinement calculus...
  • Java PathFinder

  • Referenced in 120 articles [sw07658]
  • which translates from JAVA to PROMELA, the modeling language of the SPIN model checker...
  • JUnit

  • Referenced in 29 articles [sw07262]
  • tests easier. It uses a formal specification language’s runtime assertion checker to decide whether ... have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • experimentation with model-checking Java source code. Bandera takes as input Java source code ... requirement formalized in Bandera’s temporal specification language, and it generates a program model ... specification in the input language of one of several existing model-checking tools (including Spin ... customize the program model to the property being checked. When a model-checker produces...
  • JavaFAN

  • Referenced in 30 articles [sw01934]
  • state programs by explicit state model checking. Both Java language and JVM bytecode analyses ... Maude code, specifying formally the semantics of Java and JVM in rewriting logic and then ... Maude for efficient execution, search and LTL model checking of rewriting theories...
  • KRAKATOA

  • Referenced in 86 articles [sw03159]
  • basic structure of an environment for proving JAVA programs annotated with JML specifications. Our method ... imperative language annotated with pre- and post-conditions, the CQQ proof assistant for modeling ... translator of our own, which reads the JAVA files and produces specifications ... JAVA semantics of the JAVA program into WHY’s input language...
  • OMNet++

  • Referenced in 66 articles [sw04170]
  • modeling, photonic networks, etc., is provided by model frameworks, developed as independent projects. OMNeT++ offers ... time simulation, network emulation, alternative programming languages (Java, C#), database integration, SystemC integration, and several...
  • OptimJ

  • Referenced in 5 articles [sw04917]
  • OptimJ: Java-based Modeling Language for Optimization...
  • MALLET

  • Referenced in 22 articles [sw10602]
  • Java-based package for statistical natural language processing, document classification, clustering, topic modeling, information extraction...
  • JCML

  • Referenced in 2 articles [sw06406]
  • specification language for the runtime verification of Java card programs Java Card is a version ... Java developed to run on devices with severe storage and processing restrictions. The applets that ... research developed to improve the safety of Java Card applets concentrates on static verification methods ... JCML (Java Card modelling language) a specification language derived from JML (Java modelling language...
  • ESC4

  • Referenced in 2 articles [sw07219]
  • complete extended static checking for the Java modeling language Extended Static Checking...
  • TestEra

  • Referenced in 21 articles [sw07258]
  • novel framework for automated testing of Java programs. TestEra automatically generates all non-isomorphic test ... relational language, and the Alloy Analyzer. Checking a program with TestEra involves modeling the correctness ... concretization translations between instances of Alloy models and Java data structures. TestEra produces concrete Java...
  • MESS

  • Referenced in 19 articles [sw14886]
  • model reduction. Even though MESS has been implemented in MATLAB rather than programming languages like ... FORTRAN, C, or JAVA, this does not mean that MESS is restricted to the solution...
  • TALx86

  • Referenced in 45 articles [sw34511]
  • suited than Java bytecodes for supporting a wide variety of source languages and a number ... defining and implementinga realistic typed assembly language called TALx86. The TALx86 instructions comprise a relatively ... Intel IA32 (32-bit 80x86 flat model) assembly language and are thus executable on processors...
  • AGG

  • Referenced in 49 articles [sw04449]
  • these Java objects described by a Java expression. The AGG environment consists of a graphical ... include graph and rule-based modeling of software, validation of system properties by assigning ... system model, graph transformation based evolution of software, and the definition of visual languages based...
  • JUNG

  • Referenced in 10 articles [sw12112]
  • provides a common and extendible language for the modeling, analysis, and visualization of data that ... graph or network. It is written in Java, which allows JUNG-based applications to make...
  • JMLUnit

  • Referenced in 1 article [sw00475]
  • with formal specifications written in the Java Modeling Language, this method is embodied...
  • ArgoUML

  • Referenced in 15 articles [sw10874]
  • ArgoUML is the leading open source UML modeling tool and includes support for all standard ... runs on any Java platform and is available in ten languages. See the feature list...
  • LoTREC

  • Referenced in 25 articles [sw07684]
  • tableaux system for building models or counter-models and testing satisfiability of formulas in modal ... characterized by a high-level language for tableau rules and strategies. It aims at covering ... semantic based logics. It is implemented in Java and characterized by a user-friendly graphical...