Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[ספר][B] Modeling with UML
B Rumpe - 2016 - Springer
Designing large software systems is one of the big technical challenges of our time. The
scope and complexity of software have now reached dimensions that push all established …
scope and complexity of software have now reached dimensions that push all established …
[ספר][B] Secure systems development with UML
J Jürjens - 2005 - books.google.com
Attacks against computer systems can cause considerable economic or physical damage.
High-quality development of security-critical systems is difficult, mainly because of the …
High-quality development of security-critical systems is difficult, mainly because of the …
A comprehensive approach to privacy in the cloud-based Internet of Things
M Henze, L Hermerschmidt, D Kerpen… - Future generation …, 2016 - Elsevier
In the near future, the Internet of Things is expected to penetrate all aspects of the physical
world, including homes and urban spaces. In order to handle the massive amount of data …
world, including homes and urban spaces. In order to handle the massive amount of data …
Design guidelines for domain specific languages
G Karsai, H Krahn, C Pinkernell, B Rumpe… - ar** with
complex language definitions, evolving them in a structured way, and ensuring their error …
complex language definitions, evolving them in a structured way, and ensuring their error …
A new skill based robot programming language using uml/p statecharts
This paper introduces the new robot programming language LightRocks (Light Weight
Robot Coding for Skills), a domain specific language (DSL) for robot programming. The …
Robot Coding for Skills), a domain specific language (DSL) for robot programming. The …
[ספר][B] IT-gestützte Logistik
I Hausladen - 2016 - Springer
Die einzelnen im Lehrbuch explizierten Methoden, Konzepte und Instrumente der IT-
gestützten Logistik wurden den aktuell im Praxiseinsatz befindlichen Tools entsprechend …
gestützten Logistik wurden den aktuell im Praxiseinsatz befindlichen Tools entsprechend …
[ספר][B] Agile modeling with UML: Code generation, testing, refactoring
B Rumpe - 2017 - Springer
This book focuses on the methodological treatment of UML/P and addresses three core
topics of model-based software development: code generation, the systematic testing of …
topics of model-based software development: code generation, the systematic testing of …
Monticore: Modular development of textual domain specific languages
H Krahn, B Rumpe, S Völkel - … 2008, Zurich, Switzerland, June 30-July 4 …, 2008 - Springer
Reuse is a key technique for a more efficient development and ensures the quality of the
results. In object technology explicit encapsulation, interfaces, and inheritance are well …
results. In object technology explicit encapsulation, interfaces, and inheritance are well …
Montiarc-architectural modeling of interactive distributed and cyber-physical systems
A Haber, JO Ringert, B Rumpe - arxiv preprint arxiv:1409.6578, 2014 - arxiv.org
This report presents MontiArc, a modeling language for the description of Component &
Connector architectures. A component is a unit executing computations and/or storing data …
Connector architectures. A component is a unit executing computations and/or storing data …