Stop the war!
Остановите войну!
for scientists:
default search action
International Journal of Software Engineering and Knowledge Engineering, Volume 34
Volume 34, Number 1, January 2024
- Trinh Le-Khanh, Hoang-Gia Nguyen, Simon Bliudze, Philippe Merle:
Towards Exogenous Coordination of Concurrent Cloud Applications. 1-25 - Alejandro Miguel Güemes Esperón, Francisco Maciá Pérez, José Vicente Berná-Martínez, Martha Dunia Delgado Dapena, Iren Lorenzo-Fonseca:
Specifying Requirements for Modern Software Development: A Test-Oriented Methodology. 27-48 - Zhen Li, Zining Cao, Fujun Wang, Chao Xing:
A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra. 49-89 - Young Min Baek, Esther Cho, Donghwan Shin, Doo-Hwan Bae:
An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific Extension. 91-162 - Pieter Bonte, Sander Vanden Hautte, Filip De Turck, Sofie Van Hoecke, Femke Ongenae:
Benchmarking Whole Knowledge Graph Embedding Techniques. 163-184 - Thanh Trong Vu, Thanh-Dat Do, Hieu Dinh Vo:
Context-Encoded Code Change Representation for Automated Commit Message Generation. 185-202
Volume 34, Number 2, February 2024
- Fevzi Belli, Tugkan Tuglular, Ekincan Ufuktepe:
Unifying Behavioral and Feature Modeling for Testing of Software Product Lines. 203-238 - Hao Chen, Shengyang Zhou, Chen Chen, Zheng Dai, Bixin Li:
A Business-Oriented Methodology to Evaluate the Security of Software Architecture Quantitatively. 239-271 - Haiyi Liu, Shaoying Liu, Guangquan Xu, Ai Liu, Dingbang Fang:
NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification. 273-300 - Sini Chen, Ran Li, Huibiao Zhu:
Formalization and Verification of Enhanced Group Communication CoAP. 301-330 - Xiaowei Zhang, Lin Chen, Weiqin Zou, Yulu Cao, Hao Ren, Zhi Wang, Yanhui Li, Yuming Zhou:
ICG: A Machine Learning Benchmark Dataset and Baselines for Inline Code Comments Generation Task. 331-356 - Shumei Wu, Zexing Chang, Zhanwen Zhang, Zheng Li, Yong Liu:
DTester: Diversity-Driven Test Case Generation for Web Applications. 357-390
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.