Sciweavers

7202 search results - page 65 / 1441
» Software System Engineering: A Tutorial
Sort
View
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
14 years 1 months 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...
ICSE
2003
IEEE-ACM
14 years 10 months ago
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003
This paper is intended to sum up the results of the Second International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'03) held in Portland, Or...
Carlos José Pereira de Lucena, José ...
ISPE
2003
13 years 11 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 11 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...