84 search results - page 6 / 17 » Application of design for verification with concurrency cont... |
ISPE
2003
13 years 8 months ago
2003
: Software agent technology has matured enough to produce intelligent agents, which can be used to control a large number of concurrent engineering tasks. Multi-agent systems are c...
CAISE
2005
Springer
14 years 14 days ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
ASWEC
2007
IEEE
13 years 11 months ago
2007
IEEE
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
RISE
2005
Springer
14 years 12 days ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...