Sciweavers

3514 search results - page 505 / 703
» Evolving Specification Engineering
Sort
View
ER
2004
Springer
139views Database» more  ER 2004»
15 years 12 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
IBERAMIA
2004
Springer
15 years 12 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ITS
2004
Springer
105views Multimedia» more  ITS 2004»
15 years 12 months ago
EASE: Evolutional Authoring Support Environment
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
Lora Aroyo, Akiko Inaba, Larisa N. Soldatova, Riic...
SIGADA
2004
Springer
15 years 12 months ago
Re-engineering global variables in Ada
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
Ricky E. Sward, A. T. Chamillard
ISORC
2003
IEEE
15 years 11 months ago
Basic Program Structures for Avoiding Priority Inversions
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
K. H. Kim