نتایج جستجو برای: formal methods
تعداد نتایج: 1971744 فیلتر نتایج به سال:
We combine a formal speciication technique with an object-oriented method using a meta-method for formal method integration based on heterogeneous notations 18, 19]. We discuss the integrated method, and then apply it to an example.
The primary objective of this article is to discuss a number of challenges @resented in terms of ‘guidelines’) that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.
Secure Virtualization with Formal Methods
ion of Probabilistic Systems Joost-Pieter Katoen1,2 1 RWTH Aachen University, Software Modeling and Verification Group, Germany 2 University of Twente, Formal Methods and Tools, The Netherlands
We present a formal model of intra-party politics to explain candidate selection within political parties. We think of parties as heterogeneous groups of individuals who aim to implement a set of policies but who differ in their priorities. When party heterogeneity is too great, parties are in danger of splitting into smaller yet more homogeneous political groups. In this context we argue that ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید