1141 search results - page 44 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
161
click to vote
AOSE
2001
Springer
15 years 10 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
190
Voted
AAMAS
1999
Springer
15 years 5 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
147
click to vote
KCAP
2005
ACM
15 years 11 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
145
Voted
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...
152
Voted
WOSP
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...