• Jason

  • Referenced in 61 articles [sw06187]
  • include diagrams generated using an agent-oriented software engineering methodology particularly suited for implementation using...
  • SoSAA

  • Referenced in 2 articles [sw12489]
  • Component-Based Software Engineering and Agent-Oriented Software Engineering, although few integrated solutions exist. This...
  • JS-son

  • Referenced in 1 article [sw32385]
  • Programming Library. A multitude of agent-oriented software engineering frameworks exist, most of which ... users that are challenging to learn for engineers who are used to modern high-level ... adoption of agent-oriented programming by the software engineering mainstream can be facilitated, we provide...
  • simpA

  • Referenced in 7 articles [sw00863]
  • simpA: an agent-oriented approach for programming concurrent applications on top of Java More ... becoming part of mainstream programming and software engineering, due to several factors such ... based framework that provides programmers with agent-oriented abstractions on top of the basic ... features of the approach from a software engineering point of view, by showing some programming...
  • i*

  • Referenced in 15 articles [sw04447]
  • agent-oriented approach to requirements engineering centering on the intentional characteristics of the agent. Agents ... reason about strategic relationships. Dependencies between agents give rise to opportunities as well as vulnerabilities ... analyzed using a qualitative reasoning approach. Agents consider alternative configurations of dependencies to assess their ... engineering, analyzing the social embedding of information technology, and the design of agent-based software...
  • ConGolog

  • Referenced in 48 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • GOLOG

  • Referenced in 169 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • LUPS -- a language for updating logic programs. Most...
  • INGENIAS

  • Referenced in 11 articles [sw02954]
  • Agent oriented software engineering with INGENIAS INGENIAS is...
  • KARO

  • Referenced in 22 articles [sw03116]
  • Formalizing potential of agents. The KARO framework revisited...
  • PVS

  • Referenced in 609 articles [sw03484]
  • PVS is a verification system: that is, a...
  • NuSMV

  • Referenced in 295 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • AgentSpeak

  • Referenced in 100 articles [sw06186]
  • AgentSpeak is an agent-oriented programming language. It...
  • Moise+

  • Referenced in 21 articles [sw06188]
  • Moise is an organisational model for Multi-Agent...
  • METATEM

  • Referenced in 55 articles [sw06568]
  • MetateM: An introduction. A methodology for the use...
  • Oz

  • Referenced in 113 articles [sw06799]
  • Oz is a high-level programming language combining...
  • Bogor

  • Referenced in 36 articles [sw06858]
  • Building your own software model checker using the...
  • ICARO

  • Referenced in 1 article [sw06884]
  • ICARO is a software framework to implement multi...
  • Erlang

  • Referenced in 108 articles [sw07202]
  • Erlang is a programming language used to build...
  • Linda

  • Referenced in 102 articles [sw09427]
  • Generative communication in Linda. Generative communication is the...