Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 228 matches
- 2023
- Xiaozhi Du, Jinjin Zhang, Kai Chen, Yanrong Zhou:
DFS-KeyLevel: A Two-Layer Test Scenario Generation Approach for UML Activity Diagram. J. Electron. Test. 39(1): 71-88 (2023) - W. Haga Steve, Wei-Ming Ma, William Shanchung Chao:
Using the Structure-Behavior Coalescence Method to Formalize the Action Flow Semantics of UML 2.0 Activity Diagrams. J. Comput. Sci. Eng. 17(2): 60-70 (2023) - Dizza Beimel, Arava Tsoury, Shirly Bar-Lev:
Identifying common and persistent errors made by novice analysts when modeling business processes using UML activity diagram: utilizing a hierarchical error classification. Softw. Qual. J. 31(4): 1149-1178 (2023) - François Siewe:
Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients. COMPSAC 2023: 1691-1696 - Rui Zhu, Wenxin Li, Canchang Jin:
TAG: UML Activity Diagram Deeply Supervised Generation from Business Textural Specification. SANER 2023: 956-961 - 2022
- Yasmina Rahmoune, Allaoua Chaoui:
Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation. Comput. Sci. 23(3) (2022) - Abdelkamel Hettab, Allaoua Chaoui, Mohamed Boubakir, Elhillali Kerkouche:
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. Int. J. Comput. Aided Eng. Technol. 16(3): 379-415 (2022) - Rania Mzid, Asma Charfi, Nejmeddine Etteyeb:
Use of Compiler Intermediate Representation for Reverse Engineering: A Case Study for GCC Compiler and UML Activity Diagram. MODELSWARD 2022: 211-218 - 2021
- Raida Elmansouri, Said Meghzili, Allaoua Chaoui:
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Comput. Sci. 22(2) (2021) - Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook:
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. J. Syst. Archit. 114: 101911 (2021) - Abdelsalam M. Maatuk, Esra A. Abdelnabi:
Generating UML Use Case and Activity Diagrams Using NLP Techniques and Heuristics Rules. DATA 2021: 271-277 - Lili Fan, Yong Wang, Tao Liu:
Automatic Test Path Generation and Prioritization using UML Activity Diagram. DSA 2021: 484-490 - Agnieszka Malanowska, Adrianna Malkiewicz-Blotniak:
Generating Automatic Unit Tests of JavaScript Code from UML Class and Activity Diagrams. ENASE 2021: 189-196 - Ilona Veitaite, Audrius Lopata:
Knowledge-Based UML Use Case and UML Activity Models Generation from Enterprise Model. School of Languages Case Study. IVUS 2021: 112-121 - 2020
- Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui:
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. Comput. Aided Eng. Technol. 12(2): 237-262 (2020) - Vinay Arora, Maninder Singh, Rajesh Kumar Bhatia:
Orientation-based Ant colony algorithm for synthesizing the test scenarios in UML activity diagram. Inf. Softw. Technol. 123: 106292 (2020) - Lucas Lima, Amaury Tavares, Sidney C. Nogueira:
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. Sci. Comput. Program. 197: 102497 (2020) - Mehmet Alp Kose, Mert Ozkaya:
Towards Extending UML's Activity Diagram for the Architectural Modeling, Analysis, and Implementation. FedCSIS 2020: 639-648 - Ilona Veitaite, Audrius Lopata:
Knowledge-Based UML Activity Model Transformation Algorithm. IVUS 2020: 114-120 - Athanasios Sypsas, Dimitris Kalles:
Using UML Activity Diagram for Adapting Experiments under a Virtual Laboratory Environment. PCI 2020: 27-30 - 2019
- Tanwir Ahmad, Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres:
Model-based testing using UML activity diagrams: A systematic mapping study. Comput. Sci. Rev. 33: 98-112 (2019) - Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Institution-based UML activity diagram transformation with semantic preservation. Int. J. Comput. Sci. Eng. 18(3): 240-251 (2019) - Michael Felderer, Andrea Herrmann:
Comprehensibility of system models during test design: a controlled experiment comparing UML activity diagrams and state machines. Softw. Qual. J. 27(1): 125-147 (2019) - Fabian Wiser, Carolin Durst:
A Holistic Socio-Technical Approach to Systems Analysis: Trace-Linking Activity Theory to UML Activity Diagrams. AMCIS 2019 - Marek Suchánek, Robert Pergl:
Mapping UFO-B to BPMN, BORM, and UML Activity Diagram. EOMAS@CAiSE 2019: 82-98 - Suwatchai Kamonsantiroj, Luepol Pipanmaekaporn, Siriluck Lorpunmanee:
A Memorization Approach for Test Case Generation in Concurrent UML Activity Diagram. ICGDA 2019: 20-25 - Messaoud Abbas, Mounir Beggas, Ammar Boucherit:
Formalizing and Verifying UML Activity Diagrams. MEDI Workshops 2019: 49-63 - Lucas Lima, Amaury Tavares, Sidney C. Nogueira:
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. CoRR abs/1910.13638 (2019) - 2018
- Gargi Bhattacharjee, Sudipta Dash:
Test Path Prioritization from UML Activity Diagram Using a Hybridized Approach. Int. J. Knowl. Based Organ. 8(1): 83-96 (2018) - Huifeng Chen, Jianmin Jiang, Zhong Hong, Ling Lin:
Decomposition of UML activity diagrams. Softw. Pract. Exp. 48(1): 105-122 (2018)
skipping 198 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-25 03:16 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint