62 search results - page 12 / 13 » Requirements Traceability and Transformation Conformance in ... |
JUCS
2010
13 years 2 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
IJMSO
2007
13 years 7 months ago
2007
When describing Web services, one of the obvious aspects that needs representing is Quality of Service” (QoS), the capability of a Web service to meet an acceptable level of ser...
ESORICS
2007
Springer
14 years 2 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
STEP
2005
IEEE
14 years 1 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
COMPSAC
2002
IEEE
14 years 25 days ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...