default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th ICSOFT 2018: Porto, Portugal
- Leszek A. Maciaszek, Marten van Sinderen:
Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018. SciTePress 2018, ISBN 978-989-758-320-9
Invited Speakers
- Gian Pietro Picco:
Is IoT Ready for the Real World? A Systems Research Perspective. ICSOFT 2018: 5 - Jan Mendling:
The Past, Present and Future of Business Process Management. ICSOFT 2018: 7 - Tobias Hoellwarth:
The CLOUD: Trigger for a Socio-Economic Revolution. ICSOFT 2018: 9 - Miguel Pupo Correia:
Storing Critical Data in the Cloud: Challenges and Solutions. ICSOFT 2018: 11-49
Software Engineering and Systems Development
- Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili:
Impact of Mutation Operators on Mutant Equivalence. 55-66 - Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber:
Automated Selection of Software Refactorings that Improve Performance. 67-78 - Winfried Dulz:
A Versatile Tool Environment to Perform Model-based Testing of Web Applications and Multilingual Websites. 79-90 - Ervina Çergani, Sebastian Proksch, Sarah Nadi, Mira Mezini:
Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study. 91-102 - Pravas Ranjan Bal, Sandeep Kumar:
Extreme Learning Machine based Linear Homogeneous Ensemble for Software Fault Prediction. 103-112 - Youness Laghouaouta, Pierre Laforcade, Esteban Loiseau:
A Pattern-matching based Approach for Problem Solving in Model Transformations. 113-123 - Hassan Haidar, Manuel Kolp, Yves Wautelet
:
Formalizing Agile Software Product Lines with a RE Metamodel. 124-135 - Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Maritta Heisel:
Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model. 136-145 - Faiz Ali Shah, Kairit Sirts, Dietmar Pfahl:
Simple App Review Classification with Only Lexical Features. 146-153 - Sarah A. Dahab, Erika Silva, Stephane Maag, Ana Rosa Cavalli, Wissam Mallouli:
Enhancing Software Development Process Quality based on Metrics Correlation and Suggestion. 154-165 - Manuel Zamith, Gil Gonçalves:
Towards an Agile Development Model for Certifiable Medical Device Software - Taking Advantage of the Medical Device Regulation. 166-174 - Julio Cezar Costa Furtado, Sandro Ronaldo Bezerra Oliveira:
Evaluating Students' Perception of Their Learning in a Student-centered Software Engineering Course - A Experimental Study. ICSOFT 2018: 175-185 - Jaroslav Bendík, Nikola Benes, Ivana Cerná:
Finding Regressions in Projects under Version Control Systems. 186-197 - Mouna Hadj-Kacem, Nadia Bouassida:
Towards a Taxonomy of Bad Smells Detection Approaches. 198-209 - Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato:
iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns. 210-218 - Moheb M. R. Henein, Doaa M. Shawky, Salwa K. Abd-El-Hafiz:
Clustering-based Under-sampling for Software Defect Prediction. 219-227 - David Senkýr, Petr Kroha:
Patterns in Textual Requirements Specification. 231-238 - Joo Tan, Jake Betts, Tyler Lance, Adam Whittaker, David Yocum:
Developing a Task Management System - A Classroom Software Engineering Experience. 239-246 - Hans Schoenmakers, Rob J. Kusters, Jos J. M. Trienekens:
Factors that Complicate the Selection of Software Requirements - Validating Factors from Literature in an Empirical Study. 247-254 - Katsuhiko Gondow, Yoshitaka Arahori, Koji Yamamoto, Masahiro Fukuyori, Ryuichi Umekawa:
TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste. 255-266 - Lennon Furtado, Sandro Ronaldo Bezerra Oliveira:
A Teaching Approach of Software Measurement Process with Gamification - A Experimental Study. ICSOFT 2018: 267-274 - Hina Anwar, Dietmar Pfahl, Satish Narayana Srirama:
An Investigation into the Energy Consumption of HTTP POST Request Methods for Android App Development. 275-282 - Ilenia Fronza, Claus Pahl:
End-User Software Engineering in K-12 by Leveraging Existing Curricular Activities. 283-289 - Shubham Sharma, Sandeep Kumar:
Analysis of Ensemble Models for Aging Related Bug Prediction in Software Systems. 290-297 - Sébastien Salva, Elliott Blot:
COnfECt: An Approach to Learn Models of Component-based Systems. 298-305 - Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile:
A Multi-source Machine Learning Approach to Predict Defect Prone Components. 306-313 - Naima Armaoui, Mohamed Naija, Samir Ben Ahmed:
On the Use of Models for Real-time Reconfigurations of Embedded Systems. 314-321 - Fabrício Matheus Gonçalves, Felipe Rodrigues Jensen, Júlio Cesar dos Reis, Maria Cecília Calani Baranauskas:
Enhancing Problem Clarification Artifacts with Online Deliberation. 322-329 - Diana Kirk, Stephen G. MacDonell:
Evolving a Model for Software Process Context: An Exploratory Study. 330-337 - Deepanshu Dixit, Sandeep Kumar:
Investigating the Effect of Software Metrics Aggregation on Software Fault Prediction. 338-345 - Diana Kirk, Jim Buchan:
Developing a Taxonomy for Software Process Context. 346-353 - Pravas Ranjan Bal, Sandeep Kumar:
Cross Project Software Defect Prediction using Extreme Learning Machine: An Ensemble based Study. 354-361 - Anne Marie Bogar, Damian M. Lyons, David Baird:
Lightweight Call-Graph Construction for Multilingual Software Analysis. 362-371 - Gergely Mezei, Ferenc Attila Somogyi, Károly Farkas:
The Dynamic Sensor Data Description and Data Format Conversion Language. 372-380 - Angshuman Jana, Md. Imran Alam, Raju Halder:
A Symbolic Model Checker for Database Programs. 381-388 - Sándor Bácsi, Gergely Mezei:
Towards a Visualization of Multi-level Metamodeling Techniques. 389-396 - Thorsten Haendler, Josef Frysak:
Deconstructing the Refactoring Process from a Problem-solving and Decision-making Perspective. 397-406 - Abdulaziz Alkhalid, Yvan Labiche:
On Graphical User Interface Verification. 407-414 - Abdulaziz Alkhalid, Yvan Labiche:
Towards GUI Functional Verification using Abstract Interpretation. 415-422 - Edit Pengo, Péter Gál:
Grasping Primitive Enthusiasm - Approaching Primitive Obsession in Steps. 423-430 - Gábor Lóki, Péter Gál:
JavaScript Guidelines for JavaScript Programmers - A Comprehensive Guide for Performance Critical JS Programs. 431-438 - Mohamed Hosni, Ali Idri, Alain Abran:
Improved Effort Estimation of Heterogeneous Ensembles using Filter Feature Selection. 439-446 - Thorsten Haendler:
On using UML Diagrams to Identify and Assess Software Design Smells. 447-455
Software Systems and Applications
- Clauirton de Siebra, Rosberg Lacerda, Italo Cerqueira, Jonysberg P. Quintino, Fabiana Florentin, Fabio Q. B. da Silva, André L. M. Santos:
From Theory to Practice: The Challenges of a DevOps Infrastructure as Code Implementation. 461-470 - Chun Yong Chong, Sai Peck Lee:
A Commit Change-based Weighted Complex Network Approach to Identify Potential Fault Prone Classes. 471-482 - Dhouha Ben Noureddine, Atef Gharbi, Samir Ben Ahmed:
A Social Multi-agent Cooperation System based on Planning and Distributed Task Allocation: Real Case Study. 483-493 - Santonu Sarkar, Prateek Kandelwal, Soumyadip Bandyopadhyay, Holger Giese:
Analysis of GPGPU Programs for Data-race and Barrier Divergence. 494-505 - Ciprian Paduraru, Marius-Constantin Melemciuc:
An Automatic Test Data Generation Tool using Machine Learning. 506-515 - Asma Sellami, Mariem Haoues, Nour Borchani, Nadia Bouassida:
Orchestrating Functional Change Decisions in Scrum Process using COSMIC FSM Method. 516-527 - Ilham Alloui, Eric Benoit, Stéphane Perrin, Flavien Vernier:
WIoT: Interconnection between Wise Objects and IoT. 528-539 - Michael E. Shin, Hassan Gomaa, Don Pathirage:
A Software Product Line Approach for Feature Modeling and Design of Secure Connectors. 540-551 - Jorge López, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev:
Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. 552-562 - Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Refinement based Verification Approach of BPMN Models using NuSMV. 563-574 - Davide Falessi, Freddy Hernandez, Foaad Khosmood:
Issue Tracking Systems: What Developers Want and Use. 577-582 - Katsuhiko Gondow, Yoshitaka Arahori:
Why Do We Need the C language in Programming Courses? 583-590 - Francisca Rosique, Nour Ali, Fernando Losilla:
Adapting a Component-based Model Approach to SOA: A Robotic Experience. 591-596 - Darko Androcec, Neven Vrcek:
Machine Learning for the Internet of Things Security: A Systematic Review. 597-604 - Estrela Ferreira Cruz, António Miguel Rosado da Cruz:
Deriving Integrated Software Design Models from BPMN Business Process Models. 605-616 - Artur Biskupek, Seweryn Spalek:
Importance of Time Management in IT Projects. ICSOFT 2018: 617-624 - Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui:
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. 625-632 - Mustapha Derras, Laurent Deruelle, Jean-Michel Douin, Nicole Lévy, Francisca Losavio, Yann Pollet, Valérie Reiner:
Reference Architecture Design: A Practical Approach. 633-640 - Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed:
A Formal Approach for Multi-occurrence Crisis Management. 641-648 - Guillaume Hétier, Hanifa Boucheneb:
On Handling Source Code Positions and Local Variables in LTL Software Model Checking. 649-656 - Wiem Khlif, Nourchène Elleuch Ben Ayed, Hanêne Ben-Abdallah:
From a BPMN Model to an Aligned UML Analysis Model. 657-665 - Luan Bukowitz Beluzzo, Simone Nasser Matos, Thyago Henrique Pacher:
A Refactoring Architecture for Measuring and Identifying Spots of Design Patterns Insertion in Source Code. 666-673 - Abdulaziz Alkhalid, Yvan Labiche, Sashank Nekkanti:
Revisiting the Notion of GUI Testing. 674-681 - Sahar Regaieg, Saloua Ben Yahia, Samir Ben Ahmed:
Web Service Selection based on Parallel Cluster Partitioning and Representative Skyline. 682-689 - Vasilios Tzeremes, Hassan Gomaa:
A Software Product Line Approach to Designing End User Applications for the Internet of Things. 690-697 - Joseph Razavi, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik:
Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System. 698-705 - Any Keila Pereira, Ana Paula Sousa, João Ramalho Santos, Jorge Bernardino:
Open Source Data Mining Tools Evaluation using OSSpal Methodology. 706-712 - Luís Alves, Rodrigo Rocha Silva, Jorge Bernardino:
System to Predict Diseases in Vineyards and Olive Groves using Data Mining and Geolocation. 713-721 - Laura González, Raúl Ruggia:
A Comprehensive Approach to Compliance Management in Inter-organizational Service Integration Platforms. 722-730 - Wanchang Jiang, Cong Huo, Peng Ren, Shengda Wang, He Chen:
On-Line Detecting Instrument of Multiple Working Modes for Optical Fiber Lines of Power System. ICSOFT 2018: 731-737 - Artur Rot, Pawel Chrobak:
Benefits, Limitations and Costs of IT Infrastructure Virtualization in the Academic Environment. Case Study using VDI Technology. 738-745
Foundational and Trigger Technologies
- Mohamed Lamine Berkane, Lionel Seinturier, Mahmoud Boufaïda:
Variability Modelling for Elastic Scaling in Cloud Computing. 751-758 - Noura Faci, Zakaria Maamar, Thar Baker, Emir Ugljanin, Mohamed Sellami:
In Situ Mutation for Active Things in the IoT Context. 759-766 - Zakaria Maamar, Noura Faci, Mohamed Sellami, Emir Ugljanin, Ejub Kajan:
Everything-as-a-Thing for Abstracting the Internet-of-Things. 767-774 - Zakaria Maamar, Thar Baker, Noura Faci, Emir Ugljanin, Yacine Atif, Mohammed Al-Khafajiy, Mohamed Sellami:
Cognitive Computing Meets the Internet of Things. 775-780 - Mesfin Workineh, Nuno M. Garcia, Dida Midekso:
Cloud Adoption Readiness Assessment Framework for Small and Medium Enterprises in Developing Economies - Evidential Reasoning Approach. 781-788 - Bruno Rodrigues, Frederico Cerveira, Raul Barbosa, Jorge Bernardino:
Virtualization: Past and Present Challenges. 789-795 - Robert Bryce, Gautam Srivastava:
The Addition of Geolocation to Sensor Networks. 796-802
Special Session on Interaction Design in Educational Environments
- Cristian Cuerda, José A. Gallud, Ricardo Tesoriero, Habib M. Fardoun:
Digital LOTCA - How to Evaluate Acquired Brain Injury using Technology. 807-813 - José A. Gallud, Habib M. Fardoun:
UML and Agile Methods: Looking for an Agreement. 814-819 - César A. Collazos, Andrés Solano, Habib M. Fardoun:
Collaboration Engineering: Supporting the Collaborative Processes Design for the Accessible and Usable Interactive Systems Design. 820-827 - Ana María Chimunja, César A. Collazos, Julio Ariel Hurtado, Habib M. Fardoun:
Analyzing Collaboration in the Gamification Process of Childprogramming. 828-834 - Habib M. Fardoun, Ricardo Tesoriero, Gabriel Sebastián, Nehme Safa:
A Simplified MbUID Process to Generate Web Form-based UIs. 835-842
Special Session on Software Engineering for Service and Cloud Computing
- Juncal Alonso, Marisa Escalante, Lena Farid, María José López, Leire Orue-Echevarria, Simon Dutkowski:
Towards Supporting the Extended DevOps Approach through Multi-cloud Architectural Patterns for Design and Pre-deployment - A Tool Supported Approach. 847-857 - Ed Kamya Kiyemba Edris, Mahdi Aiash:
ZKPVM: A Zero-knowledge Authentication Protocol for VMs' Live Migration in Mobile Cloud Computing. ICSOFT 2018: 858-864 - Thalita Vergilio, Muthu Ramachandran:
Non-functional Requirements for Real World Big Data Systems - An Investigation of Big Data Architectures at Facebook, Twitter and Netflix. 867-874 - Eric Kübler, Mirjam Minor:
An Intelligent Cloud Management Approach for the Workflow-cloud Framework WFCF. 875-882 - Jalal Kiswani, Sergiu M. Dascalu, Frederick C. Harris Jr.:
Cloud-RA: A Reference Architecture for Cloud Based Information Systems. 883-888 - Pedro F. Perez Arteaga, Camilo Castellanos, Harold Castro, Darío Correal, Luis A. Guzmán, Yves Denneulin:
Cost Comparison of Lambda Architecture Implementations for Transportation Analytics using Public Cloud Software as a Service. 889-896 - Lan Ma, Weian Li, Zeng-Xian Geng:
Air Traffic Safety Risk Assessment based on Rough Set and BP Neural Network. 897-904 - Christoph Bussler:
Cloud Software Engineering: Traditional or Innovative - The Choice Is Yours. 905-912 - Uma Subbiah, Muthu Ramachandran, Zaigham Mahmood:
Software Engineering Approach to Bug Prediction Models using Machine Learning as a Service (MLaaS). 913-921 - Caesar Wu, Rajkumar Buyya, Kotagiri Ramamohanarao:
Cloud Computing Market Segmentation. 922-931
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.
last updated on 2026-03-22 22:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
