Software Engineering

Authors and titles for August 2015

[1] arXiv:1508.00028 [pdf, other]

Title: Calibrating Function Points Using Neuro-Fuzzy Technique

Wei Xia, Danny Ho, Luiz Fernando Capretz

Comments: 21st International Forum on Systems, Software and COCOMO Cost Modeling, Washington/DC, 6 pages, 2006. arXiv admin note: substantial text overlap with arXiv:1507.06934

Subjects: Software Engineering (cs.SE)

[2] arXiv:1508.00032 [pdf, other]

Title: A Neuro-Fuzzy Model with SEER-SEM for Software Effort Estimation

Wei Lin Du, Danny Ho, Luiz Fernando Capretz

Comments: 25th International Forum on COCOMO and Systems/Software Cost Modeling, Los Angeles, CA, 7 pages, 2010. arXiv admin note: substantial text overlap with arXiv:1507.06917

Subjects: Software Engineering (cs.SE)

[3] arXiv:1508.00034 [pdf, other]

Title: An Intelligent Approach to Software Cost Prediction

Xishi Huang, Luiz Fernando Capretz, Danny Ho, Jing Ren

Comments: 18th International Forum on COCOMO and Software Cost Modeling, Los Angeles, USA, 10 pages, 2003

Subjects: Software Engineering (cs.SE)

[4] arXiv:1508.00037 [pdf, other]

Title: Neuro-Fuzzy Algorithmic (NFA) Models and Tools for Estimation

Danny Ho, Luiz Fernando Capretz, Xishi Huang, Jing Ren

Comments: 20th International Forum on COCOMO and Software Cost Modeling, Los Angeles, USA, 5 pages, 2005

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[5] arXiv:1508.00618 [pdf, other]

Title: ViSpec: A graphical tool for elicitation of MTL requirements

Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos

Comments: Technical report for the paper to be published in the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems held in Hamburg, Germany. Includes 10 pages and 19 figures

Subjects: Software Engineering (cs.SE)

[6] arXiv:1508.00628 [pdf, other]

Title: How Scale Affects Structure in Java Programs

Cristina V. Lopes, Joel Ossher

Comments: ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2015. (Preprint)

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[7] arXiv:1508.00671 [pdf, other]

Title: Adaptive Automation: Leveraging Machine Learning to Support Uninterrupted Automated Testing of Software Applications

Rajesh Mathur, Scott Miles, Miao Du

Subjects: Software Engineering (cs.SE)

[8] arXiv:1508.01330 [pdf, other]

Title: Design Patterns for Self Adaptive Systems Engineering

Yousef Abuseta, Khaled Swesi

Comments: 18 pages, 11 figures

Journal-ref: International Journal of Software Engineering & Applications (IJSEA), Vol.6, No.4, July 2015

Subjects: Software Engineering (cs.SE)

[9] arXiv:1508.01623 [pdf, other]

Title: Requirements Engineering Aspects of a Geographically Distributed Architecture

Maria Spichkova, Heinz Schmidt

Comments: Preprint. Accepted to the 10th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2015)

Subjects: Software Engineering (cs.SE)

[10] arXiv:1508.01691 [pdf, other]

Title: Your Proof Fails? Testing Helps to Find the Reason

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Comments: 11 pages, 10 figures

Subjects: Software Engineering (cs.SE)

[11] arXiv:1508.01872 [pdf, other]

Title: Alleviating Merge Conflicts with Fine-grained Visual Awareness

Stanislav Levin, Amiram Yehudai

Subjects: Software Engineering (cs.SE)

[12] arXiv:1508.01954 [pdf, other]

Title: Ordering Interrogative Questions for Effective Requirements Engineering: The W6H Pattern

Mujahid Sultan, Andriy Miranskyy

Journal-ref: In Proceedings of the 2015 IEEE Fifth International Workshop on Requirements Patterns (RePa) (REPA '15). IEEE Computer Society, Washington, DC, USA, 1-8

Subjects: Software Engineering (cs.SE)

[13] arXiv:1508.02031 [pdf, other]

Title: What Is Software Engineering?

Fedor Dzerzhinskiy, Leonid D. Raykov

Comments: 14 pages, In English

Journal-ref: Programmirovanie (Programming and Computer Software), 1990, No. 2, pp. 67-79 (In Russian)

Subjects: Software Engineering (cs.SE)

[14] arXiv:1508.02153 [pdf, other]

Title: A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications

John Abou-Jaoudeh, Kinan Dak-Al-Bab, Mostafa El-Katerji, Yliès Falcone, Mohamad Jaber

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[15] arXiv:1508.02767 [pdf, other]

Title: Intrinsic Properties of Complete Test Suites

Adilson Luiz Bonifacio, Arnaldo Vieira Moura

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

[16] arXiv:1508.03893 [pdf, other]

Title: Towards Enabling Overture as a Platform for Formal Notation IDEs

Luís Diogo Couto (Aarhus University), Peter Gorm Larsen (Aarhus University), Miran Hasanagić (Aarhus University), Georgios Kanakis (Aarhus University), Kenneth Lausdahl (Aarhus University), Peter W. V. Tran-Jørgensen (Aarhus University)

Comments: In Proceedings F-IDE 2015, arXiv:1508.03388

Journal-ref: EPTCS 187, 2015, pp. 14-27

Subjects: Software Engineering (cs.SE)

[17] arXiv:1508.03894 [pdf, other]

Title: An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project

Frank Dordowsky (ESG Elektroniksystem- und Logistik GmbH)

Comments: In Proceedings F-IDE 2015, arXiv:1508.03388

Journal-ref: EPTCS 187, 2015, pp. 28-41

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

[18] arXiv:1508.03895 [pdf, other]

Title: The AutoProof Verifier: Usability by Non-Experts and on Standard Code

Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen

Comments: In Proceedings F-IDE 2015, arXiv:1508.03388

Journal-ref: EPTCS 187, 2015, pp. 42-55

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO)

[19] arXiv:1508.03896 [pdf, other]

Title: Formal Reasoning Using an Iterative Approach with an Integrated Web IDE

Nabil M. Kabbani (Clemson University), Daniel Welch (Clemson University), Caleb Priester (Clemson University), Stephen Schaub (Clemson University), Blair Durkee (Clemson University), Yu-Shan Sun (Clemson University), Murali Sitaraman (Clemson University)

Comments: In Proceedings F-IDE 2015, arXiv:1508.03388

Journal-ref: EPTCS 187, 2015, pp. 56-71

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

[20] arXiv:1508.03897 [pdf, other]

Title: A Holistic Approach in Embedded System Development

Bojan Nokovic (McMaster University), Emil Sekerinski (McMaster University)

Comments: In Proceedings F-IDE 2015, arXiv:1508.03388

Journal-ref: EPTCS 187, 2015, pp. 72-85

Subjects: Software Engineering (cs.SE)

[21] arXiv:1508.03898 [pdf, other]

Title: Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example

Julien Signoles (CEA LIST, Software Security Lab)

Comments: In Proceedings F-IDE 2015, arXiv:1508.03388

Journal-ref: EPTCS 187, 2015, pp. 86-96

Subjects: Software Engineering (cs.SE)

[22] arXiv:1508.03903 [pdf, other]

Title: On Properties of Policy-Based Specifications

Andrea Margheri (Università degli Studi di Firenze, Università di Pisa), Rosario Pugliese (Università degli Studi di Firenze), Francesco Tiezzi (Università di Camerino)

Comments: In Proceedings WWV 2015, arXiv:1508.03389

Journal-ref: EPTCS 188, 2015, pp. 33-50

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

[23] arXiv:1508.03905 [pdf, other]

Title: Semantics-based Automated Web Testing

Hai-Feng Guo (University of Nebraska at Omaha), Qing Ouyang (University of Nebraska at Omaha), Harvey Siy (University of Nebraska at Omaha)

Comments: In Proceedings WWV 2015, arXiv:1508.03389

Journal-ref: EPTCS 188, 2015, pp. 59-74

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[24] arXiv:1508.03906 [pdf, other]

Title: Using a Machine Learning Approach to Implement and Evaluate Product Line Features

Davide Bacciu (Dipartimento di Informatica, Università di Pisa), Stefania Gnesi (Istituto di Scienza e Tecnologie dell'Informazione, CNR), Laura Semini (Dipartimento di Informatica, Università di Pisa)

Comments: In Proceedings WWV 2015, arXiv:1508.03389

Journal-ref: EPTCS 188, 2015, pp. 75-83

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[25] arXiv:1508.04044 [pdf, other]

Title: Supporting Developers in Porting Software via Combined Textual and Structural Analysis of Software Artifacts

Kostadin Damevski, David Shepherd, Nicholas Kraft, Lori Pollock

Subjects: Software Engineering (cs.SE)

[26] arXiv:1508.04465 [pdf, other]

Title: On Designing and Testing Distributed Virtual Environments

Arthur Valadares, Eugenia Gabrielova, Cristina V. Lopes

Comments: Wiley Journal on Concurrency and Computation: Practice and Experience, to appear (preprint)

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF)

[27] arXiv:1508.04752 [pdf, other]

Title: Performance-oriented DevOps: A Research Agenda

Andreas Brunnert, Andre van Hoorn, Felix Willnecker, Alexandru Danciu, Wilhelm Hasselbring, Christoph Heger, Nikolas Herbst, Pooyan Jamshidi, Reiner Jung, Joakim von Kistowski, Anne Koziolek, Johannes Kroß, Simon Spinner, Christian Vögele, Jürgen Walter, Alexander Wert

Subjects: Software Engineering (cs.SE); Performance (cs.PF)

[28] arXiv:1508.05537 [pdf, other]

Title: A framework for adaptive real-time applications: the declarative real-time OSGi component model

Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia

Comments: Published in Proc. of the 7th workshop on Reflective and adaptive middleware (ARM-08). Authors' version

Subjects: Software Engineering (cs.SE)

[29] arXiv:1508.06119 [pdf, other]

Title: The Open Service Compendium. Business-pertinent Cloud Service Discovery, Assessment, and Selection

Mathias Slawik, Begüm İlke Zilci, Fabian Knaack, Axel Küpper

Comments: 14 pages, to be presented at GECON 2015

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC)

[30] arXiv:1508.06191 [pdf, other]

Title: A Neuro-Fuzzy Method to Improving Backfiring Conversion Ratios

Justin Wong, Danny Ho, Luiz Fernando Capretz

Comments: International Conference on Soft Computing, Intelligent System and Information Technology, Bali, Indonesia, pp. 12-17, 2007

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[31] arXiv:1508.06193 [pdf, other]

Title: F2- Rules for Qualification of Developing and Managing Software Product Line

Faheem Ahmed, Luiz Fernando Capretz

Comments: International Conference on Software Engineering Research and Practice, Las Vegas, pp. 827-833, 2004

Subjects: Software Engineering (cs.SE)

[32] arXiv:1508.06195 [pdf, other]

Title: Usability as a Dominant Quality Attribute

Arif Raza, Luiz Fernando Capretz

Comments: International Conference on Software Engineering Research and Practice, Las Vegas, pp. 571-575, 2009

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

[33] arXiv:1508.06208 [pdf, other]

Title: CBSE CASE Environment

Luiz Fernando Capretz

Comments: 4th International Multi-Conference on Information Society, Ljubljana, Slovenia, pp. 379-382, 2001

Subjects: Software Engineering (cs.SE)

[34] arXiv:1508.06270 [pdf, other]

Title: Extending UML-RT for Control System Modeling

Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz

Comments: arXiv admin note: substantial text overlap with arXiv:1508.06203

Journal-ref: American Journal of Applied Sciences, 1(4): 338-347, Science Publications,2004

Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)

[35] arXiv:1508.06435 [pdf, other]

Title: A solution for applying IEC 61499 function blocks in the development of substation automation systems

Valentin Vlad, Cezar D. Popa, Corneliu O. Turcu, Corneliu Buzduga

Comments: International Journal of Computers and Communications, Volume 9, 2015 this http URL

Subjects: Software Engineering (cs.SE)

[36] arXiv:1508.06479 [pdf, other]

Title: Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B

Yongwang Zhao, Zhibin Yang, David Sanan, Yang Liu

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[37] arXiv:1508.06613 [pdf, other]

Title: Efficient Large-scale Trace Checking Using MapReduce

Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro

Comments: 13 pages, 8 figures

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

[38] arXiv:1508.06805 [pdf, other]

Title: Allowing Software Developers to Debug HLS Hardware

Jeffrey Goeders, Steven J. E. Wilton

Comments: Presented at Second International Workshop on FPGAs for Software Programmers (FSP 2015) (arXiv:1508.06320)

Subjects: Software Engineering (cs.SE); Hardware Architecture (cs.AR)

[39] arXiv:1508.07066 [pdf, other]

Title: A survey on formal specification and verification of separation kernels

Yongwang Zhao

Subjects: Software Engineering (cs.SE)

[40] arXiv:1508.07275 [pdf, other]

Title: A Comparison Between Decision Trees and Decision Tree Forest Models for Software Development Effort Estimation

Ali Bou Nassif, Mohammad Azzeh, Luiz Fernando Capretz, Danny Ho

Comments: 3rd International Conference on Communications and Information Technology (ICCIT), Beirut, Lebanon, pp. 220-224, 2013

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[41] arXiv:1508.07283 [pdf, other]

Title: What Soft Skills Software Architect Should Have? A Reflection from Software Industry

Faheem Ahmed, Piers Campbell, Azam Beg, Luiz Fernando Capretz

Comments: International Conference on Computer Communication and Management (ICCCM), Sydney, Australia pp. 565-569, 2011

Subjects: Software Engineering (cs.SE)

[42] arXiv:1508.07977 [pdf, other]

Title: OpenCL 2.0 for FPGAs using OCLAcc

Franz Richter-Gottfried, Alexander Ditter, Dietmar Fey

Comments: Presented at Second International Workshop on FPGAs for Software Programmers (FSP 2015) (arXiv:1508.06320)

Subjects: Software Engineering (cs.SE)

[43] arXiv:1508.01288 (cross-list from cs.LO) [pdf, other]

Title: Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays

Anvesh Komuravelli, Nikolaj Bjorner, Arie Gurfinkel, Kenneth L. McMillan

Comments: 8 pages, FMCAD 2015

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

[44] arXiv:1508.01412 (cross-list from cs.DC) [pdf, other]

Title: Enhanced Usability of Managing Workflows in an Industrial Data Gateway

Gary A. McGilvary, Malcolm Atkinson, Sandra Gesing, Alvaro Aguilera, Richard Grunzke, Eva Sciacca

Comments: Proceedings of the 1st International Workshop on Interoperable Infrastructures for Interdisciplinary Big Data Sciences, 2015

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[45] arXiv:1508.02674 (cross-list from cs.MA) [pdf, other]

Title: Space-Time Diagram Generation for Profiling Multi Agent Systems

Dinh Doan Van Bien, David Lillis, Rem W. Collier

Journal-ref: In L. Braubach, J.-P. Briot, and J. Thangarajah, editors, Programming Multi-Agent Systems, volume 5919 of Lecture Notes in Computer Science, pages 170--184. Springer Berlin Heidelberg, Budapest, Hungary, May 2009

Subjects: Multiagent Systems (cs.MA); Software Engineering (cs.SE)

[46] arXiv:1508.02677 (cross-list from cs.MA) [pdf, other]

Title: Call Graph Profiling for Multi Agent Systems

Dinh Doan Van Bien, David Lillis, Rem W. Collier

Journal-ref: In Languages, Methodologies, and Development Tools for Multi-Agent Systems - 2nd International Workshop, LADS 2009, Revised Selected Papers, Lecture Notes in Computer Science vol. 6039, pp. 153--167. Springer Berlin Heidelberg, 2010

Subjects: Multiagent Systems (cs.MA); Software Engineering (cs.SE)

[47] arXiv:1508.02812 (cross-list from cs.GT) [pdf, other]

Title: A Game of Attribute Decomposition for Software Architecture Design

Jiamou Liu, Ziheng Wei

Comments: 23 pages, 5 figures, a shorter version to appear at 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)

Subjects: Computer Science and Game Theory (cs.GT); Software Engineering (cs.SE)

[48] arXiv:1508.03032 (cross-list from cs.AI) [pdf, other]

Title: OOASP: Connecting Object-oriented and Logic Programming

Andreas Falkner, Anna Ryabokon, Gottfried Schenner, Kostyantyn Shchekotykhin

Comments: 13 pages, 4 figures, accepted for publication at LPNMR 2015

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[49] arXiv:1508.03348 (cross-list from cs.CY) [pdf, other]

Title: Looking at Software Sustainability and Productivity Challenges from NSF

Daniel S. Katz, Rajiv Ramnath

Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)

[50] arXiv:1508.03389 (cross-list from cs.LO) [pdf, other]

Title: Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems

Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), Alberto Lluch Lafuente (DTU, Denmark)

Journal-ref: EPTCS 188, 2015

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