686 search results - page 36 / 138 » System model for UML -- The interactions case |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
MOMPES
2007
IEEE
15 years 4 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
104
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
DSVIS
1998
Springer
15 years 2 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It