• Jolie

  • Referenced in 10 articles [sw12396]
  • project time -- concepts related to Service-Oriented Computing and the traditional approach to the modelling ... concurrency typical of process calculi. The foundational work done around Jolie during Sensoria has subsequently ... framework for programming dynamically evolvable distributed service-oriented applications that are correct-by-construction...
  • CC-Pi

  • Referenced in 30 articles [sw15033]
  • issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis ... Quality of Service (cost, performance, availability, etc.). In this work we propose a simple model ... combines two basic programming paradigms: name-passing calculi and concurrent constraint programming (cc programming). Specifically...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • simpA

  • Referenced in 7 articles [sw00863]
  • simpA: an agent-oriented approach for programming concurrent...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • PiDuce

  • Referenced in 21 articles [sw01418]
  • PiDuce- A project for experimenting web services technologies...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • A transition system semantics for the control-driven...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Eiffel

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

  • Referenced in 331 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • LoLA

  • Referenced in 26 articles [sw04381]
  • LoLa: A low level analyser. With LoLA, we...
  • AspectJ

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

  • Referenced in 144 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • Uppaal

  • Referenced in 653 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • OCaml

  • Referenced in 273 articles [sw06363]
  • OCaml is the most popular variant of the...