• QUESO

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

  • Referenced in 24 articles [sw10093]
  • tool. In the context of Model Driven Engineering, models are the main development artifacts ... specifying model transformations. Apart from the software engineering properties of transformation languages, the availability...
  • OpenGeoSys

  • Referenced in 24 articles [sw09098]
  • community, outfitted with professional software-engineering tools such as platform-independent compiling and automated benchmarking...
  • PLT Redex

  • Referenced in 23 articles [sw09921]
  • Semantics engineering with PLT Redex. This text is the first comprehensive presentation of reduction semantics ... such forms of semantics. Software engineers have long known that automatic tool support is critical ... book is addressed to the working semantics engineer (graduate student or professional language designer ... then introduces PLT Redex, a suite of software tools for expressing these models...
  • SMTInterpol

  • Referenced in 22 articles [sw07406]
  • developed at the Chair of Software Engineering at the University of Freiburg. The solver...
  • JCell

  • Referenced in 21 articles [sw13353]
  • Additionally, its careful design following the software engineering recommendations provides an intuitive code, allowing...
  • 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...
  • Fujaba

  • Referenced in 13 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...
  • Access

  • Referenced in 61 articles [sw03704]
  • Microsoft Jet Database Engine with a graphical user interface and software-development tools ... format based on the Access Jet Database Engine. It can also import or link directly ... stored in other applications and databases.[1] Software developers and data architects can use Microsoft...
  • MatrixMarket

  • Referenced in 169 articles [sw04020]
  • algebra. Matrices as well as matrix generation software and services, from linear systems, least squares ... wide variety of scientific and engineering disciplines are provided. Tools for browsing through the collection ... describing its properties. Generators are either static software which you can download and include...
  • CandS

  • Referenced in 109 articles [sw07308]
  • software as a useful tool for Mathematica users in education and engineering. Examples of applications ... downloaded from the URL of the software, where also a detailed description of the software...
  • Salinas

  • Referenced in 18 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...
  • MASCOT

  • Referenced in 13 articles [sw02959]
  • been developed since the origins of Software Engineering. MASCOT remains as one of such preferred ... annotated in a transparent way for software engineers. MASCOTime will assist software/system developers to decide...
  • CHUFFED

  • Referenced in 15 articles [sw24724]
  • thesis, Engineering, Computer Science and Software Engineering, The University of Melbourne...
  • PUMA

  • Referenced in 31 articles [sw22571]
  • Simulation Application Development. The PUMA software toolkit allows engineers to quickly implement simulation applications using...
  • YASM

  • Referenced in 14 articles [sw09470]
  • This paper presents Yasm: a (yet another) software model-checker based on the Counter-Example ... framework. A number of well-engineered software model-checkers are available, e.g., Slam...
  • Globus Toolkit

  • Referenced in 176 articles [sw09648]
  • without sacrificing local autonomy. The toolkit includes software services and libraries for resource monitoring, discovery ... being a central part of science and engineering projects that total nearly a half-billion...
  • Jadex

  • Referenced in 34 articles [sw11699]
  • Desire Intention (BDI) reasoning engine that allows for programming intelligent software agents...
  • LOTOSphere

  • Referenced in 9 articles [sw14748]
  • tower into software engineering practice. LOTOS became a vehicle for efficient, yet formally based industrial ... these formal description techniques in a software engineering environment. It will thus be a valuable...