• Renew

  • Referenced in 18 articles [sw04387]
  • editor and simulator that provides a flexible modeling approach based on, but not limited ... account for abstract data types, object-orientation, hierarchies or new arc types. Among them ... references to arbitrary objects, especially other nets, thus allowing nested net models. It allows Java...
  • PyLESA

  • Referenced in 1 article [sw38545]
  • control. PyLESA uses a flexible object-orientated approach to model thermal and electrical supply, demand...
  • LUMA

  • Referenced in 3 articles [sw26402]
  • capable FSI solver with turbulence modelling and many-core scalability as well as a wealth ... logically using a minimal amount of object-orientation to maintain a simple and accessible software...
  • reactingfoam-SCI

  • Referenced in 3 articles [sw29520]
  • many advantages such as its object-orientated framework, convenience to add multiphysics module and free ... stiff chemistry and the oversimplified mixture transport models, etc. In this work, an OpenFOAM...
  • longQDA

  • Referenced in 1 article [sw20397]
  • restricted maximum likelihood estimation of Kronecker product models is accomplished by a numerical constraint optimization ... software implementation follows the modern object-orientated concept with S4 classes and fulfills conceptual requirements...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KeY-C

  • Referenced in 5 articles [sw00486]
  • We present KeY-C, a tool for deductive...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • PLTMG

  • Referenced in 215 articles [sw00717]
  • PLTMG 11.0 is a package for solving elliptic...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • SUNDIALS

  • Referenced in 241 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • Symstra

  • Referenced in 19 articles [sw01296]
  • Symstra: A framework for generating object-oriented unit...
  • rCOS

  • Referenced in 14 articles [sw01502]
  • rCOS: Theory and tool for component-based model...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • Ada95

  • Referenced in 293 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • Design/CPN

  • Referenced in 37 articles [sw01952]
  • Modeling and verification of cryptographic protocols using coloured...
  • OOMPAA

  • Referenced in 5 articles [sw02578]
  • OOMPAA -- Object-oriented model for probing assemblages of...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • ANTLR

  • Referenced in 66 articles [sw03062]
  • ANTLR (ANother Tool for Language Recognition) is a...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • The KRAKATOA tool for certification of JAVA/JAVACARD programs...