803 search results - page 122 / 161 » Building Formal Models for Software Requirements |
127
click to vote
SACMAT
2006
ACM
15 years 7 months 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
RV
2010
Springer
14 years 11 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
124
click to vote
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
126
click to vote
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
111
click to vote
ICAI
2004
15 years 3 months ago
2004
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...