• SOLOIST

  • Referenced in 1 article [sw16438]
  • that are called service compositions. The distributed ownership and the evolving nature of the services ... SOLOIST has been designed with the primary objective of expressing the most significant specification patterns...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Virginity

  • Referenced in 5 articles [sw01267]
  • Virginity: A contribution to the specification of object...
  • Smalltalk

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

  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • AspectJ

  • Referenced in 132 articles [sw04426]
  • aspect-oriented extension to the Java. AspectJ TM...
  • LINDO

  • Referenced in 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • JML

  • Referenced in 189 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • LINGO

  • Referenced in 319 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • Stata

  • Referenced in 838 articles [sw06029]
  • Stata is a complete, integrated statistical package that...
  • LISREL

  • Referenced in 337 articles [sw06514]
  • During the last thirty eight years, the LISREL...
  • Plingeling

  • Referenced in 75 articles [sw07091]
  • Lingeling, plingeling, picosat and precosat at sat race...
  • Scala

  • Referenced in 90 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • Soot

  • Referenced in 29 articles [sw09122]
  • Soot - a Java bytecode optimization framework. This paper...
  • Cyclone

  • Referenced in 28 articles [sw09693]
  • Compiling for template-based run-time code generation...
  • KeY

  • Referenced in 64 articles [sw09969]
  • The KeY System is a formal software development...
  • Fortress

  • Referenced in 16 articles [sw13026]
  • Fortress is a new programming language being designed...
  • Treengeling

  • Referenced in 57 articles [sw13314]
  • Lingeling, Plingeling and Treengeling: Lingeling and its parallel...