• ANSYS

  • Referenced in 395 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 121 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 185 articles [sw04091]
  • COMSOL Multiphysics engineering simulation software environment facilitates all steps in the modeling process − defining your...
  • Mathcad

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

  • Referenced in 48 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 47 articles [sw01283]
  • important applications in networking, bioinformatics, software engineering, database and web design, machine learning...
  • Scala

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

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

  • Referenced in 140 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 15 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 27 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...
  • Oyster

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

  • Referenced in 19 articles [sw11715]
  • Specware is a software engineering tool that automatically generates high-assurance software. Specware...
  • 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...
  • Chaste

  • Referenced in 19 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...
  • 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...
  • Epigram

  • Referenced in 11 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...
  • XPRESS

  • Referenced in 128 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...
  • QUESO

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

  • Referenced in 15 articles [sw13353]
  • Additionally, its careful design following the software engineering recommendations provides an intuitive code, allowing...