Sciweavers

7380 search results - page 535 / 1476
» Engineering Software Intensive Systems
Sort
View
ATAL
2003
Springer
15 years 11 months ago
A formal compositional model of multiagent interaction
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
Sea Ling, Seng Wai Loke
FIDJI
2003
Springer
15 years 11 months ago
Hard Real-Time Implementation of Embedded Software in JAVA
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
Jean-Pierre Talpin, Abdoulaye Gamatié, Davi...
RE
2009
Springer
16 years 25 days ago
Semantic Criteria for Choosing a Language for Big-Step Models
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. At...
ESEM
2008
ACM
15 years 8 months ago
Using students as subjects - an empirical evaluation
An important task in Requirements Engineering is to select which requirements that should go into a specific release of a system. This is a complex decision that requires balancin...
Mikael Svahnberg, Aybüke Aurum, Claes Wohlin
ISSA
2004
15 years 7 months ago
A Unified Architecture For Automatic Software Updates
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
Dominic White