1005 search results - page 18 / 201 » Formal Software Development in MAYA |
131
click to vote
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
122
click to vote
CSCW
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we seek to shed light on how communication networks in geographically distributed projects evolve in order to address the limits of the modular design strategy. We ...
135
click to vote
IASSE
2004
15 years 5 months ago
2004
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
123
click to vote
WIKIS
2009
ACM
15 years 10 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
147
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...