Sciweavers

1527 search results - page 35 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
IASTEDSE
2004
13 years 9 months ago
A coordination architecture for time-dependent components
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...
Michael N. Barth, Alexander Knapp
QSIC
2005
IEEE
14 years 1 months ago
Towards Goal-Oriented Design of Agent Systems
The initial step of any software engineering methodology is to form requirements. Recently, a goal-oriented approach to requirements has been proposed and argued to be beneficial...
Jason Khallouf, Michael Winikoff
SEKE
2004
Springer
14 years 1 months ago
Supporting the Requirements Prioritization Process. A Machine Learning approach
Requirements prioritization plays a key role in the requirements engineering process, in particular with respect to critical tasks such as requirements negotiation and software re...
Paolo Avesani, Cinzia Bazzanella, Anna Perini, Ang...
FMCAD
1998
Springer
13 years 12 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
ER
2003
Springer
158views Database» more  ER 2003»
14 years 28 days ago
REF: A Practical Agent-Based Requirement Engineering Framework
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
Paolo Bresciani, Paolo Donzelli