4255 search results - page 669 / 851 » Database: Models, Languages, Design |
173
click to vote
SACMAT
2006
ACM
16 years 6 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
161
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
183
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
172
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
162
click to vote
DIAGRAMS
2000
Springer
15 years 10 months ago
2000
Springer
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...