Abstract is missing.
- Engineering Software for Life in Cyber-Physical-Social SpacesBashar Nuseibeh. 5
- Empirical Approach to Learning from Data (Streams)Plamen Angelov. 7-8
- Software Defined CitiesSalvatore Distefano. 9
- An Action Research Study towards the Use of Cloud Computing Scenarios in Undergraduate Computer Science CoursesHeleno Cardoso da Silva Filho, Glauco de Figueiredo Carneiro. 15-25 [doi]
- Problem-based Elicitation of Security Requirements - The ProCOR MethodRoman Wirtz, Maritta Heisel, Rene Meis, Aida Omerovic, Ketil Stølen. 26-38 [doi]
- Incremental Bidirectional Transformations: Applying QVT Relations to the Families to Persons BenchmarkBernhard Westfechtel. 39-53 [doi]
- Adopting Collaborative Games into Agile Requirements EngineeringAdam Przybylek, Mateusz Zakrzewski. 54-64 [doi]
- A Framework to Support Behavioral Design Pattern Detection from Software Execution DataCong Liu, Boudewijn F. van Dongen, Nour Assy, Wil M. P. van der Aalst. 65-76 [doi]
- Optimized Realization of Software Components with Flexible OpenCL FunctionalityGabriel Campeanu, Jan Carlson, Séverine Sentilles. 77-88 [doi]
- A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time SystemsWafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey. 89-98 [doi]
- Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core PlatformsAymen Gammoudi 0002, Daniel Chillet, Mohamed Khalgui, Adel Benzina. 99-110 [doi]
- Refactoring Object-Oriented Applications for a Deployment in the Cloud - Workflow Generation based on Static Analysis of Source CodeAnfel Selmadji, Abdelhak-Djamel Seriai, Hinde-Lilia Bouziane, Christophe Dony, Chouki Tibermacine. 111-123 [doi]
- Using COSMIC FSM Method to Analyze the Impact of Functional Changes in Business Process ModelsWiem Khlif, Asma Sellami, Mariem Haoues, Hanêne Ben-Abdallah. 124-136 [doi]
- A Hybrid Approach To Detect Code Smells using Deep LearningMouna Hadj-Kacem, Nadia Bouassida. 137-146 [doi]
- Exploring Crowdsourced Reverse EngineeringSebastian Heil, Felix Förster, Martin Gaedke. 147-158 [doi]
- Cultural Influences on Requirements Engineering Process in the Context of Saudi ArabiaTawfeeq Alsanoosy, Maria Spichkova, James Harland. 159-168 [doi]
- Verification of Feature Coordination using the Fluent CalculusRalph Hoch, Hermann Kaindl. 169-179 [doi]
- A MDE Approach for Heterogeneous Models ConsistencyMahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette. 180-191 [doi]
- Iterative Process for Generating ER Diagram from Unrestricted RequirementsMuhammad Javed, Yuqing Lin. 192-204 [doi]
- Software Evolution for Digital TransformationAlfred Zimmermann, Rainer Schmidt, Justus Bogner, Dierk Jugel, Michael Möhring. 205-212 [doi]
- An Approach to Prioritize Classes in a Multi-objective Software Maintenance FrameworkMichael Mohan, Des Greer. 215-222 [doi]
- Tool-assisted Game Scenario Representation Through Flow ChartsMaria Eleni Paschali, Nikolaos Bafatakis, Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Ioannis Stamelos. 223-232 [doi]
- Model-Aware Software Engineering - A Knowledge-based Approach to Model-Driven Software EngineeringRobert Andrei Buchmann, Mihai Cinpoeru, Alisa Harkai, Dimitris Karagiannis. 233-240 [doi]
- Quality Requirements Analysis with Machine LearningTetsuo Tamai, Taichi Anzai. 241-248 [doi]
- Comprehensive View on Architectural Requirements for Maintenance Information SystemsAndreas Reidt, Stefan Schuhbäck, Helmut Krcmar. 249-257 [doi]
- Designing BP-IS Aligned Models: An MDA-based Transformation MethodologyWiem Khlif, Nourchène Elleuch, Enaam Alotabi, Hanêne Ben-Abdallah. 258-266 [doi]
- Design and Implementation of a Geis for the Genomic Diagnosis using the SILE Methodology. Case Study: Congenital CataractManuel Navarrete-Hidalgo, José Fabián Reyes Román, Oscar Pastor López. 267-274 [doi]
- Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence DiagramsFatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes. 275-282 [doi]
- A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement PlansSarah A. Dahab, Juan Jose Hernandez Porras, Stephane Maag. 283-290 [doi]
- Requirements Engineering Tools for Global Software Engineering - A Feature Analysis StudySomnoup Yos, Caslon Chua. 291-298 [doi]
- Anomalies Correlation for Risk-Aware Access Control EnhancementPierrette Annie Evina, Faten Labbene-Ayachi, Faouzi Jaïdi, Adel Bouhoula. 299-304 [doi]
- Towards Classification of Lightweight Formal MethodsAnna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech. 305-313 [doi]
- Deep Learning Process Prediction with Discrete and Continuous Data FeaturesStefan Schönig, Richard Jasinski, Lars Ackermann, Stefan Jablonski. 314-319 [doi]
- FocusST Solution for Analysis of Cryptographic PropertiesMaria Spichkova, Radhika Bhat. 320-327 [doi]
- VarSearch: Annotating Variations using an e-Genomics FrameworkJosé Fabián Reyes Román, David Roldán Martínez, Alberto García S., Urko Rueda, Oscar Pastor. 328-334 [doi]
- Function References as First Class Citizens in UML Class ModelingSteffen Heinzl, Vitaliy Schreibmann. 335-342 [doi]
- Goal-Satisfaction Verification to Combination of Use Case ComponentsSaeko Matsuura, Shinpei Ogata, Yoshitaka Aoki. 343-350 [doi]
- A Bug Assignment Approach Combining Expertise and Recency of Both Bug Fixing and Source CommitsAfrina Khatun, Kazi Sakib. 351-358 [doi]
- K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K FrameworkMd. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto. 359-366 [doi]
- A Structured Approach to Support Collaborative Design, Specification and Documentation of Communication ProtocolsFabian Ohler, Markus C. Beutel, Sevket Gökay, Christian Samsel, Karl-Heinz Krempels. 367-375 [doi]
- Translation of Heterogeneous Requirements Meta-Models Through a Pivot Meta-ModelImed Eddine Saidi, Mahmoud El Hamlaoui, Taoufiq Dkaki, Nacer Eddine Zarour, Pierre-Jean Charrel. 376-382 [doi]
- Handling Tenant-Specific Non-Functional Requirements through a Generic SLAKhadija Aouzal, Hatim Hafiddi, Mohamed Dahchour. 383-391 [doi]
- Assessing the Impact of Measurement Tools on Software Mantainability EvaluationLerina Aversano, Maria Tortorella. 392-397 [doi]
- Toward a Better Understanding of How to Develop Software Under Stress - Drafting the Lines for Future ResearchJoseph Alexander Brown, Vladimir Ivanov, Alan Rogers, Giancarlo Succi, Alexander Tormasov, Jooyong Yi. 398-405 [doi]
- A Practical Extension of Frameworks for Auditing with Process MiningElla E. Roubtsova, Niels Wiersma. 406-415 [doi]
- Gamification and Evaluation of the Use the Agile Tests in Software Quality Subjects: The Application of Case StudiesIsaac Souza Elgrably, Sandro Ronaldo Bezerra Oliveira. 416-423 [doi]
- A Methodology to Teaching Statistical Process Control in Computer CoursesJulio Cezar Costa Furtado, Sandro Ronaldo Bezerra Oliveira. 424-431 [doi]
- An Approach of Text to Model Transformation of Software ModelsOlena V. Chebanyuk. 432-439 [doi]
- Towards Model based Testing for Software Defined NetworksAsma Berriri, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. 440-446 [doi]
- Software Architecture Evaluation: A Systematic Mapping StudySofia Ouhbi. 447-454 [doi]
- Automated Refactoring of Software using Version History and a Code Element Recentness MeasureMichael Mohan, Des Greer. 455-462 [doi]
- The Topological Functioning Model as a Reference Model for Software Functional and Non-functional RequirementsErika Nazaruka, Janis Osis. 467-477 [doi]
- Cost-Benefit Analysis at Runtime for Self-adaptive Systems Applied to an Internet of Things ApplicationM. Jeroen Van Der Donckt, Danny Weyns, M. Usman Iftikhar, Ritesh Kumar Singh. 478-490 [doi]
- Retrieving the Topology from the Knowledge Frame System for Composition of the Topological Functioning ModelVladislavs Nazaruks, Janis Osis. 491-500 [doi]
- Determination of Natural Language Processing Tasks and Tools for Topological Functioning ModellingErika Nazaruka, Janis Osis. 501-512 [doi]
- Verification of Causality in the Frame System based on the Topological Functioning ModellingVladislavs Nazaruks, Janis Osis. 513-521 [doi]
- Tool Support to Automate Transformations from SBVR to UML Use Case DiagramImane Essebaa, Salima Chantit. 525-532 [doi]