3435 search results - page 177 / 687 » Aspect Model Unweaving |
145
click to vote
IV
1999
IEEE
15 years 10 months ago
1999
IEEE
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
148
click to vote
CODES
1998
IEEE
15 years 10 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
174
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
162
click to vote
BIS
2008
15 years 8 months ago
2008
The increasing utilization of business process models both in business analysis and information systems development raises several issues regarding quality measures. In this contex...
211
click to vote
FECS
2008
15 years 8 months ago
2008
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...