Abstract is missing.
- Security Applications of GPUsSotiris Ioannidis. 5
- Taming Complexity with Self-managed SystemsDanny Menasce. 7
- How Digital Twins Enable Model Driven ManufacturingMike P. Papazoglou. 9
- A Convolutional Neural Network for Language-Agnostic Source Code SummarizationJessica Moore, Ben Gelman, David Slater. 15-26 [doi]
- CloudCity: A Live Environment for the Management of Cloud InfrastructuresPedro Lourenço, João Pedro Dias, Ademar Aguiar, Hugo Sereno Ferreira. 27-36 [doi]
- Live Software Development Environment for Java using Virtual RealityDiogo Amaral, Gil Domingues, João Pedro Dias, Hugo Sereno Ferreira, Ademar Aguiar, Rui Nóbrega. 37-46 [doi]
- Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval MethodKritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli. 47-58 [doi]
- Amniote: A User Space Interface to the Android RuntimeZachary Yannes, Gary S. Tyson. 59-67 [doi]
- A Formal Modeling Scheme for Analyzing a Software System Design against the GDPREvangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou. 68-79 [doi]
- Longitudinal Evaluation of Software Quality Metrics in Open-Source ApplicationsArthur-Jozsef Molnar, Alexandra Neamtu, Simona Motogna. 80-91 [doi]
- Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with PractitionersPredrag Filipovikj, Cristina Seceleanu. 92-103 [doi]
- A Domain-Specific Modeling Language for Specification of Clinical Scores in Mobile HealthAllan Fábio de Aguiar Barbosa, Francisco José da Silva e Silva, Luciano Reis Coutinho, Davi Viana dos Santos, Ariel Soares Teles. 104-113 [doi]
- Architecture Modelling and Formal Analysis of Intelligent Multi-Agent SystemsAshalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu. 114-126 [doi]
- Scaling a Standardized Procedure to Conceptualizing and Completing User Stories across Scrum Teams and IndustriesMatthew Ormsby, Curtis Busby-Earle. 127-133 [doi]
- Migration of Software Components to Microservices: Matching and SynthesisAndreas Christoforou, Lambros Odysseos, Andreas S. Andreou. 134-146 [doi]
- A Model Driven Approach to the Development of Gamified Interactive Clinical Practice GuidelinesJob N. Nyameino, Fazle Rabbi, Ben-Richard Ebbesvik, Martin C. Were, Yngve Lamo. 147-158 [doi]
- R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable SystemsMohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi. 159-168 [doi]
- Investigating Mobile Applications Quality in Official and Third-party MarketplacesFausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone. 169-178 [doi]
- Easy Mobile Meter Reading for Non-smart Meters: Comparison of AWS Rekognition and Google Cloud Vision ApproachesMaria Spichkova, Johan Van Zyl, Siddharth Sachdev, Ashish Bhardwaj, Nirav Desai. 179-188 [doi]
- Suggesting Software Measurement Plans with Unsupervised Learning Data AnalysisSarah A. Dahab, Stéphane Maag. 189-197 [doi]
- Model-based Network Fault Injection for IoT ProtocolsJun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya. 201-209 [doi]
- Distributed Kanban with Limited Geographical Distance: Analyzing Lean Principles Pull, Work in Progress and KaizenRaoul Vallon, Stefan Strobl, Martin Ras, Mario Bernhart, Thomas Grechenig. 210-217 [doi]
- Towards a New Adaptation Engine for Self-Adaptation of BPMN Processes InstancesJamila Oukharijane, Imen Ben Said, Mohamed Amine Chaâbane, Eric Andonoff, Rafik Bouaziz. 218-225 [doi]
- Analytic Pattern and Tool for Analysis of a Gap of Changes in Enterprise ArchitecturesRichard Dijkstra, Ella E. Roubtsova. 226-233 [doi]
- A General Framework to Identify Software Components from Execution DataCong Liu, Boudewijn F. van Dongen, Nour Assy, Wil M. P. van der Aalst. 234-241 [doi]
- A MARTE-Based Design Pattern for Adaptive Real-Time Embedded SystemsAhmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed. 242-248 [doi]
- Refactoring Misuse Case Diagrams using Model TransformationMohamed El-Attar, Nidal Nasser. 249-256 [doi]
- A Model-Driven Approach for Developing Responsive Web AppsJoão Seixas, André Ribeiro, Alberto Rodrigues da Silva. 257-264 [doi]
- From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing ApproachDaniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva. 265-272 [doi]
- A Pattern-based Process Management System to Flexibly Execute Collaborative TasksMamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah. 273-280 [doi]
- UML Specification and Transformation of Safety Features for Memory ProtectionLars Huning, Padma Iyenghar, Elke Pulvermüller. 281-288 [doi]
- An Experimental Evaluation of Design Space Exploration of Hardware/Software InterfacesThomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch. 289-296 [doi]
- CVSS-based Estimation and Prioritization for Security RisksRoman Wirtz, Maritta Heisel. 297-306 [doi]
- A Systematic Strategy to Teaching of Exploratory Testing using GamificationIgor Ernesto Ferreira Costa, Sandro Ronaldo Bezerra Oliveira. 307-314 [doi]
- Developing and Testing Networked Software for Moving RobotsIchiro Satoh. 315-321 [doi]
- Modeling Traceability in Software Development: A Metamodel and a Reference Model for TraceabilityBruno Azevedo, Mario Jino. 322-329 [doi]
- Towards New Ways of Evaluating Methods of Supporting Requirements Management and Traceability using Signal-to-Noise RatioKrzysztof Wnuk, Markus Borg, Tony Gorschek. 330-339 [doi]
- Architecture to Manage and Protect Personal Data Utilising BlockchainJens Leicht, Maritta Heisel. 340-349 [doi]
- Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train ControlZakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua. 350-358 [doi]
- Analyzing the Evolution of Javascript ApplicationsAngelos Chatzimparmpas, Stamatia Bibi, Ioannis Zozas, Andreas Kerren. 359-366 [doi]
- A Model-based Approach for the Modeling and the Verification of Railway Signaling SystemRacem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul. 367-376 [doi]
- Formal Approach to Dynamic SoS DesignHela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed. 377-384 [doi]
- Mutating UML State Machine Behavior with Semantic Mutation OperatorsAnna Derezinska, Lukasz Zaremba. 385-393 [doi]
- On Improved Verification of Reconfigurable Real-Time SystemsYousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani. 394-401 [doi]
- Consolidating a Model for Describing Situated Software PracticesDiana Kirk, Stephen G. MacDonell, Ewan D. Tempero. 402-409 [doi]
- Modelling Co-occurring Changes in a BPEL Process with Petri NetsN. Parimala. 410-416 [doi]
- Towards Understanding Industry's Perspectives on the Software Quality Characteristics: A SurveyMert Ozkaya, Nurdan Canbaz. 417-426 [doi]
- An Approach of Extracting God Class Exploiting Both Structural and Semantic SimilarityPritom Saha Akash, Ali Zafar Sadiq, Ahmedul Kabir. 427-433 [doi]
- Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case StudyMaurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo. 434-441 [doi]
- Hammock-based Identification of Changes in Advice Applications between Aspect-oriented ProgramsMarija Katic. 442-451 [doi]
- NOSOLAP: Moving from Data Warehouse Requirements to NoSQL DatabasesDeepika Prakash. 452-458 [doi]
- Safe Design Real-time Embedded Systems with Security PatternsAhmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed. 459-463 [doi]
- Indoor Localisation with Intelligent Luminaires for Home MonitoringIuliana Marin, Maria-Iuliana Bocicor, Arthur-Jozsef Molnar. 464-471 [doi]
- Evaluation and Comparison of Dynamic Call Graph Generators for JavaScriptZoltán Herczeg, Gábor Lóki. 472-479 [doi]
- Integrating Users Logic Into Requirements Engineering for Connected Healthcare co-DesignSofia Ouhbi, Maria Karampela, Minna Isomursu. 480-485 [doi]
- Identifying Logical Dependencies from Co-Changing ClassesAdelina Diana Stana, Ioana Sora. 486-493 [doi]
- On the Evolutionary Relationship between Change Coupling and Fix-Inducing ChangesAli Zafar Sadiq, Md. Jubair Ibna Mostafa, Kazi Sakib. 494-501 [doi]
- Software Development Process: An Action Grammars PerspectiveDiana Kirk. 502-509 [doi]
- A Software Tools Catalogue to Support the Statistical Process Control on the Software ContextAluízio Ramos Pereira Neto, Sandro Ronaldo Bezerra Oliveira. 510-517 [doi]
- Using Developer-tool-Interactions to Expand Tracing CapabilitiesDennis Ziegenhagen, Andreas Speck, Elke Pulvermüller. 518-525 [doi]
- Optimizing Regression Testing with Functional Flow Block Reliability DiagramVaishali Chourey, Meena Sharma. 526-532 [doi]
- Towards a Uniform Model Transformation Process for Abstract User Interfaces GenerationLassaad Ben Ammar. 533-538 [doi]
- Towards Automated Management and Analysis of Heterogeneous Data within Cannabinoids DomainKenji Koga, Maria Spichkova, Nitin Mantri. 539-546 [doi]
- Multiple Perspectives of Digital Enterprise ArchitectureAlfred Zimmermann, Rainer Schmidt 0001, Kurt Sandkuhl. 547-554 [doi]
- Towards Readability Aspects of Probabilistic Mode AutomataHeinz W. Schmidt, Maria Spichkova. 555-562 [doi]
- Requirements Engineering for Global Systems: Cultural, Regulatory and Technical AspectsMaria Spichkova, Heinz W. Schmidt. 563-569 [doi]
- A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed AutomataMoez Krichen, Roobaea Alroobaea. 570-577 [doi]
- Categorical Classification of Factors Effecting Knowledge Management in Software Crowdsourcing: Hypothetical FrameworkNasir Hussain. 578-585 [doi]
- Extracting Core Elements of TFM Functional Characteristics from Stanford CoreNLP Application OutcomesErika Nazaruka, Janis Osis, Viktorija Griberman. 591-602 [doi]
- Identification of Causal Dependencies by using Natural Language Processing: A SurveyErika Nazaruka. 603-613 [doi]
- Vision of the TFM-driven Code AcquisitionVladislavs Nazaruks, Janis Osis. 617-624 [doi]