853 search results - page 80 / 171 » A supporting system for verification among models of the UML |
VVEIS
2007
13 years 9 months ago
2007
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
IRI
2007
IEEE
14 years 2 months ago
2007
IEEE
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
RE
2004
Springer
14 years 1 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...