Sciweavers

7209 search results - page 450 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
EUROMICRO
2000
IEEE
15 years 8 months ago
Behavior-Preserving Transformations for Design-for-Test
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
Jeroen Voeten, Harald P. E. Vranken
APSEC
1999
IEEE
15 years 7 months ago
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
Jin Song Dong, Brendan P. Mahony, Neale Fulton
CAISE
2004
Springer
15 years 9 months ago
MT-Flow - An Environment for Workflow-Supported Model Transformations in MDA
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
Jernej Kovse, Theo Härder
118
Voted
WOSS
2004
ACM
15 years 9 months ago
Architecture differencing for self management
Traditionally, software models are associated with development and maintenance related activities. This paper demonstrates that models also serve a vital purpose in supporting the...
Alexander Egyed
IUI
2012
ACM
13 years 11 months ago
A visual programming language for designing interactions embedded in web-based geographic applications
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
The Nhan Luong, Patrick Etcheverry, Christophe Mar...