Sciweavers

19587 search results - page 53 / 3918
» Systems Engineering for software Engineers
Sort
View
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
15 years 5 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...
EEMMAS
2007
Springer
15 years 8 months ago
Complex Systems and Agent-Oriented Software Engineering
Although there is a huge amount of work and valuable proposals about agent oriented software engineering, it seems that the paradigm has not been fully accepted yet by software ind...
Juan Pavón, Francisco J. Garijo, Jorge J. G...
ICSE
2003
IEEE-ACM
16 years 2 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
15 years 3 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
INFSOF
2002
89views more  INFSOF 2002»
15 years 1 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, ...