1432 search results - page 4 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
CODES
2000
IEEE
15 years 1 months ago
2000
IEEE
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partly fixed. At tha...
ISCIS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
116
click to vote
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
104
click to vote
ASE
1998
14 years 9 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
ICFEM
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...