Keywords: زبانهای اعلام شده; Type systems; Formal specification; Declarative languages; First-order theorem proving; Domain-specific languages;
مقالات ISI زبانهای اعلام شده (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Multi-party business process compliance monitoring through IoT-enabled artifacts
Keywords: زبانهای اعلام شده; Business process compliance; Runtime compliance monitoring; Internet of things; Guard-Stage-Milestone; E-GSM; Declarative languages; Artifact-centric languages; Business process model transformation;
CyLog/Game aspect: An approach to separation of concerns in crowdsourced data management
Keywords: زبانهای اعلام شده; Crowdsourcing; Declarative languages; Databases; Separation of concerns;