2493 search results - page 144 / 499 » Tool Support for Design by Contract |
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
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...
WISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
TVLSI
2008
14 years 10 months ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
UM
2009
Springer
15 years 4 months ago
2009
Springer
Long term group work by small teams is a central part of many learning and workplace activities. Widespread group support tools such as wikis, version control systems and issue tra...