44 search results - page 2 / 9 » Stepwise Development of Peer-to-Peer Systems |
84
Voted
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
ISIWI
2000
14 years 11 months ago
2000
This paper1 gives an outline of the final results of the TransRouter2 project. In the scope of this project a decision support System for translation managers has been developed, ...
ITSSA
2006
14 years 9 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
102
click to vote
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
VAMOS
2010
Springer
14 years 11 months ago
2010
Springer
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...