383 search results - page 41 / 77 » Reusing Scenario Based Approaches in Requirement Engineering... |
PAM
2005
Springer
14 years 1 months ago
2005
Springer
A number of key areas in IP network engineering, management and surveillance greatly benefit from the ability to dynamically identify traffic flows according to the applications re...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...
SERP
2003
13 years 9 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
FATES
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
IFIP13
2004
13 years 9 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...