Synthesizing Procedural Abstractions from Formal Speci cations Betty H.C. Cheng Department of Computer Science Michigan State University East Lansing, Michigan 48824 Abstract This paper describes the development of the Seed system, which demonstrates that the building blocks of a large software system can be correctly synthesized from user-supplied formal speci cations using techniques amenable...

Introduction This FAC Policy Brief examines the political and economic processes governing Ethiopian cereal seed systems by analysing the overall policy context, including the main interests driving seed policy formulation and implementation, and the roles and interaction of the different public and private actors. It also investigates how these interests and interactions are related to the act...

Research into the development of software tools that support formal methods is aimed at simplifying and providing assistance during the development of correct software. We have developed the Seed system that uses techniques amenable to automation in order to assist a user in the correct development of the building blocks of a large software system from user-supplied formal speciications. Seed a...

IInstitutional analysis can be used to understand the value placed on crop diversity by farmers as a social process, and to uncover the market-related constraints and incentives that influence farmer management of genetic resources. This is particularly important for capturing the dynamics of crop populations and the collective impact of individual decisions regarding crop diversity. In the app...

This paper considers strengths and weaknesses of the informal and formal seed as a basis for seed sector development. The informal seed sector is defined as the total of farmers’ seed production, selection and seed exchange activities. Farmers play an important role in seed supply but they are generally not considered as a partner in the seed sector. Seed produced by farmers is still the most i...

The paper presents smallholder farmers' perceptions on attributes of bread wheat varietiesbased on primary data collected from 524 households in four major wheat growing areas ofEthiopia. The results indicated high value of attainment indices for improved varieties comparedto landraces, which shows how the demanded attributes are embodied more in improved ones.Grain yield and yellow and stem ru...

Food security remains a constant source of concern in Mali, where over 75% of the population derives their living from agriculture. Despite the huge theoretical need, the production and use of improved seeds remain very limited. Concurrently, genetic erosion and the disappearance of certain local varieties have been observed. The dual need to preserve agricultural biodiversity as a factor of re...