Jive Data and Store Model
نویسندگان
چکیده
This document presents the formalization of an object-oriented data and store model in Isabelle/HOL. This model is being used in the Java Interactive Verification Environment, Jive.
منابع مشابه
Customer lifetime value model in an online toy store
Business all around the world uses different approaches to know their customers, segment them and formulate suitable strategies for them. One of these approaches is calculating the value of each customer for the company. In this paper by calculating Customer Lifetime Value (CLV) for individual customers of an online toy store named Alakdolak, three customer segments are extracted. The level of ...
متن کاملPresenting a Model for Antecedents and Consequences of Customer in-Store Experience
The aim of this study is to investigate in-store antecedents and consequences experiences on Hyperstar Stores. There were investigated purchase intention, store environment and characteristics of employees as antecedents affecting in-store experiences; while diversion purchasing and customer satisfaction were considered as its consequences. There were designed two studies to test hypotheses. Th...
متن کاملThe Case Against JIVE
We perform an extensive series of Monte Carlo experiments to compare the performance of the “Jackknife Instrumental Variables Estimator,” or JIVE, with that of the more familiar 2SLS and LIML estimators. We find no evidence to suggest that JIVE should ever be used. It is always more dispersed than 2SLS, often very much so, and it is almost always inferior to LIML in all respects. Interestingly,...
متن کاملPrecondition Generation for a Java Subset
In order to achieve a better software quality, it is an interesting aspect to verify the correctness of a program at the source code level with respect to a given specification. We are currently developing an interactive verification system called Jive [7] which operates on a Java subset using a Hoare-style programming logic. It is very tedious to verify each and every line of the code to be ex...
متن کاملJoint and Individual Variation Explained ( Jive ) for Integrated Analysis of Multiple
Research in a number of fields now requires the analysis of “multiblock” data, in which multiple high-dimensional, and fundamentally disparate, datatypes are available for a common set of objects. In this paper we introduce Joint and Individual Variation Explained (JIVE), a general method for the integrated analysis of multi-block data. The method decomposes a multi-block dataset into a sum of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Archive of Formal Proofs
دوره 2005 شماره
صفحات -
تاریخ انتشار 2005