default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th ENASE 2018: Funchal, Madeira, Portugal
- Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek:
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. SciTePress 2018, ISBN 978-989-758-300-1
Invited Speakers
- Bashar Nuseibeh:
Engineering Software for Life in Cyber-Physical-Social Spaces. ENASE 2018: 5 - Plamen Angelov:
Empirical Approach to Learning from Data (Streams). ENASE 2018: 7-8 - Salvatore Distefano:
Software Defined Cities. ENASE 2018: 9
Papers
- Heleno Cardoso da Silva Filho, Glauco de Figueiredo Carneiro
:
An Action Research Study towards the Use of Cloud Computing Scenarios in Undergraduate Computer Science Courses. 15-25 - Roman Wirtz, Maritta Heisel, Rene Meis, Aida Omerovic, Ketil Stølen:
Problem-based Elicitation of Security Requirements - The ProCOR Method. 26-38 - Bernhard Westfechtel:
Incremental Bidirectional Transformations: Applying QVT Relations to the Families to Persons Benchmark. 39-53 - Adam Przybylek, Mateusz Zakrzewski:
Adopting Collaborative Games into Agile Requirements Engineering. 54-64 - Cong Liu, Boudewijn F. van Dongen, Nour Assy, Wil M. P. van der Aalst:
A Framework to Support Behavioral Design Pattern Detection from Software Execution Data. 65-76 - Gabriel Campeanu, Jan Carlson, Séverine Sentilles:
Optimized Realization of Software Components with Flexible OpenCL Functionality. 77-88 - Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey:
A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems. 89-98 - Aymen Gammoudi, Daniel Chillet, Mohamed Khalgui, Adel Benzina:
Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms. 99-110 - Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde-Lilia Bouziane, Christophe Dony, Chouki Tibermacine:
Refactoring Object-Oriented Applications for a Deployment in the Cloud - Workflow Generation based on Static Analysis of Source Code. 111-123 - Wiem Khlif, Asma Sellami, Mariem Haoues, Hanêne Ben-Abdallah:
Using COSMIC FSM Method to Analyze the Impact of Functional Changes in Business Process Models. 124-136 - Mouna Hadj-Kacem, Nadia Bouassida:
A Hybrid Approach To Detect Code Smells using Deep Learning. 137-146 - Sebastian Heil, Felix Förster, Martin Gaedke:
Exploring Crowdsourced Reverse Engineering. 147-158 - Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. 159-168 - Ralph Hoch, Hermann Kaindl:
Verification of Feature Coordination using the Fluent Calculus. 169-179 - Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette:
A MDE Approach for Heterogeneous Models Consistency. 180-191 - Muhammad Javed, Yuqing Lin:
Iterative Process for Generating ER Diagram from Unrestricted Requirements. 192-204 - Alfred Zimmermann, Rainer Schmidt, Justus Bogner, Dierk Jugel, Michael Möhring:
Software Evolution for Digital Transformation. 205-212 - Michael Mohan, Des Greer:
An Approach to Prioritize Classes in a Multi-objective Software Maintenance Framework. 215-222 - Maria Eleni Paschali, Nikolaos Bafatakis, Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Ioannis Stamelos:
Tool-assisted Game Scenario Representation Through Flow Charts. 223-232 - Robert Andrei Buchmann, Mihai Cinpoeru, Alisa Harkai, Dimitris Karagiannis:
Model-Aware Software Engineering - A Knowledge-based Approach to Model-Driven Software Engineering. 233-240 - Tetsuo Tamai, Taichi Anzai:
Quality Requirements Analysis with Machine Learning. 241-248 - Andreas Reidt, Stefan Schuhbäck, Helmut Krcmar:
Comprehensive View on Architectural Requirements for Maintenance Information Systems. 249-257 - Wiem Khlif, Nourchène Elleuch, Enaam Alotabi, Hanêne Ben-Abdallah:
Designing BP-IS Aligned Models: An MDA-based Transformation Methodology. 258-266 - Manuel Navarrete-Hidalgo, José Fabián Reyes Román, Oscar Pastor López:
Design and Implementation of a Geis for the Genomic Diagnosis using the SILE Methodology. Case Study: Congenital Cataract. 267-274 - Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes:
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. 275-282 - Sarah A. Dahab, Juan Jose Hernandez Porras, Stephane Maag:
A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement Plans. 283-290 - Somnoup Yos, Caslon Chua:
Requirements Engineering Tools for Global Software Engineering - A Feature Analysis Study. 291-298 - Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaïdi, Adel Bouhoula:
Anomalies Correlation for Risk-Aware Access Control Enhancement. 299-304 - Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech:
Towards Classification of Lightweight Formal Methods. 305-313 - Stefan Schönig, Richard Jasinski, Lars Ackermann, Stefan Jablonski:
Deep Learning Process Prediction with Discrete and Continuous Data Features. 314-319 - Maria Spichkova, Radhika Bhat:
FocusST Solution for Analysis of Cryptographic Properties. 320-327 - José Fabián Reyes Román, David Roldán Martínez, Alberto García S., Urko Rueda, Oscar Pastor:
VarSearch: Annotating Variations using an e-Genomics Framework. 328-334 - Steffen Heinzl, Vitaliy Schreibmann:
Function References as First Class Citizens in UML Class Modeling. 335-342 - Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki:
Goal-Satisfaction Verification to Combination of Use Case Components. 343-350 - Afrina Khatun, Kazi Sakib:
A Bug Assignment Approach Combining Expertise and Recency of Both Bug Fixing and Source Commits. 351-358 - Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto:
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. 359-366 - Fabian Ohler, Markus C. Beutel, Sevket Gökay, Christian Samsel, Karl-Heinz Krempels:
A Structured Approach to Support Collaborative Design, Specification and Documentation of Communication Protocols. 367-375 - Imed Eddine Saidi, Mahmoud El Hamlaoui, Taoufiq Dkaki, Nacer Eddine Zarour, Pierre-Jean Charrel:
Translation of Heterogeneous Requirements Meta-Models Through a Pivot Meta-Model. 376-382 - Khadija Aouzal, Hatim Hafiddi, Mohamed Dahchour:
Handling Tenant-Specific Non-Functional Requirements through a Generic SLA. 383-391 - Lerina Aversano, Maria Tortorella:
Assessing the Impact of Measurement Tools on Software Mantainability Evaluation. 392-397 - Joseph Alexander Brown, Vladimir Ivanov, Alan Rogers, Giancarlo Succi, Alexander Tormasov, Jooyong Yi:
Toward a Better Understanding of How to Develop Software Under Stress - Drafting the Lines for Future Research. 398-405 - Ella E. Roubtsova, Niels Wiersma:
A Practical Extension of Frameworks for Auditing with Process Mining. 406-415 - Isaac Souza Elgrably, Sandro Ronaldo Bezerra Oliveira:
Gamification and Evaluation of the Use the Agile Tests in Software Quality Subjects: The Application of Case Studies. 416-423 - Julio Cezar Costa Furtado, Sandro Ronaldo Bezerra Oliveira:
A Methodology to Teaching Statistical Process Control in Computer Courses. 424-431 - Olena V. Chebanyuk:
An Approach of Text to Model Transformation of Software Models. 432-439 - Asma Berriri, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache:
Towards Model based Testing for Software Defined Networks. 440-446 - Sofia Ouhbi:
Software Architecture Evaluation: A Systematic Mapping Study. 447-454 - Michael Mohan, Des Greer:
Automated Refactoring of Software using Version History and a Code Element Recentness Measure. 455-462
Special Session on Model-Driven Innovations for Software Engineering
- Erika Nazaruka, Janis Osis:
The Topological Functioning Model as a Reference Model for Software Functional and Non-functional Requirements. 467-477 - M. Jeroen Van Der Donckt, Danny Weyns, M. Usman Iftikhar, Ritesh Kumar Singh:
Cost-Benefit Analysis at Runtime for Self-adaptive Systems Applied to an Internet of Things Application. 478-490 - Vladislavs Nazaruks, Janis Osis:
Retrieving the Topology from the Knowledge Frame System for Composition of the Topological Functioning Model. 491-500 - Erika Nazaruka, Janis Osis:
Determination of Natural Language Processing Tasks and Tools for Topological Functioning Modelling. 501-512 - Vladislavs Nazaruks, Janis Osis:
Verification of Causality in the Frame System based on the Topological Functioning Modelling. 513-521 - Imane Essebaa, Salima Chantit:
Tool Support to Automate Transformations from SBVR to UML Use Case Diagram. 525-532
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 2025-03-01 15:19 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:
