SAE Aerospace Information Report 6110, “Contiguous Aircraft/SystemDevelopment Process Example,” follows the development of a complex wheel brake system (WBS) using processes in the industry standards ARP4754A, “Guidelines for Development of Civil Aircraft and Systems,” and ARP4761, “Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment.” AIR...

It is interesting to discover that there is a reasonably small but growing literature on the issue and role of trust in IS outsourcing in the past few years. Built on the premise that over-reliance on outsourcing contract and/or other form of formal controls do not necessarily deliver a successful outsourcing partnership and/or outcomes, we have explored another dimension of outsourcing relatio...

Traditional component interaction is based on interface calls and callbacks. Such interaction can introduce integration faults, i.e., side effects at the moment of component integration. Solutions to such problems can be hard to apply, and may require drastic changes in the design of the involved components. This paper introduces Formal Contracts, a software construct that allows side-effect fr...

KVEST – Kernel VErification and Specification Technology – is based on automated test generation from formal specifications. The technology was developed under a contract with Nortel Networks and is based on experience gained in academic research [1]. By 2000 the methodology and the toolset have been applied in 6 industrial projects dealing with the verification of large-scale telecommunication...

Formal descriptions, while diicult for most human readers to understand, are convenient for specifying large software systems, where completeness and consistency are important issues. Informal speciications can ooer advantages in readability, but ambiguities and contradictions are unavoidable side-eeects. Since a speciication often acts as a formal contract between the software developer and th...

Formal institutions and social capital interact with each other in multiple ways. We argue show empirically at the cross-country level that case of group lending, contract enforcement complements bonding substitutes for bridging one. It means payoff to lending depends on type is contingent quality which serves as a sorting factor, working opposite directions different stripes capital. These res...

Background: The study examined the impact of a contract farming scheme on the farmers’ income, food security, and nutrition. Methods: Simple random sampling was used to select 100 respondents for the study. Data were analyzed using descriptive and inferential statistics as well the Propensity Score Matching technique. Results: The major determinants of participation in contract farming included...

This study proposes a novel option-revenue sharing coordination contract framework. In the proposed model, the retailer determines the number of order sales effort. The manufacturer sets the price of products for the wholesale strategy. The investigated supply chain problem analyzes the results of different strategies. In the proposed coordination contract problem, two types of games including ...

Transactions are contracts that guarantee a consistent, transparent, individual system state transition and their use is widespread in many different kinds of computing systems. Some well known standards (e.g. CORBA) include the specification of services that provide transactional properties. In this paper, we present a formal method for the systematic synthesis of transactional middleware base...