Sciweavers

5407 search results - page 224 / 1082
» The Software Engineering Global Model
Sort
View
129
Voted
ICSE
1994
IEEE-ACM
15 years 9 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...
ICSE
2004
IEEE-ACM
16 years 5 months ago
The Role of Agreements in IT Management Software
Various forms of agreements naturally arise in the service provider model as well as in multi-party computing models such as business-to-business, utility and grid computing. The r...
Aad P. A. van Moorsel, Carlos Molina-Jiméne...
ICSE
2009
IEEE-ACM
16 years 5 months ago
Learning operational requirements from goal models
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
Alessandra Russo, Dalal Alrajeh, Jeff Kramer, Seba...
INFORMATIKTAGE
2008
15 years 6 months ago
Context-Dependent and Self-Responsible Migration of Software Agents in Heterogeneous Environments
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
Dirk Bade
EMSOFT
2006
Springer
15 years 8 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid