1376 search results - page 137 / 276 » Model-Driven Software Verification |
132
click to vote
VMCAI
2010
Springer
16 years 13 days ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
115
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
112
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
134
click to vote
ICIW
2008
IEEE
15 years 9 months ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...