3765 search results - page 210 / 753 » Formal Methods for Systems Engineering Behavior Models |
181
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...
159
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
167
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
156
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
162
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...