Sciweavers

1557 search results - page 103 / 312
» Agent- Oriented Software Development: A Case Study
Sort
View
CORR
1999
Springer
110views Education» more  CORR 1999»
14 years 9 months ago
Managing Object-Oriented Integration and Regression Testing
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
Mario Winter
CCS
2006
ACM
15 years 1 months ago
Using model-based security analysis in component-oriented system development
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
Gyrd Brændeland, Ketil Stølen
SCAI
2001
14 years 11 months ago
Using Simulated RoboCup to Teach AI in Undergraduate Education
In this paper we argue that RoboCup is a useful tool for the teaching of AI in undergraduate education. We provide case studies, from two Swedish universities, of how RoboCup based...
Fredrik Heintz, Johan Kummeneje, Paul Scerri
AAMAS
2006
Springer
14 years 10 months ago
Verifying Multi-agent Programs by Model Checking
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
HICSS
2006
IEEE
119views Biometrics» more  HICSS 2006»
15 years 3 months ago
Increasing Relevance of Smoking Cessation Messages in an Online Software Agent Environment
An online software agent that helps smokers quit was designed and tested. We created a library of categorized smoking cessation messages using meta-data corresponding to the Stage...
Todd Shimoda, Linda Stapel