Software Engineering

Authors and titles for June 2013

[1] arXiv:1306.0555 [pdf, other]

Title: Details of an Automotive Sub-System: Saab Instrument Cluster Module

Ramin Etemaadi, Kenneth Lind, Rogardt Heldal, Michel R. V. Chaudron

Comments: This paper has been withdrawn by the author due to an IP issue

Subjects: Software Engineering (cs.SE)

[2] arXiv:1306.0760 [pdf, other]

Title: Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench

Jean-Marc Jézéquel (INRIA - IRISA), Benoit Combemale (INRIA - IRISA), Olivier Barais (INRIA - IRISA), Martin Monperrus (INRIA Lille - Nord Europe), François Fouquet (INRIA - IRISA)

Comments: Published in Software and Systems Modeling (2013)

Journal-ref: Software and Systems Modeling, Springer Verlag, volume 14, 2015

Subjects: Software Engineering (cs.SE)

[3] arXiv:1306.0762 [pdf, other]

Title: Detecting Missing Method Calls as Violations of the Majority Rule

Martin Monperrus (INRIA Lille - Nord Europe), Mira Mezini

Journal-ref: ACM Transactions on Software Engineering and Methodology, 2013

Subjects: Software Engineering (cs.SE)

[4] arXiv:1306.0958 [pdf, other]

Title: SArF Map: Visualizing Software Architecture from Feature and Layer Viewpoints

Kenichi Kobayashi (Fujitsu Laboratories), Manabu Kamimura, Keisuke Yano, Koki Kato, Akihiko Matsuo

Comments: 10 pages, 16 figures, 2 tables. This is the accepted version of a paper presented at the 21st IEEE International Conference on Program Comprehension (ICPC2013), San Francisco, CA, USA, May 2013, pp.43-52

Subjects: Software Engineering (cs.SE)

[5] arXiv:1306.1068 [pdf, other]

Title: Software Process Models and Analysis on Failure of Software Development Projects

Rupinder Kaur, Jyotsna Sengupta

Journal-ref: IJSER, Volume 2, Issue 2, February 2012

Subjects: Software Engineering (cs.SE)

[6] arXiv:1306.1286 [pdf, other]

Title: MintHint: Automated Synthesis of Repair Hints

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso

Subjects: Software Engineering (cs.SE)

[7] arXiv:1306.1302 [pdf, other]

Title: Designing Run-Time Environments to Have Predefined Global Dynamics

Massimo Monti, Pierre Imai, Christian Tschudin

Journal-ref: International Journal of Computer Networks & Communications (IJCNC) Vol.5, No.3, May 2013 pp. 01-16

Subjects: Software Engineering (cs.SE); Networking and Internet Architecture (cs.NI)

[8] arXiv:1306.1469 [pdf, other]

Title: A model driven engineering approach to develop a cooperative information system

Mohamed Amroune, Pierre Jean Charrel, Nacereddine Zarour, Jean Michel Inglebert

Comments: International Journal of Software Engineering & Applications, 2013, Aircc Editor. arXiv admin note: substantial text overlap with arXiv:1303.4056

Subjects: Software Engineering (cs.SE)

[9] arXiv:1306.1772 [pdf, other]

Title: Are Happy Developers more Productive? The Correlation of Affective States of Software Developers and their self-assessed Productivity

Daniel Graziotin, Xiaofeng Wang, Pekka Abrahamsson (Free University of Bozen-Bolzano)

Comments: 16 pages, 3 Figure. The final publication is available at this http URL. Link: this http URL. DOI: https://doi.org/10.1007/978-3-642-39259-7_7

Journal-ref: Proceedings of the 14th International Conference on Product-Focused Software Process Improvement (PROFES 2013), LNCS 7983, Springer-Verlag, pp. 50-64, 2013

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

[10] arXiv:1306.1773 [pdf, other]

Title: Making Sense out of a Jungle of JavaScript Frameworks: towards a Practitioner-friendly Comparative Analysis

Daniel Graziotin, Pekka Abrahamsson (Free University of Bozen-Bolzano)

Comments: 5 Pages, 1 Figure. The final publication is available at this http URL. Link: this http URL. DOI: https://doi.org/10.1007/978-3-642-39259-7_28

Journal-ref: Proceedings of the 14th International Conference on Product-Focused Software Process Improvement (PROFES 2013), LNCS 7983, Springer-Verlag, pp. 334-337, 2013

Subjects: Software Engineering (cs.SE)

[11] arXiv:1306.1958 [pdf, other]

Title: Software Testing Models Against Information Security Requirements

Alexey Markov

Subjects: Software Engineering (cs.SE)

[12] arXiv:1306.2096 [pdf, other]

Title: Feature-Gathering Dependency-Based Software Clustering Using Dedication and Modularity

Kenichi Kobayashi (Fujitsu Laboratories), Manabu Kamimura, Koki Kato, Keisuke Yano, Akihiko Matsuo

Comments: 10 pages, 9 figures, 7 tables. This is the accepted version of a paper presented at the 28th IEEE International Conference on Software Maintenance (ICSM2012), Riva del Garda, Trento, Italy, Sep 2012, pp.462-471

Subjects: Software Engineering (cs.SE)

[13] arXiv:1306.2414 [pdf, other]

Title: Action Research Can Swing the Balance in Experimental Software Engineering

Paulo Sergio Medeiros dos Santos, Guilherme Horta Travassos

Comments: 77 pages, Advances in Computers (2011)

Subjects: Software Engineering (cs.SE)

[14] arXiv:1306.2502 [pdf, other]

Title: Case Study Based Software Engineering Project Development: State of Art

Sukhpal Singh, Harinder Singh

Comments: 15 Pages including 17 figures, 12 tables, Published by IJSRCSAMS

Journal-ref: International Journal of Scientific Research in Computer Science Applications and Management Studies, Volume 2, Issue 3, May 2013

Subjects: Software Engineering (cs.SE)

[15] arXiv:1306.3083 [pdf, other]

Title: Improving production process performance thanks to neuronal analysis

Mélanie Noyel (CRAN), Philippe Thomas (CRAN), Patrick Charpentier (CRAN), André Thomas (CRAN), Bruno Beaupretre

Journal-ref: 11th IFAC Workshop on Intelligent Manufacturing System IMS'13, Sao Paulo : Brazil (2013)

Subjects: Software Engineering (cs.SE)

[16] arXiv:1306.3375 [pdf, other]

Title: The essence of component-based design and coordination

Raphael 'kena' Poss

Comments: 8 pages, 2 figures, 3 tables

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

[17] arXiv:1306.3612 [pdf, other]

Title: The Role of Emotions in Contributors Activity: A Case Study on the GENTOO Community

David Garcia, Marcelo Serrano Zanetti, Frank Schweitzer

Comments: submitted to the International Conference on Social Computing and Its Applications

Subjects: Software Engineering (cs.SE); Physics and Society (physics.soc-ph)

[18] arXiv:1306.3882 [pdf, other]

Title: Chaining Test Cases for Reactive System Testing (extended version)

Peter Schrammel, Tom Melham, Daniel Kroening

Comments: extended version of paper published at ICTSS'13

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

[19] arXiv:1306.3959 [pdf, other]

Title: A New Approach for Quality Management in Pervasive Computing Environments

Alti Adel, Roose Phillipe

Comments: 10 pages, 10 Figures, Oral Presentation in ECSA 2010

Journal-ref: International Journal of Computer Science Issues 10, 1 (2013) 1-10

Subjects: Software Engineering (cs.SE)

[20] arXiv:1306.4063 [pdf, other]

Title: Web Service Testing Tools: A Comparative Study

Shariq Hussain, Zhaoshun Wang, Ibrahima Kalil Toure, Abdoulaye Diop

Comments: 7 pages, 4 tables, 3 figures

Journal-ref: IJCSI International Journal of Computer Science Issues, vol.10, no.1-3, 2013, pp.641-647

Subjects: Software Engineering (cs.SE)

[21] arXiv:1306.4245 [pdf, other]

Title: Pair versus Solo Programming -- An Experience Report from a Course on Design of Experiments in Software Engineering

Omar S. Gómez, José L. Batún, Raúl A. Aguilar

Comments: 9 pages; International Journal of Computer Science Issues, 2013

Subjects: Software Engineering (cs.SE)

[22] arXiv:1306.4280 [pdf, other]

Title: Towards a Graph-Based Approach for Web Services Composition

Chaker Ben Mahmoud, Fathia Bettahar, Hajer Abderrahim, Houda Saidi

Journal-ref: IJCSI Volume 10, Issue 1, January 2013 , Page 351

Subjects: Software Engineering (cs.SE)

[23] arXiv:1306.4308 [pdf, other]

Title: Vérification Formelle des Processus Workflow Collaboratifs

Zohra Sbaï, Kamel Barkaoui

Comments: 14 pages, 6 figures, In 1ère conférence francophone sur les Systèmes Collaboratifs (SysCo), pp., 2012

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

[24] arXiv:1306.4450 [pdf, other]

Title: Modeling a repository of modules for ports Terminals Operating System (TOS)

Ahmed Faouzi, Charif Mabrouki, Alami Semma

Comments: 8 pages

Journal-ref: IJCSI-2013-10-1-5041

Subjects: Software Engineering (cs.SE)

[25] arXiv:1306.4546 [pdf, other]

Title: Dynamic Code Coverage with Progressive Detail Levels

Alexandre Perez

Subjects: Software Engineering (cs.SE)

[26] arXiv:1306.5530 [pdf, other]

Title: A Formal Model of QoS-Aware Web Service Orchestration Engine

Yong Wang

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

[27] arXiv:1306.5535 [pdf, other]

Title: A Survey on Formal Methods for Web Service Composition

Yong Wang

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

[28] arXiv:1306.6115 [pdf, other]

Title: On Behavioral Types for OSGi: From Theory to Implementation

Jan Olaf Blech, Harald Rueß, Bernhard Schätz

Comments: arXiv admin note: text overlap with arXiv:1302.5175

Subjects: Software Engineering (cs.SE)

[29] arXiv:1306.6262 [pdf, other]

Title: A Study of Library Migration in Java Software

Cédric Teyton (LaBRI), Jean-Rémy Falleri (LaBRI), Marc Palyart (LaBRI), Xavier Blanc (LaBRI)

Subjects: Software Engineering (cs.SE)

[30] arXiv:1306.6412 [pdf, other]

Title: Decision Taking versus Promise Issuing

Jan A. Bergstra

Comments: 29 pages

Subjects: Software Engineering (cs.SE)

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

Title: RuleRunner technical report

Alan Perotti

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

[32] arXiv:1306.1478 (cross-list from cs.IR) [pdf, other]

Title: Agents and owl-s based semantic web service discovery with user preference support

Benaboud Rohallah, Maamri Ramdane, Sahnoun Zaidi

Comments: 19 pages, 10 figures

Journal-ref: International Journal of Web & Semantic Technology (IJWesT), April 2013, Volume 4, Number 2, pp 57-75

Subjects: Information Retrieval (cs.IR); Software Engineering (cs.SE)

[33] arXiv:1306.1953 (cross-list from cs.CR) [pdf, other]

Title: A Formal Approach To Firewalls Testing Techniques

Alexander Barabanov, Alexey Markov, Valentin Tsirlov

Comments: Keywords: information security, firewall, security analysis, test procedures, conformance evaluation, security certification, performance optimization

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

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

Title: Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance

Viktor Schuppan

Comments: In Proceedings QAPL 2013, arXiv:1306.2413

Journal-ref: EPTCS 117, 2013, pp. 49-65

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

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

Title: Modal Interface Automata

Gerald Lüttgen (Uni. Bamberg), Walter Vogler (Uni. Augsburg)

Comments: 28 pages

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (August 14, 2013) lmcs:1136

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)