3555 search results - page 53 / 711 » Security-Critical System Development with Extended Use Cases |
104
click to vote
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
110
click to vote
SYNASC
2005
IEEE
15 years 7 months ago
2005
IEEE
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
134
click to vote
CSMR
2002
IEEE
15 years 6 months ago
2002
IEEE
A critical point for developing successful information systems for distributed organisations is the need for integrating heterogeneous technologies and tools. This paper reports a...
134
click to vote
ISORC
1999
IEEE
15 years 5 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
108
click to vote
AAMAS
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...