Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Software diversity: state of the art and perspectives
Diversity is prevalent in modern software systems to facilitate adapting the software to
customer requirements or the execution environment. Diversity has an impact on all phases …
customer requirements or the execution environment. Diversity has an impact on all phases …
The multiple facets of software diversity: Recent developments in year 2000 and beyond
Early experiments with software diversity in the mid 1970s investigated N-version
programming and recovery blocks to increase the reliability of embedded systems. Four …
programming and recovery blocks to increase the reliability of embedded systems. Four …
Language-independent and automated software composition: The FeatureHouse experience
Superimposition is a composition technique that has been applied successfully in many
areas of software development. Although superimposition is a general-purpose concept, it …
areas of software development. Although superimposition is a general-purpose concept, it …
Montiarc-architectural modeling of interactive distributed and cyber-physical systems
A Haber, JO Ringert, B Rumpe - ar**
variant-rich software systems. But, testing of every product variant in isolation to ensure its …
variant-rich software systems. But, testing of every product variant in isolation to ensure its …
Agile Modeling with the UML
B Rumpe - International Workshop on Radical Innovations of …, 2002 - Springer
This paper discusses a model-based approach to software development. It argues that an
approach using models as central development artifact needs to be added to the portfolio of …
approach using models as central development artifact needs to be added to the portfolio of …
First-class variability modeling in matlab/simulink
Modern cars exist in an vast number of variants. Thus, variability has to be dealt with in all
phases of the development process, in particular during model-based development of …
phases of the development process, in particular during model-based development of …
[HTML][HTML] Variability modeling of products, processes, and resources in cyber–physical production systems engineering
Abstract Cyber-Physical Production Systems (CPPSs), such as automated car
manufacturing plants, execute a configurable sequence of production steps to manufacture …
manufacturing plants, execute a configurable sequence of production steps to manufacture …
Towards multidisciplinary delta-oriented variability management in cyber-physical production systems
Cyber-Physical Production Systems (CPPSs) are complex systems comprised of software
and hardware interacting with each other and the environment. In industry, over time, a …
and hardware interacting with each other and the environment. In industry, over time, a …
[HTML][HTML] White-box validation of quantitative product lines by statistical model checking and process mining
We propose a novel methodology to validate software product line (PL) models by
integrating Statistical Model Checking (SMC) with Process Mining (PM). We consider the …
integrating Statistical Model Checking (SMC) with Process Mining (PM). We consider the …