921 resultados para Requirements Engineering, Requirement Specification
Resumo:
The Open Provenance Model is a model of provenance that is designed to meet the following requirements: (1) To allow provenance information to be exchanged between systems, by means of a compatibility layer based on a shared provenance model. (2) To allow developers to build and share tools that operate on such a provenance model. (3) To define provenance in a precise, technology-agnostic manner. (4) To support a digital representation of provenance for any 'thing', whether produced by computer systems or not. (5) To allow multiple levels of description to coexist. (6) To define a core set of rules that identify the valid inferences that can be made on provenance representation. This document contains the specification of the Open Provenance Model (v1.1) resulting from a community-effort to achieve inter-operability in the Provenance Challenge series.
Resumo:
COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.
Resumo:
COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.
Resumo:
Three assays were carried out to determine the digestible methionine+cystine (Met+Cys) requirement for ISA Label broilers from both sexes. The birds were reared in free range system on starting phase (1 to 28 days), growing phase (28 to 56 days) and finishing phase (56 to 84 days). Four hundred and eighty birds were distributed into 24 pens, each one composed of shelter (3.13 m(2)) and pasture (72.87 m(2)). The experimental design was completely randomized with eight treatments as factorial arrangement (four Met+Cys levels and two sexes) with three replicates of 20 birds. The digestible Met+Cys levels were 0.532; 0.652; 0.772; 0.892% for starting phase; 0.515; 0.635; 0.755; 0.875% for growing phase and 0.469; 0.589; 0.709; 0.829% for finishing phase. The analyzed parameters were performance, carcass yield, body protein and fat deposition, weight and protein concentration in feathers. In the starting phase, the digestible Met+Cys level estimated for males was 0.765 and 0.803% for females, corresponding to 0.252 and 0.268% of Met+Cys/Mcal of ME, respectively. For the growing phase, the digestible Met+Cys level estimated was 0.716% for both sexes, corresponding to 0.235% of Met+Cys/Mcal of ME. For the finishing phase, the Met+Cys levels were 0.756 and 0.597% for males and females, corresponding to 0.244 and 0.193% of Met+Cys/Mcal of ME respectively.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The objective of this study was to determine requirements of calcium (Ca), phosphorus (P), magnesium (Mg), potassium (K) and sodium (Na) for grazing zebu bovines. The experiment area was composed of Brachiaria decumbens paddocks. Twenty-seven non-castrated animals, with initial live weight of 311.0 kg and at an average age of 14 months were used. Three animals were slaughtered, after adaptation period, so they were used as control for estimates of empty body weight and initial body composition of animals in the experiment. Out of the 24 remaining animals, four were sent to the maintenance group with restrict grazing time to limit energy intake close to the maintenance level. The other 20 animals were distributed in four treatments: mineral mixture, self-control intake and three-times-a-week-offer frequency (offered on Mondays, Wednesdays and Fridays) and daily. Concentrations of all studied macro elements in empty body and empty body gain decreased as live weight increased. The ratios obtained for g Ca/100 g of retained protein and g P/100 g of retained protein were 9.18 and 4.72, respectively. Total dietary requirement of calcium was lower than the one recommended by NRC (2000), but P requirement was very close to that.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The objective of this work was to evaluate the total endogenous N losses, and protein and energy net requirements for maintenance in growing lambs. Thirty-four castrated lambs, 17 F1 Ideal X Ile de France wool and 17 Santa Inas hair lambs, averaging 20 +/- 0.14 kg BW, were used in the experiment. Five animals from each genotype were slaughtered at the beginning of the experiment and taken as controls. Diets (D) were composed of concentrate mix (C) and Cynodon sp. c.v. Tifton 85 hay (R), combined in three different ratios: D1 = 60C:40R; D2 = 40C:60R and D3 = 20C:80R. Animals of each group of three lambs, that showed BW of 20 kg at the beginning of the dietary regimen, were slaughtered when one of them reached 35 kg, what always happened to be the one fed with D1. Total endogenous N losses estimated for wool lambs were 250 mg N/kg BW0.75. For hair lambs, total endogenous N losses reached 324 mg N/kg BW0.75 . Hair lambs showed higher (P < 0.01) (29.9%) net requirements of protein for maintenance than wool lambs. In contrast, net energy (NE) requirement for maintenance was similar (P > 0.05) for both genotypes (74.27 kcal/kg BW0.75 per day), the average of the antilog of the two intercept values obtained from the estimated regression equations of heat production for zero metabolizable energy (ME) consumption. Further studies should be done to check if this trend is also true for metabolizable energy and protein in animals exhibiting BW gains in tropical region. (C) 2003 Elsevier B.V. B.V. All rights reserved.
Resumo:
In order to determine the net energy, protein and macrominerals requirements of 70 to 120 day old, 52 female White New Zealand rabbits, weighing 1900g +/- 40g were used. At the beginning of the experimental period, 14 of the 52 young does were slaughtered and the 38 remaining animals were kept under two dietary management: ad libitum and restricted feeding. Slaughters were performed to determine each nutrient body content. The weight gain nutrient requirements depicted by the quantities of each nutrient stored into the body were obtained by applying the regression equation, which estimate the empty body nutrient content logarithm as a function of the empty body weight logarithm, as described by ARC (1980). By determining the heat production logarithm at the zero level of metabolizable energy intake, the maintenance net energy requirement was estimated to be 45.31 Kcal/day/Kg(0.75) the mean net energy. protein, calcium, phosphorous, sodium, magnesium and potassium requirements for each gram of weight gain per day were estimated to be, 2.51 Kcal, 0.21g, 0.02g, 0.005g, 0.001g, 0.0004g and 0.002g, respectively.
Resumo:
Meat production by goats has become an important livestock enterprise in several parts of the world. Nonetheless, energy and protein requirements of meat goats have not been defined thoroughly. The objective of this study was to determine the energy and protein requirements for maintenance and growth of 34 3/4 Boer x 1/4 Saanen crossbred, intact male kids (20.5 +/- 0.24 kg of initial BW). The baseline group was 7 randomly selected kids, averaging 21.2 +/- 0.36 kg of BW. An intermediate group consisted of 6 randomly selected kids, fed for ad libitum intake, that were slaughtered when they reached an average BW of 28.2 +/- 0.39 kg. The remaining kids (n = 21) were allocated randomly on d 0 to 3 levels of DMI (treatments were ad libitum or restricted to 70 or 40% of the ad libitum intake) within 7 slaughter groups. A slaughter group contained 1 kid from each treatment, and kids were slaughtered when the ad libitum treatment kid reached 35 kg of BW. Individual body components (head plus feet, hide, internal organs plus blood, and carcass) were weighed, ground, mixed, and subsampled for chemical analyses. Initial body composition was determined using equations developed from the composition of the baseline kids. The calculated daily maintenance requirement for NE was 77.3 +/- 1.05 kcal/kg(0.75) of empty BW (EBW) or 67.4 +/- 1.04 kcal/kg(0.75) of shrunk BW. The daily ME requirement for maintenance (118.1 kcal/g(0.75) of EBW or 103.0 kcal/kg(0.75) of shrunk BW) was calculated by iteration, assuming that the heat produced was equal to the ME intake at maintenance. The partial efficiency of use of ME for NE below maintenance was 0.65. A value of 2.44 +/- 0.4 g of net protein/kg(0.75) of EBW for daily maintenance was determined. Net energy requirements for growth ranged from 2.55 to 3.0 Mcal/kg of EBW gain at 20 and 35 kg of BW, and net protein requirements for growth ranged from 178.8 to 185.2 g/kg of EBW gain. These results suggest that NE and net protein requirements for growing meat goats exceed the requirements previously published for dairy goats. Moreover, results from this study suggest that the N requirement for maintenance for growing goats is greater than the established recommendations.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)