| 2017 | Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model. | Viktoria Ovchinnikova, Erika Nazaruka |
| 2017 | A Reusable Requirements Catalog for Internationalized and Sustainable Blood Donation Apps. | Sofia Ouhbi, Jos Luis Fernndez-Alemn, Ali Idri, Ambrosio Toval, Jos Rivera Pozo, Manal El Bajta |
| 2017 | Knowledge Engineering for Business Process Modeling. | Sonya Ouali, Mohamed Mhiri, Faez Gargouri |
| 2017 | Agent-based Semantic Negotiation Protocol for Semantic Heterogeneity Solving in Multi-agent System. | Dhouha Ben Noureddine, Atef Gharbi, Samir Ben Ahmed |
| 2017 | Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis. | Vladislavs Nazaruks, Janis Osis |
| 2017 | A Survey on Domain Knowledge Representation with Frames. | Vladislavs Nazaruks, Janis Osis |
| 2017 | Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model. | Erika Nazaruka |
| 2017 | Enriching Frame-based Structured Representations for Requirements using Case Frames - An Approach Towards Handling Incompleteness in Informal Requirements. | Akanksha Mishra, Richa Sharma |
| 2017 | Search based GUI Test Generation in Java - Comparing Code-based and EFG-based Optimization Goals. | Mathias Menninghaus, Falk Wilke, Jan-Philipp Schleutker, Elke Pulvermller |
| 2017 | Proactive Trust Assessment of Systems as Services. | Jorge Lpez, Natalia Kushik, Nina Yevtushenko |
| 2017 | A Tool for Visualizing the Execution of Programs and Stack Traces Especially Suited for Novice Programmers. | Stanislav Litvinov, Marat Mingazov, Vladislav Myachikov, Vladimir Ivanov, Yuliya Palamarchuk, Pavel Sozonov, Giancarlo Succi |
| 2017 | Towards the Integration of Metaprogramming Services into Java. | Ignacio Lagartos, Jose Manuel Redondo, Francisco Ortin |
| 2017 | Entropy-based Framework Dealing with Error in Software Development Effort Estimation. | Salma El Koutbi, Ali Idri |
| 2017 | A Statistical Approach to Resolve Conflicting Requirements in Pervasive Computing Systems. | Osama Mabrouk Khaled, Hoda Mohammed Hosny, Mohamed Shalan |
| 2017 | High-level Verification and Validation of Software Supporting Business Processes. | Hermann Kaindl |
| 2017 | Biologically Inspired Security as a Service for Service-Oriented Middleware. | Tashreen Shaikh Jamaluddin, Hoda Hassan, Haitham S. Hamza |
| 2017 | GenDomus: Interactive and Collaboration Mechanisms for Diagnosing Genetic Diseases. | Carlos Iiguez-Jarrn, Alberto Garca S., Jos Fabin Reyes Romn, Oscar Pastor Lpez |
| 2017 | Automatic Source Code Generation for Web-based Process-oriented Information Systems. | Jean Pierre Alfonso Hoyos, Felipe Restrepo-Calle |
| 2017 | Web Migration - A Survey Considering the SME Perspective. | Sebastian Heil, Martin Gaedke |
| 2017 | Patterns System for the Design of Partial Reconfigurable Applications on FPGA. | Nissaf Fredj, Mhamed Saidane, Yessine Hadj Kacem, Mohamed Abid |
| 2017 | Context-awareness Meta-model for Reconfigurable Control Systems. | Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey |
| 2017 | Tool Support to Automate Transformations between CIM and PIM Levels. | Imane Essebaa, Salima Chantit |
| 2017 | A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. | Fatma Dhaou, Ins Mouakher, J. Christian Attiogb, Khaled Bsaes |
| 2017 | A Change Impact Analysis Model for Aspect Oriented Programs. | Fabrice Dhoul, Linda Badri, Mourad Badri |
| 2017 | Feature Model Composition Assisted by Formal Concept Analysis. | Jessie Carbonnel, Marianne Huchard, Andr Miralles, Clmentine Nebut |