• ANSYS

  • Referenced in 446 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans the entire range of physics, providing access ... virtually any field of engineering simulation that a design process requires. Organizations around the world ... deliver the best value for their engineering simulation software investment. Simulation-Driven Product Development takes ... breadth of our software coupled with its unmatched engineered scalability, comprehensive multiphysics foundation and adaptive...
  • SLAM

  • Referenced in 123 articles [sw03136]
  • interfaces it uses and to aid software engineers in designing interfaces and software that ensure ... Development Kit that uses the SLAM verification engine...
  • COMSOL

  • Referenced in 206 articles [sw04091]
  • COMSOL Multiphysics engineering simulation software environment facilitates all steps in the modeling process − defining your...
  • Mathcad

  • Referenced in 121 articles [sw04210]
  • Mathcad is the Industry Standard Software for Engineering Calculations. PTC Mathcad combines the ease...
  • Jason

  • Referenced in 52 articles [sw06187]
  • diagrams generated using an agent-oriented software engineering methodology particularly suited for implementation using ... will also be of interest to software engineers, designers, developers, and programmers interested in multi...
  • Graphviz

  • Referenced in 57 articles [sw01283]
  • important applications in networking, bioinformatics, software engineering, database and web design, machine learning...
  • Scala

  • Referenced in 53 articles [sw07180]
  • trials of real-world software engineering. It also helps readers to embrace the power...
  • SciPy

  • Referenced in 136 articles [sw06293]
  • open-source software for mathematics, science, and engineering. It is also the name...
  • CHEMKIN

  • Referenced in 160 articles [sw06684]
  • CHEMKIN™, a software suite used worldwide in the microelectronics, combustion, and chemical processing industries ... become an important educational tool in chemical engineering, mechanical engineering and chemistry curricula...
  • ROSE

  • Referenced in 17 articles [sw07851]
  • reformulation-optimization software engine. Most optimization software performs numerical computation, in the sense that ... papers. We describe a Reformulation-Optimization Software Engine (ROSE) for performing (automatic) symbolic computation...
  • Adams

  • Referenced in 30 articles [sw06593]
  • dynamics and motion analysis software in the world. Adams helps engineers to study the dynamics ... full mechanical systems. Adams multibody dynamics software enables engineers to easily create and test virtual...
  • Chaste

  • Referenced in 23 articles [sw00122]
  • library. Recent work has described the software engineering and computational infrastructure that has been ... Chaste) project. Chaste is an open source software package that currently has heart and cancer...
  • Oyster

  • Referenced in 23 articles [sw19629]
  • aims to provide an environment for software engineering using this approach. We illustrate this...
  • Specware

  • Referenced in 20 articles [sw11715]
  • Specware is a software engineering tool that automatically generates high-assurance software. Specware...
  • Epigram

  • Referenced in 15 articles [sw09687]
  • tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type ... typed, when it was just our software engineering. In order to do better, we need...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • methods, and tools in the areas Requirements Engineering, Programming in the Large, and fine-granular ... mechanize the process of developing integrated software development environments. As a prerequisite, it is necessary ... develop further the languages used in software engineering before tools can be built. The main...
  • XPRESS

  • Referenced in 165 articles [sw04834]
  • premier mathematical modeling and optimization software suite in the world, with the best tools available ... model building and development tools, and solver engines...
  • Fujaba

  • Referenced in 12 articles [sw04100]
  • developers with support for model-based software engineering and re-engineering. The Fujaba project aimes ... thus offering an extensible plattform for software engineering researchers. The Fujaba Development Group is permanently ... Fujaba was aimed to support software forward and reverse engineering. That is why Fujaba...
  • QUESO

  • Referenced in 17 articles [sw10555]
  • object-oriented design with robust software engineering practices. QUESO is written in C++, uses...
  • Salinas

  • Referenced in 16 articles [sw12597]
  • simulations. We present Salinas, a scalable implicit software application for the finite element static ... real-world systems. This relatively complete engineering software with more than 100,000 lines...