1001 search results - page 29 / 201 » Testing Formal Dialectic |
ICSE
1998
IEEE-ACM
13 years 12 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
LOPSTR
2009
Springer
14 years 2 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...
ICCCI
2009
Springer
13 years 5 months ago
2009
Springer
In this paper we introduce a new formalism to represent multi-agent systems where resources can be exchanged among different agents by maximizing the utility of the agents conformi...
RSP
2005
IEEE
14 years 1 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
ISCIS
2003
Springer
14 years 27 days ago
2003
Springer
One of the important tasks during software testing is the generation of test cases. Unfortunately, existing approaches to test case generation often have problems limiting their us...