Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A combinatorial characterization of resolution width
A Atserias, V Dalmau - Journal of Computer and System Sciences, 2008 - Elsevier
We provide a characterization of the resolution width introduced in the context of
propositional proof complexity in terms of the existential pebble game introduced in the …
propositional proof complexity in terms of the existential pebble game introduced in the …
A semi-automated approach for generating natural language requirements documents based on business process models
B Aysolmaz, H Leopold, HA Reijers… - Information and Software …, 2018 - Elsevier
Context: The analysis of requirements for business-related software systems is often
supported by using business process models. However, the final requirements are typically …
supported by using business process models. However, the final requirements are typically …
An experiment in model-driven conceptual database design
D Brdjanin, G Banjac, D Banjac, S Maric - Software & Systems Modeling, 2019 - Springer
The article presents the results of an experiment we conducted with database professionals
in order to evaluate an approach to automatic design of the initial conceptual database …
in order to evaluate an approach to automatic design of the initial conceptual database …
Deriving a data model from a set of interrelated business process models
EF Cruz, RJ Machado, MY Santos - International Conference on …, 2015 - scitepress.org
Business process modeling and management approaches are increasingly used and
disclosed between organizations as a means of optimizing and streamlining the business …
disclosed between organizations as a means of optimizing and streamlining the business …
Collaborative modeling process for development of domain-specific discrete event simulation systems
C Sung, TG Kim - IEEE Transactions on Systems, Man, and …, 2011 - ieeexplore.ieee.org
The discrete event systems specification (DEVS) formalism supports the object-oriented
(OO) specification of discrete event models in a hierarchical, modular manner. If a system …
(OO) specification of discrete event models in a hierarchical, modular manner. If a system …
Model-driven techniques for data model synthesis
D Brdjanin, S Maric - Electronics, 2013 - doisrpska.nub.rs
This article presents a survey of model-driven techniquesfor data model synthesis. During
an extensive research, we identified more than 70 research papers in the field andmore than …
an extensive research, we identified more than 70 research papers in the field andmore than …
Integrated modeling of process-and data-centric software systems with PHILharmonicFlows
CM Chiao, V Künzle, M Reichert - 2013 IEEE 1st International …, 2013 - ieeexplore.ieee.org
Process-and data-centric software systems require a tight integration of processes,
functions, data, and users. Thereby, the behavioral perspective is described by process …
functions, data, and users. Thereby, the behavioral perspective is described by process …
Automated synthesis of initial conceptual database model based on collaborative business process model
D Brdjanin, G Banjac, S Maric - ICT Innovations 2014: World of Data, 2015 - Springer
This paper presents an approach to automated design of the initial conceptual database
model. The source model is a collaborative business process model represented by BPMN …
model. The source model is a collaborative business process model represented by BPMN …
Derivation of data-driven software models from business process representations
EF Cruz, RJ Machado… - 2014 9th International …, 2014 - ieeexplore.ieee.org
Business process modelling and management approaches are increasingly used and
disclosed between organizations as a means to improve their products or services quality …
disclosed between organizations as a means to improve their products or services quality …
[PDF][PDF] Designing BP-IS aligned models: An MDA-based transformation methodology
W Khlif, N Elleuch, E Alotabi, H Ben-Abdallah - 2018 - open.icm.edu.pl
The necessity of aligning an enterprise's IS model to its business process model (BPM) is
irrefutable. How to ensure the establishment and/or maintenance of this alignment remains …
irrefutable. How to ensure the establishment and/or maintenance of this alignment remains …