Search VTechWorks

Browse

Watch Registration Video

Now showing items 1016-1017 of 1017

XFM: An Incremental Methodology for Developing Formal Models

Suhaib, Syed Mohammed (Virginia Tech, 2004-05-07)

We present a methodology of an agile formal method named eXtreme Formal Modeling (XFM) recently developed by us, based on Extreme Programming concepts to construct abstract models from a natural language specification of ...
Yield, Quality, and Botanical Composition of AUtumn-Accumulated Grass-Legume Mixtures and Digestibility of Ensiled Autumn-Accumulated Orchardgrass and Alfalfa

Barlow, Rebecca Louise (Virginia Tech, 2003-09-11)

Beef cattle producers in the southeastern US often stockpile forage in late summer to extend the grazing season and reduce feeding costs. Three stockpiled grass-legume mixtures were evaluated for winter grazing. In ...

Now showing items 1016-1017 of 1017