1407 search results - page 17 / 282 » Using Use Cases in Executable Z |
CAEPIA
2003
Springer
15 years 2 months ago
2003
Springer
This paper describes how agent and knowledge technology can be used to build advanced software systems that support operational decisionn complex domains. In particular, we present...
ECMDAFA
2007
Springer
15 years 3 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
We present new insights into how to achieve higher frequencies in large-scale nonlinear predictive control using truncated-like schemes. The basic idea is that, instead of solving ...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
LOPSTR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...