Sciweavers

7209 search results - page 77 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
14 years 17 days ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
ISPE
2003
13 years 10 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci
DAGSTUHL
2009
13 years 10 months ago
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Abstract. The goal of this roadmap paper is to summarize the state-ofthe-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. T...
Betty H. C. Cheng, Rogério de Lemos, Holger...
INFSOF
2002
89views more  INFSOF 2002»
13 years 8 months ago
Source transformation in software engineering using the TXL transformation system
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
James R. Cordy, Thomas R. Dean, Andrew J. Malton, ...