853 search results - page 38 / 171 » A supporting system for verification among models of the UML |
ECBS
2010
IEEE
14 years 12 days ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
FMSD
2000
13 years 7 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
EDOC
2009
IEEE
13 years 12 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...