Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Managing non-functional uncertainty via model-driven adaptivity
Modern software systems are often characterized by uncertainty and changes in the
environment in which they are embedded. Hence, they must be designed as adaptive …
environment in which they are embedded. Hence, they must be designed as adaptive …
Model-integrating development of software systems: a flexible component-based approach
M Derakhshanmanesh, J Ebert, M Grieger… - Software & Systems …, 2019 - Springer
A promising way to develop flexible software systems is to include models that are analyzed,
modified and executed at runtime as an integrated part of the system. Building such model …
modified and executed at runtime as an integrated part of the system. Building such model …
Data model driven implementation of web cooperation systems with Tricia
T Büchner, F Matthes, C Neubert - International Conference on Object and …, 2010 - Springer
We present the data modeling concepts of Tricia, an open-source Java platform used to
implement enterprise web information systems as well as social software solutions including …
implement enterprise web information systems as well as social software solutions including …
Annotations in operating systems with custom AspectC++ attributes
Aspect Oriented Programming (AOP) supports the modular implementation of crosscutting
concerns, which are woven into program parts designated by pointcuts, eg calls to specific …
concerns, which are woven into program parts designated by pointcuts, eg calls to specific …
Embedding process models in object-oriented program code
M Balz, M Goedicke - Proceedings of the 1st Workshop on Behaviour …, 2009 - dl.acm.org
Process modeling has usually a strong connection with run time platforms that allow
dynamic configuration and adjustment. While this is reasonable for the operation of large …
dynamic configuration and adjustment. While this is reasonable for the operation of large …
[PDF][PDF] Support for Evolution of Software Systems using Embedded Models
In this paper we show a new approach to evolution of software systems. We embed high-
level specification information into program code patterns, so that such program code is …
level specification information into program code patterns, so that such program code is …
[PDF][PDF] Challenges for Model-Integrating Components.
M Derakhshanmanesh, J Ebert, M Grieger - ModComp@ MoDELS, 2015 - ceur-ws.org
Model-Integrating Software Components (MoCos) use models at runtime as first class
entities within components to build flexible and adaptive software systems. Building such …
entities within components to build flexible and adaptive software systems. Building such …
[PDF][PDF] Teaching Programming with Formal Models in Greenfoot.
M Balz, M Goedicke - CSEDU (2), 2010 - scitepress.org
Formal methods for software development are subject to teaching in computer science as a
matter of course. However, it is difficult to relate the theories to the practical matter of …
matter of course. However, it is difficult to relate the theories to the practical matter of …
[PDF][PDF] Qualitätssichernde Koevolution von Architekturen eingebetteter Systeme, 1
M Lochau, U Goltz - Workshop Design For Future-Langlebige Software …, 2009 - ceur-ws.org
Eingebettete Software-Systeme sind heute allgegenwärtig und müssen zukünftig auch in
Hinblick auf eine stetig steigende Lebensdauer und Wartbarkeit entworfen werden …
Hinblick auf eine stetig steigende Lebensdauer und Wartbarkeit entworfen werden …
Visualization of Introspective Data Models with Tricia
T Büchner, F Matthes, C Neubert - Softwaretechnik-Trends Band 30, Heft 2, 2010 - dl.gi.de
We present three different visualizations of data models, which assist the development
process of Tricia, an open source Java platform used for the development of data intensive …
process of Tricia, an open source Java platform used for the development of data intensive …