290 search results - page 40 / 58 » A Metamodeling Approach for Reasoning about Requirements |
AMET
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
FASE
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
87
Voted
IEE
2008
14 years 9 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
COMCOM
2000
14 years 9 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...