Sciweavers

3192 search results - page 168 / 639
» A Requirements-Driven Development Methodology
Sort
View
AH
2008
Springer
16 years 19 days ago
GAF: Generic Adaptation Framework
The Generic Adaptation Framework research project aims to develop a new reference model for the adaptive hypermedia research field. The new model will consider new developments, t...
Evgeny Knutov
IVA
2005
Springer
15 years 11 months ago
The Behavior Oriented Design of an Unreal Tournament Character
Abstract. This paper presents a case study for using a relatively recently developed methodology, Behavior Oriented Design, to develop an Intelligent Virtual Agent (IVA). Our usabi...
Samuel J. Partington, Joanna Bryson
PADL
2001
Springer
15 years 10 months ago
An A-Prolog Decision Support System for the Space Shuttle
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...
HOA
1993
15 years 10 months ago
The Semantics of SPECTRUM
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
Radu Grosu, Franz Regensburger
WSC
2004
15 years 7 months ago
A Web-Based Virtual Factory and Simulator for Industrial Statistics
An educational web-based virtual factory and simulator environment is presented in this paper. It has been developed for university students to apply various statistical quality c...
Xuesong Chi, Matthew P. J. Pepper, Trevor A. Spedd...