Sciweavers

182 search results - page 4 / 37
» Design by Contract Deontic Design Language for Multiagent Sy...
Sort
View
ERLANG
2007
ACM
15 years 3 months ago
A language for specifying type contracts in Erlang and its interaction with success typings
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sa...
HICSS
2003
IEEE
178views Biometrics» more  HICSS 2003»
15 years 4 months ago
A Contract and Rights Management Framework Design for Interacting Brokers
Contract and rights management – and thus property rights protection – has gained increasing importance as a quality standard in brokerage and electronic commerce environments...
Susanne Guth, Bernd Simon, Uwe Zdun
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
15 years 6 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
Jens Dietrich, John G. Hosking, Jonathan Giles
ICMAS
2000
15 years 29 days ago
Architecture-Centric Object-Oriented Design Method for Multi-Agent Systems
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...
Hongsoon Yim, Kyehyun Cho, Sung Joo Park, Jongwoo ...
ATAL
2007
Springer
15 years 5 months ago
ARTS: agent-oriented robust transactional system
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
Mingzhong Wang, Amy Unruh, Kotagiri Ramamohanarao