Titlebook: Natur und Begriff; Zur Theoriekonstitut Wolfgang Neuser Book 2017Latest edition Springer Fachmedien Wiesbaden 2017 Natur.Begriff.Begriffsge

expdient

Wolfgang Neuserel-driven development is adopted for the implementation of a state-based system, reducing the change impact at the model level will lead to reducing the impact at the system level. An exploratory study is performed to measure the impact reduction for a given EFSM model when the transformation rules

耕种

Wolfgang Neuserr approach discovers the first irregular workload faster in the search space of over . input combinations compared to the random approach, and it discovers more irregular workloads that result in much higher costs and performance degradations for applications in the cloud.

弄脏

Wolfgang Neuseroal decompositions and/or differential weights, provide optimal satisficement of NFR objectives. Experimental results suggest that using an SAS goal model enhanced with search-based optimization significantly improves system performance when compared with manually- and randomly-generated weights and

和平主义

Wolfgang Neuserd-memory programs. Twelve concurrent Java programs were included and the results suggest BioConcST is a promising approach, since in all the testing criteria evaluated, it achieved a better coverage and the effect-size measure was large in most cases.

枯萎将要

Inferior

修改

Wolfgang Neuserd-memory programs. Twelve concurrent Java programs were included and the results suggest BioConcST is a promising approach, since in all the testing criteria evaluated, it achieved a better coverage and the effect-size measure was large in most cases.

Dignant

Wolfgang Neuserd-memory programs. Twelve concurrent Java programs were included and the results suggest BioConcST is a promising approach, since in all the testing criteria evaluated, it achieved a better coverage and the effect-size measure was large in most cases.

软弱

ALIEN

Wolfgang Neuserimprove the analysis of models of cyber physical systems (CPS). I will present an empirical study that compares CPS model testing and verification, a search-based testing approach for compute-intensive CPS models that builds on a well-known formal verification framework, and a technique to automatic