Using Measures for Verifying and Improving Requirement Models in MDD Processes

2014 ◽  
Author(s):  
Giovanni Giachetti ◽  
Beatriz Marin ◽  
Xavier Franch
Keyword(s):  
Requirement Models

Semi Automatic Generation of User Interface Prototypes From Early Requirement Models

2004 ◽  
pp. 201-222
Author(s):  
Juan Sánchez Díaz ◽  
Oscar Pastor López ◽  
Hugo Estrada Esquivel ◽  
Alicia Martínez Rebollar ◽  
Jorge Belenguer Fáguas
Keyword(s):  
User Interface ◽  
Automatic Generation ◽  
Requirement Models

Formal Support for the Safety Analysis of Requirement Models

Safe Comp 95 ◽  
1995 ◽  
pp. 75-89
Author(s):  
Ken Chan ◽  
Clive Fencott ◽  
Barry Hebbron
Keyword(s):  
Safety Analysis ◽  
Formal Support ◽  
Requirement Models

Irrigation water requirement models of some major crops

1992 ◽  
Vol 6 (1) ◽  
pp. 69-77 ◽  
Author(s):  
B. Panigrahi ◽  
S. D. Sharma ◽  
B. P. Behera
Keyword(s):  
Irrigation Water ◽  
Water Requirement ◽  
Irrigation Water Requirement ◽  
Requirement Models

scholarly journals Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems

10.29007/r74f ◽  
2020 ◽  
Author(s):  
Johan Lidén Eddeland ◽  
Alexandre Donzé ◽  
Sajed Miremadi ◽  
Knut Åkesson
Keyword(s):  
Temporal Logic ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Over Time ◽  
Requirement Models

In this benchmark proposal, we present a set of large specifications stated in Signal Temporal Logic (STL) intended for use in falsification of Cyber-Physical Systems. The main purpose of the benchmark is for tools that monitor STL specifications to be able to test their performance on complex specifications that have structure similar to industrial specifications. The benchmark itself is a Git repository which will therefore be updated over time, and new specifications can be added. At the time of submission, the repository contains a total of seven Simulink requirement models, resulting in 17 generated STL specifications.

Experience building non-functional requirement models of a complex industrial architecture (abstracts only)

2011 ◽  
Vol 39 (3) ◽  
pp. 11-11
Author(s):  
Daniel Dominguez Gouvêa ◽  
Cyro de A. Assis D. Muniz ◽  
Gilson A. Pinto ◽  
Alberto Avritzer ◽  
Rosa Maria Meri Leäo ◽  
...  
Keyword(s):  
Functional Requirement ◽  
Industrial Architecture ◽  
Requirement Models

Agri-environmental models using Mehlich-III soil phospho rus saturation index for corn in Quebec

2006 ◽  
Vol 86 (5) ◽  
pp. 897-910 ◽  
Author(s):  
Annie Pellerin ◽  
Léon -Étienne Parent ◽  
Catherine Tremblay ◽  
Josée Fortin ◽  
Gilles Tremblay ◽  
...  
Keyword(s):  
Soil Fertility ◽  
Positive Response ◽  
Saturation Index ◽  
Soil Phosphorus ◽  
Low Fertility ◽  
Corn Yield ◽  
Soil Extraction ◽  
Soil P ◽  
Environmental Models ◽  
Requirement Models

Soil phosphorus (P), which is potentially a risk for environmental contamination, is currently interpreted using soil P saturation in North America. Our objective was to assess the ratio of P to aluminum (Al) in the Mehlich-III (M-III) soil test to build P requirement models for corn and soybean. We analyzed 129 corn and 19 soybean P fertilizer trials. For corn, the (P/Al)M-III ratio improved soil fertility classification compared with PM-III alone. The critical PM-III value as determined by the Cate-Nelson procedure was found to be 31.5 mg PM-III kg-1, close to published values. The critical (P/Al)M-III ratios of 0.025 for > 300 g clay kg-1 soils and 0.040 for ≤ 300 g clay kg-1 soils differed significantly between the two soil groups. For (P/Al)M-III ratios above 0.214, there was no positive response to added P for all soils regardless of texture. Using published critical environmental (P/Al)M-III ratios of 0.076 for > 300 g clay kg-1soils and 0.131 for ≤ 300 g clay kg-1 soils as benchmarks values, agri-environmental P requirement models were built using conditional expectations of 50 to 80% of computed optimum P values within a soil class. A validation study supported the low critical (P/Al)M-III ratios and the 50% conditional expectation model except for a high carbon soil which was outside the application range of the models. However, banded P decreased corn yield at four validation sites although the model predicted positive response to P. Soybean did not respond to P except at extremely low fertility levels ((P/Al)M-III ≤ 0.02) and behaved as a P-mining crop even in low-P soils. Corn-soybean rotations can reduce soil P to low (P/Al)M-III ratios with minimal agronomic risk. Key words: Soil phosphorus saturation, Mehlich-III soil extraction method, soil fertility classification, soil texture, fertilizer P requirement model, corn, soybean

Validation of requirement models by automatic prototyping

2008 ◽  
Vol 4 (3) ◽  
pp. 241-248 ◽  
Author(s):  
Dan Li ◽  
Xiaoshan Li ◽  
Jicong Liu ◽  
Zhiming Liu
Keyword(s):  
Requirement Models
Sign in / Sign up

Export Citation Format

Share Document