• 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...