Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
DOMICO: Checking conformance between domain models and implementations
As a predominant design method for microsservices architecture (MSA), domain‐driven
design (DDD) utilizes a series of standard patterns in both models and implementations to …
design (DDD) utilizes a series of standard patterns in both models and implementations to …
Learning concise models from long execution traces
Abstract models of system-level behaviour have applications in design exploration, analysis,
testing and verification. We describe a new algorithm for automatically extracting useful …
testing and verification. We describe a new algorithm for automatically extracting useful …
Comprehension of computer programs through reverse engineering approaches and techniques: a systematic map** study
YA Luna-Herrera, JC Pérez-Arriaga… - … Conference on Software …, 2022 - Springer
The maintenance phase is an activity carried out by software engineers that requires an
understanding how computer programs work. However, most legacy systems lack …
understanding how computer programs work. However, most legacy systems lack …
Run-time control flow model extraction of java applications
G Saravanan, G Subramani, P Akshay… - Emerging Research in …, 2022 - Springer
In this paper, we discuss a technique for run-time control flow model extraction of Java
application with the help of domain-specific language for instrumentation (DiSL) and Java …
application with the help of domain-specific language for instrumentation (DiSL) and Java …
[HTML][HTML] Runtime verification for dynamic architectures
The architecture of a system captures important design decisions for the system. Over time,
changes in a system's implementation may lead to violations of specific design decisions …
changes in a system's implementation may lead to violations of specific design decisions …
An improved map** method for automated consistency check between software architecture and source code
F Chen, L Zhang, X Lian - 2020 IEEE 20th International …, 2020 - ieeexplore.ieee.org
In daily software development, inconsistencies between architecture and code inevitably
occur with the continuous contribution, even under model-driven development which can …
occur with the continuous contribution, even under model-driven development which can …
Do extracted state machine models help to understand embedded software?
Program understanding is a prerequisite for several software activities, such as
maintenance, evolution, and reengineering. Code in itself is so detailed that it is often hard …
maintenance, evolution, and reengineering. Code in itself is so detailed that it is often hard …
Learning symbolic abstractions from system execution traces
N Yogananda Jeppu - 2022 - ora.ox.ac.uk
This dissertation shows that symbolic abstractions for a system can be inferred from a set of
system execution traces using a combination of Boolean satisfiability and program …
system execution traces using a combination of Boolean satisfiability and program …
Detecting architectural erosion using runtime verification
The architecture of a system captures important design decisions for the system. Over time,
changes in a system's implementation may lead to violations of specific design decisions …
changes in a system's implementation may lead to violations of specific design decisions …
組込みソフトウェアを対象とした状態遷移表抽出支援ツール
山本椋太， 吉田則裕， 青木奈央… - 電子情報通信学会論文誌 …, 2019 - search.ieice.org
組込みソフトウェア開発において, レガシー化したソースコードの理解が困難になっており,
保守や再利用にかかるコストが増大している. リアルタイム制御を行う組込みソフトウェアは …
保守や再利用にかかるコストが増大している. リアルタイム制御を行う組込みソフトウェアは …