• Matlab

  • Referenced in 13544 articles [sw00558]
  • spreadsheets or traditional programming languages, such as C/C++ or Java™. You can use MATLAB ... industry and academia use MATLAB, the language of technical computing...
  • Python

  • Referenced in 2091 articles [sw14460]
  • languages such as C++ or Java. The language provides constructs intended to enable clear programs...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • programming languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification...
  • JML

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

  • Referenced in 289 articles [sw03522]
  • Eiffel Software. The design of the language is closely connected with the Eiffel programming method ... later found their way into Java, C#, and other languages. New language design ideas, particularly...
  • Featherweight Java

  • Referenced in 93 articles [sw16204]
  • studies have introduced lightweight versions of Java: reduced languages in which complex features like threads ... full language (including interfaces and even assignment) to obtain a small calculus, Featherweight Java ... similar relation to Java as the lambda-calculus does to languages such ... dynamic typecasts with a semantics closely following Java’s. A proof of type safety...
  • OMNet++

  • Referenced in 67 articles [sw04170]
  • time simulation, network emulation, alternative programming languages (Java, C#), database integration, SystemC integration, and several...
  • JADE

  • Referenced in 39 articles [sw11698]
  • software Framework fully implemented in the Java language. It simplifies the implementation of multi-agent ... required. JADE is completely implemented in Java language and the minimal system requirement...
  • Java PathFinder

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

  • Referenced in 135 articles [sw04438]
  • used as an intermediate language for the verification of C, Java, or Ada programs. Why3 ... features are: numerous extensions to the input language, a new architecture for calling external provers...
  • JavaFAN

  • Referenced in 32 articles [sw01934]
  • explicit state model checking. Both Java language and JVM bytecode analyses are possible. JavaFAN ... Maude code, specifying formally the semantics of Java and JVM in rewriting logic and then...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • basic structure of an environment for proving JAVA programs annotated with JML specifications. Our method ... computes proof obligations for a core imperative language annotated with pre- and post-conditions ... translator of our own, which reads the JAVA files and produces specifications ... JAVA semantics of the JAVA program into WHY’s input language...
  • SWIG

  • Referenced in 54 articles [sw04607]
  • Perl, Tcl, Ruby, Guile, and Java. By automating language integration, SWIG enables scientists...
  • Jason

  • Referenced in 65 articles [sw06187]
  • logic-based agent-oriented programming language -- written in Java. It enables users to build complex ... suited for implementation using BDI-based programming languages. The authors also give guidance on good...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • specification formalisms like UML or programming languages like Java, were not supported. par -- the architecture...
  • JFlow

  • Referenced in 26 articles [sw20595]
  • language JFlow, an extension to the Java language that adds statically-checked information flow annotations...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • kernel language. We also present a prototype implementation of KLAIM in Java...
  • JStatCom

  • Referenced in 104 articles [sw04873]
  • specialized programming languages, like Matlab, Gauss or Ox, with the Java world. Furthermore, it helps...
  • Jess

  • Referenced in 22 articles [sw23527]
  • environment written entirely in Oracle’s® Javalanguage by Ernest Friedman-Hill at Sandia National ... Livermore, CA. Using Jess, you can build Java software that has the capacity to ”reason ... powerful scripting language gives you access to all of Java’s APIs. Jess includes...