Software Engineering

Authors and titles for March 2015

[1] arXiv:1503.00102 [pdf, other]

Title: CARP: Context-Aware Reliability Prediction of Black-Box Web Services

Jieming Zhu, Pinjia He, Qi Xie, Zibin Zheng, Michael R. Lyu

Comments: This paper has been published at International Conference on Web Services (ICWS'17)

Subjects: Software Engineering (cs.SE)

[2] arXiv:1503.00493 [pdf, other]

Title: Real-Time Model Checking Support for AADL

B Berthomieu (LAAS), J.-P Bodeveix (IRIT), S Dal Zilio (LAAS), M Filali (IRIT), D Le Botlan (LAAS), G Verdier (IRIT), F Vernadat (LAAS)

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[3] arXiv:1503.00711 [pdf, other]

Title: Smelling out Code Clones: Clone Detection Tool Evaluation and Corresponding Challenges

Rachel Gauci

Comments: 8 pages, 2 figures

Subjects: Software Engineering (cs.SE)

[4] arXiv:1503.02007 [pdf, other]

Title: Qualitative Analysis of Integration Adapter Modeling

Daniel Ritter, Manuel Holzleitner

Comments: 7 pages, Quantitative Analysis of Adapter Types and Tasks and Qualitative Modeling User Studies

Subjects: Software Engineering (cs.SE)

[5] arXiv:1503.02388 [pdf, other]

Title: Reproducibility in Research: Systems, Infrastructure, Culture

Tom Crick, Benjamin A. Hall, Samin Ishtiaq

Comments: Invited submission to Journal of Open Research Software; 12 pages, LaTeX

Subjects: Software Engineering (cs.SE); Computational Engineering, Finance, and Science (cs.CE); Computers and Society (cs.CY)

[6] arXiv:1503.02997 [pdf, other]

Title: Spreadsheets in an ERP environment: not what the doctor ordered

No'am Newman

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[7] arXiv:1503.03122 [pdf, other]

Title: Structured Spreadsheet Modeling and Implementation

Paul Mireault

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets

Subjects: Software Engineering (cs.SE)

[8] arXiv:1503.03195 [pdf, other]

Title: Reconciling a component and process view

Maria Spichkova, Heinz Schmidt

Comments: Preprint, 7th International Workshop on Modeling in Software Engineering (MiSE) at ICSE 2015

Subjects: Software Engineering (cs.SE)

[9] arXiv:1503.03202 [pdf, other]

Title: Proiectarea si implementarea unui portal HL7

Marius Cristian Cerlinca, Tudor Ioan Cerlinca, Cristina Elena Turcu, Remus Catalin Prodan, Felicia Florentina Giza-Belciug

Comments: 4 pages, in Romanian; Distributed Systems (2009) Suceava

Subjects: Software Engineering (cs.SE)

[10] arXiv:1503.03267 [pdf, other]

Title: Using Calculation Fragments for Spreadsheet Testing and Debugging

Dietmar Jannach, Thomas Schmitz

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[11] arXiv:1503.03378 [pdf, other]

Title: Browserbite: Cross-Browser Testing via Image Processing

Tõnis Saar, Marlon Dumas, Marti Kaljuve, Nataliia Semenenko

Comments: 28 pages, 16 figures

Subjects: Software Engineering (cs.SE)

[12] arXiv:1503.03401 [pdf, other]

Title: Toward Reverse Engineering of VBA Based Excel Spreadsheet Applications

Domenico Amalfitano, Nicola Amatucci, Vincenzo De Simone, Anna Rita Fasolino, Porfirio Tramontana

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[13] arXiv:1503.03463 [pdf, other]

Title: Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets

Pedro Maia, Jorge Mendes, Jácome Cunha, Henrique Rebêlo, João Saraiva

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[14] arXiv:1503.03511 [pdf, other]

Title: Cross platform app: a comparative study

Paulo R. M. de Andrade, Adriano B. Albuquerque, Otávio F. Frota, Robson V Silveira, Fátima A. da Silva

Comments: 8 pages, 3 figures, 2 tables in International Journal of Computer Science & Information Technology (IJCSIT) Vol 7, No 1, February 2015

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Social and Information Networks (cs.SI)

[15] arXiv:1503.03584 [pdf, other]

Title: Human Factors in Software Reliability Engineering

Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt

Comments: Preprint, Workshop on Applications of Human Error Research to Improve Software Engineering (WAHESE) at ICSE 2015

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[16] arXiv:1503.04055 [pdf, other]

Title: Enron versus EUSES: A Comparison of Two Spreadsheet Corpora

Bas Jansen

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets

Subjects: Software Engineering (cs.SE)

[17] arXiv:1503.04215 [pdf, other]

Title: Spreadsheets for Stream Partitions and Windows

Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[18] arXiv:1503.04378 [pdf, other]

Title: Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures

Bara Buhnova, Lucia Happe, Jan Kofroň

Journal-ref: EPTCS 178, 2015

Subjects: Software Engineering (cs.SE)

[19] arXiv:1503.04912 [pdf, other]

Title: Improving Runtime Overheads for detectEr

Ian Cassar (University of Malta), Adrian Francalanza (University of Malta), Simon Said (University of Malta)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 1-8

Subjects: Software Engineering (cs.SE)

[20] arXiv:1503.04915 [pdf, other]

Title: Using Model-Checking Techniques for Component-Based Systems with Reconfigurations

Jean-Michel Hufflen (FEMTO-ST & University of Franche-Comté)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 33-46

Subjects: Software Engineering (cs.SE); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

[21] arXiv:1503.04916 [pdf, other]

Title: A Model of Layered Architectures

Diego Marmsoler (Technische Universitaet Muenchen), Alexander Malkis (Technische Universitaet Muenchen), Jonas Eckhardt (Technische Universitaet Muenchen)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 47-61

Subjects: Software Engineering (cs.SE)

[22] arXiv:1503.04917 [pdf, other]

Title: A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems

Vasileios Koutsoumpas (TUM)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 62-76

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[23] arXiv:1503.04957 [pdf, other]

Title: Conformance Checking Based on Multi-Perspective Declarative Process Models

Andrea Burattin, Fabrizio Maria Maggi, Alessandro Sperduti

Subjects: Software Engineering (cs.SE); Databases (cs.DB); Logic in Computer Science (cs.LO)

[24] arXiv:1503.05171 [pdf, other]

Title: Modeling and Analyzing Release Trajectory based on the Process of Issue Tracking

Hani Abdeen, Houari Sahraoui

Comments: DIRO technical report, draft, undersubmission

Subjects: Software Engineering (cs.SE)

[25] arXiv:1503.05366 [pdf, other]

Title: Project portfolio selection: Multi-criteria analysis and interactions between projects

Khadija BENAIJA, Laila KJIRI

Journal-ref: K. Benaija, and L. Kjiri, Project portfolio selection: Multi-criteria analysis and interactions between projects. International Journal of Computer Science Issues, Vol. 11, Issue 6, 2014, pp. 134-143

Subjects: Software Engineering (cs.SE)