1432 search results - page 10 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
EUROPKI
2004
Springer
15 years 2 months ago
2004
Springer
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the orga...
XPU
2009
Springer
15 years 4 months ago
2009
Springer
FitClipse is an Eclipse plug-in for facilitating Executable Acceptance Test Driven Development. The tool allows the users to edit acceptance tests, automatically generate fixtures,...
COMPSAC
2000
IEEE
15 years 1 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
APN
2004
Springer
15 years 2 months ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
ACSC
2001
IEEE
15 years 1 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...