Software Engineering

Authors and titles for November 2014

[1] arXiv:1411.0481 [pdf, other]

Title: Synthesis from Formal Partial Abstractions

Hamid Bagheri

Comments: Hamid Bagheri, "Synthesis from Formal Partial Abstractions," PhD thesis, University of Virginia, 2013

Subjects: Software Engineering (cs.SE)

[2] arXiv:1411.1154 [pdf, other]

Title: A Survey on Software Testing Techniques using Genetic Algorithm

Chayanika Sharma, Sangeeta Sabharwal, Ritu Sibal

Comments: 13 Pages

Subjects: Software Engineering (cs.SE)

[3] arXiv:1411.1307 [pdf, other]

Title: An Open Distributed Architecture for Flexible Hybrid Assembly Systems: A Model Driven Engineering Approach

Kleanthis Thramboulidis

Comments: 9 pages, 10 figures

Subjects: Software Engineering (cs.SE)

[4] arXiv:1411.1920 [pdf, other]

Title: A Guide To Deal With Uncertainties In Software Project Management

M. L. M. Marinho, S.C.B. Sampaio, T. L. A. Lima, H. P. Moura

Comments: International Journal of Computer Science & Information Technology Vol 6 No 5 October 2014 20 pages

Subjects: Software Engineering (cs.SE)

[5] arXiv:1411.1922 [pdf, other]

Title: State of the Art of Agile Governance: A Systematic Review

Alexandre J. H. de O. Luna, Philippe Kruchten, Marcello L. G. do E. Pedrosa, Humberto R. de Almeida Neto, Hermano P. de Moura

Comments: International Journal of Computer Science & Information Technology (IJCSIT) Vol 6, No 5, October 2014 20 pages, 8 Figures, 7 Tables

Subjects: Software Engineering (cs.SE)

[6] arXiv:1411.1945 [pdf, other]

Title: Systematic Review on Project Actuality

S.C.B. Sampaio, M. L. M. Marinho, H. P. Moura

Comments: 13 pages in International Journal of Computer Science & Information Technology Vol 6 No 5 October 2014

Subjects: Software Engineering (cs.SE)

[7] arXiv:1411.2392 [pdf, other]

Title: JCloudScale: Closing the Gap Between IaaS and PaaS

Rostyslav Zabolotnyi, Philipp Leitner, Waldemar Hummer, Schahram Dustdar

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

[8] arXiv:1411.2408 [pdf, other]

Title: Automata Describing Object Behavior

Bernhard Rumpe, Cornel Klein

Comments: 22 pages, 5 figures

Journal-ref: Specification of Behavioral Semantics in Object-Oriented Information Modeling. Haim Kilov W. Harvey (ed.). p. 265-286. Kluwer Academic Publishers. 1996

Subjects: Software Engineering (cs.SE)

[9] arXiv:1411.2410 [pdf, other]

Title: Software and System Modeling Based on a Unified Formal Semantics

Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies

Comments: 26 pages, 4 figures; Requirements Targeting Software and Systems Engineering. International Workshop RTSE'97. Manfred Broy, Bernhard Rumpe (Eds.). Bernried, Germany, October 1997. LNCS 1526, Springer Verlag

Subjects: Software Engineering (cs.SE)

[10] arXiv:1411.2414 [pdf, other]

Title: Refinement of Pipe-and-Filter Architectures

Jan Philipps, Bernhard Rumpe

Comments: 20 pages, 4 figures; FM'99 - Formal Methods, Proceedings of the World Congress on Formal Methods in the Development of Computing System. LNCS 1708, pages 96-115 J. M. Wing, J. Woodcock, J. Davies (eds.) Springer, 1999

Subjects: Software Engineering (cs.SE)

[11] arXiv:1411.2553 [pdf, other]

Title: Measuring the impact of input data on energy consumption of software

Jeremy Morse

Subjects: Software Engineering (cs.SE)

[12] arXiv:1411.3464 [pdf, other]

Title: Second Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2): Submission, Peer-Review and Sorting Process, and Results

Daniel S. Katz, Gabrielle Allen, Neil Chue Hong, Karen Cranston, Manish Parashar, David Proctor, Matthew Turk, Colin C. Venters, Nancy Wilkins-Diehr

Subjects: Software Engineering (cs.SE)

[13] arXiv:1411.3793 [pdf, other]

Title: A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

Masaya Suzuki (Department of Computer Science, Tokyo Institute of Technology), Takuo Watanabe (Department of Computer Science, Tokyo Institute of Technology)

Comments: In Proceedings MOD* 2014, arXiv:1411.3453

Journal-ref: EPTCS 168, 2014, pp. 45-58

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

[14] arXiv:1411.3818 [pdf, other]

Title: Automated user documentation generation based on the Eclipse application model

Marco Descher, Thomas Feilhauer, Lucia Amann

Comments: 9 pages, 9 figures

Subjects: Software Engineering (cs.SE)

[15] arXiv:1411.3969 [pdf, other]

Title: Formal Semantic Annotations for Models Interoperability in a PLM environment

Y. Liao (PPGEPS), M. Lezoche (CRAN), H. Panetto (CRAN), N. Boudjlida (INRIA Nancy - Grand Est / LORIA), Eduardo Rocha Loures (ISE)

Journal-ref: Proceedings of the 19th IFAC World Congress, 2014, Aug 2014, Cape Town International Convention Centre, Cape Town, South Africa, South Africa. International Federation of Automatic Control, World Congress, Volume # 19 | Part# 1, 19 (1), pp.2382-2393, World Congress. http://www.ifac2014.org/

Subjects: Software Engineering (cs.SE); Databases (cs.DB)

[16] arXiv:1411.4228 [pdf, other]

Title: Towards Cross-Project Defect Prediction with Imbalanced Feature Sets

Peng He, Bing Li, Yutao Ma

Comments: 10 pages, 8 figures, 7 tables

Subjects: Software Engineering (cs.SE)

[17] arXiv:1411.4327 [pdf, other]

Title: Automatic Synthesis of Test Cases to Identify Software Redundancy

Matteo Brunetto

Subjects: Software Engineering (cs.SE)

[18] arXiv:1411.4495 [pdf, other]

Title: An Institution for Simple UML State Machines

Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer

Comments: 24 pages. arXiv admin note: substantial text overlap with arXiv:1403.7747

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

[19] arXiv:1411.5153 [pdf, other]

Title: A Rewriting Logic Approach for Automatic Composition of Web Services

Walid Berrouk, Ouanes Aissaoui

Comments: 9 pages, 10 figures

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 11, Issue 5, No 1, pp.41-49, September 2014

Subjects: Software Engineering (cs.SE)

[20] arXiv:1411.5161 [pdf, other]

Title: Developing a SAAS-Cloud Integrated Development Environment (IDE) for C, C++, and Java

A.B. Mutiara, R. Refianti, B.A. Witono

Comments: 9 pages. arXiv admin note: text overlap with arXiv:1410.1159, arXiv:1304.4047 by other authors

Journal-ref: Journal of Theoretical and Applied Information Technology, Vol. 68 No.1, 2014

Subjects: Software Engineering (cs.SE)

[21] arXiv:1411.6118 [pdf, other]

Title: Code Drones

Mithun P. Acharya, Chris Parnin, Nicholas A. Kraft, Aldo Dagnino, Xiao Qu

Subjects: Software Engineering (cs.SE)

[22] arXiv:1411.6197 [pdf, other]

Title: Identifying Talented Software Engineering Students through Data-driven Skill Assessment

Jun Lin, Han Yu, Zhiqi Shen

Subjects: Software Engineering (cs.SE)

[23] arXiv:1411.6201 [pdf, other]

Title: An Empirical Analysis of Task Allocation in Scrum-based Agile Programming

Jun Lin, Han Yu, Zhiqi Shen

Subjects: Software Engineering (cs.SE)

[24] arXiv:1411.6762 [pdf, other]

Title: A Tool to Automate the Sizing of Application Process for SOA based Platform

Debajyoti Mukhopadhyay, Juhi Jariwala, Payal Innani, Sheetal Bablani, Sushama Kothawale

Comments: 6 pages, 8 figures

Subjects: Software Engineering (cs.SE)

[25] arXiv:1411.7474 [pdf, other]

Title: A Comparative Study of Various Distance Measures for Software fault prediction

Deepinder Kaur

Comments: 4 pages,2 figures,"Published with International Journal of Computer Trends and Technology (IJCTT)"

Journal-ref: International Journal of Computer Trends and Technology (IJCTT), 17(3): 117-120, Nov 2014

Subjects: Software Engineering (cs.SE)

[26] arXiv:1411.1102 (cross-list from cs.RO) [pdf, other]

Title: Enhancing software module reusability using port plug-ins: an experiment with the iCub robot

Ali Paikan, Vadim Tikhanoff, Giorgio Metta, Lorenzo Natale

Comments: Published on the Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2014)

Journal-ref: IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Subjects: Robotics (cs.RO); Software Engineering (cs.SE)

[27] arXiv:1411.1907 (cross-list from cs.RO) [pdf, other]

Title: Reverse Engineering of Middleware for Verification of Robot Control Architectures

Ali Khalili, Lorenzo Natale, Armando Tacchella

Comments: 14 pages, 4 figures. The final version of the article is published in Proc. of "Simulation, Modeling, and Programming for Autonomous Robots", SIMPAR 2014 (published by Springer)

Subjects: Robotics (cs.RO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[28] arXiv:1411.2047 (cross-list from cs.PF) [pdf, other]

Title: Investigation of the relationship between code change set n-grams and change in energy consumption

Stephen Romansky

Comments: 17 pages, 7 figures

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

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

Title: Agile governance in Information and Communication Technologies: shifting paradigms

Alexandre J. H. de O. Luna, Cleyverson P. Costa, Hermano P. de Moura, Magdala A. Novaes, Cesar A. D. C. do Nascimento

Comments: Journal of Information Systems and Technology Management (JISTEM), Vol 7, No 2, August 2010

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

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

Title: Monotonic Abstraction Techniques: from Parametric to Software Model Checking

Francesco Alberti (University of Lugano, Lugano, Switzerland), Silvio Ghilardi (Universià degli Studi di Milano, Milano, Italy), Natasha Sharygina (University of Lugano, Lugano, Switzerland)

Comments: In Proceedings MOD* 2014, arXiv:1411.3453

Journal-ref: EPTCS 168, 2014, pp. 1-11

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

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

Title: An Approach to Model Checking of Multi-agent Data Analysis

Natalia Garanina (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia), Eugene Bodin (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia), Elena Sidorova (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia)

Comments: In Proceedings MOD* 2014, arXiv:1411.3453

Journal-ref: EPTCS 168, 2014, pp. 32-44

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