Software Engineering

Authors and titles for cs.SE in Mar 2014

[1]  arXiv:1403.0100 [pdf, ps, other]

Title: A Novel Approach for Computing Dynamic Slices of Aspect-Oriented Programs

Authors: Abhishek Ray, Siba Mishra, Durga Prasad Mohapatra

Comments: 7 Pages

Journal-ref: International Journal of Computer Information Systems, Vol.5, No. 3, 2012

Subjects: Software Engineering (cs.SE)

[2]  arXiv:1403.1005 [pdf, other]

Title: From abstract modelling to remote cyber-physical integration/interoperability testing

Authors: Maria Spichkova, Heinrich Schmidt, Ian Peake

Comments: In Improving Systems and Software Engineering Conference (iSSEC) 2013 incorporating SEPG(SM) Asia-Pacific Conference, 2013

Subjects: Software Engineering (cs.SE)

[3]  arXiv:1403.1112 [pdf, ps, other]

Title: Analyzing a practitioner perspective on relevance of published empirical research in Requirements Engineering

Authors: Niek Tax

Comments: 9 pages

Subjects: Software Engineering (cs.SE)

[4]  arXiv:1403.1117 [pdf, other]

Title: Automated Fixing of Programs with Contracts

Authors: Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller

Comments: Minor changes after proofreading

Journal-ref: IEEE Transactions on Software Engineering, 40(5):427-449. IEEE Computer Society, May 2014

Subjects: Software Engineering (cs.SE)

[5]  arXiv:1403.1749 [pdf, ps, other]

Title: Automatically finding atomic regions for fixing bugs in Concurrent programs

Authors: Saurabh Joshi, Akash Lal

Comments: 16 pages, 6 figures, 1 table

Subjects: Software Engineering (cs.SE)

[6]  arXiv:1403.1936 [pdf, ps, other]

Title: Elicitation and Modeling Non-Functional Requirements - A POS Case Study

Authors: Md. Mijanur Rahman, Shamim Ripon

Comments: 5 pages, 5 figures

Journal-ref: International Journal of Future Computer and Communication vol. 2, no. 5, pp. 485-489, 2013

Subjects: Software Engineering (cs.SE)

[7]  arXiv:1403.2519 [pdf, ps, other]

Title: Baselining Wireless Internet Service Development: An Experience Report

Authors: Fabio Bella, Jürgen Münch, Alexis Ocampo

Comments: 9 pages

Journal-ref: Proceedings of the 5th International Conference on Quality in Information and Communication Technologies (QUATIC 2004), pages 161-169, Porto, Portugal, October 18-20 2004

Subjects: Software Engineering (cs.SE)

[8]  arXiv:1403.2639 [pdf, other]

Title: An Approach for Discovering Traceability Links between Regulatory Documents and Source Code Through User-Interface Labels

Authors: Antoine Mischler (INRIA Lille - Nord Europe), Martin Monperrus (INRIA Lille - Nord Europe)

Subjects: Software Engineering (cs.SE)

[9]  arXiv:1403.2718 [pdf, ps, other]

Title: Observation-based Development of Software Process Baselines: An Experience Report

Authors: Fabio Bella, Jürgen Münch, Alexis Ocampo

Comments: 7 pages. arXiv admin note: substantial text overlap with arXiv:1403.2519

Journal-ref: Proceedings of the 8th Conference on Quality Engineering in Software Technology (CONQUEST), pages 31-43, Nuremberg, Germany, September 22-24 2004

Subjects: Software Engineering (cs.SE)

[10]  arXiv:1403.2819 [pdf, other]

Title: Towards system development methodologies: From software to cyber-physical domain

Authors: Maria Spichkova, Alarico Campetelli

Comments: First International Workshop on Formal Techniques for Safety-Critical Systems 2012 (FTSCS 2012), ICFEM 2012 Satellite Event

Subjects: Software Engineering (cs.SE)

[11]  arXiv:1403.2821 [pdf, ps, other]

Title: Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security

Authors: Mohamed Garoui, Belhassen Mazigh, Béchir El Ayeb, Abderrafiaa Koukam

Comments: International Journal of Information Technology, Modeling and Computing (IJITMC) Vol. 2, No. 1, 2014. arXiv admin note: text overlap with arXiv:1204.1581 by other authors without attribution

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

[12]  arXiv:1403.2863 [pdf, ps, other]

Title: Consolidated Model of Procedures for Workflow Management

Authors: Stanka Hadzhikoleva, Emil Hadzhikolev

Subjects: Software Engineering (cs.SE)

[13]  arXiv:1403.3034 [pdf, other]

Title: Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans

Authors: Phillip James, Markus Roggenbach

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

[14]  arXiv:1403.3055 [pdf, ps, other]

Title: Fulfillment Request Management (The approach)

Authors: Stylianos Gkoutzioupas

Comments: 10 pages

Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT) Vol 6, No 1, February 2014

Subjects: Software Engineering (cs.SE)

[15]  arXiv:1403.3131 [pdf, ps, other]

Title: Comparison Of Document Management Systems By Meta Modelling And Workforce Centric Tuning Measures

Authors: Harika Asili, Omer Ozgur Tanriover

Comments: 11 pages , 2 figures and 2 tables , journal paper

Journal-ref: International Journal of Computer Science, Engineering and Information Technology (IJCSEIT), Vol. 4,No. 1, February 2014

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

[16]  arXiv:1403.3498 [pdf, ps, other]

Title: Using Cluster Curves to Control Software Development Projects

Authors: Jürgen Münch, Jens Heidrich

Comments: 2 pages

Journal-ref: Proceedings of the 1st International Symposium on Empirical Software Engineering (ISESE 2002), volume 3, pages 13-14, Nara, Japan, October 3-4 2002

Subjects: Software Engineering (cs.SE)

[17]  arXiv:1403.3559 [pdf, ps, other]

Title: A Systematic Methodology for Developing Discrete Event Simulation Models of Software Development Processes

Authors: Ioana Rus, Holger Neu, Jürgen Münch

Comments: 7 pages

Journal-ref: Proceedings of the 4th International Workshop on Software Process Simulation and Modeling (ProSim 2003), Portland, Oregon, USA, May 3-4 2003

Subjects: Software Engineering (cs.SE)

[18]  arXiv:1403.3611 [pdf, ps, other]

Title: Modular Verification of Hybrid System Code with VCC

Authors: Ernie Cohen

Subjects: Software Engineering (cs.SE)

[19]  arXiv:1403.3928 [pdf, ps, other]

Title: A Bootstrap Theory: the SEMAT Kernel Itself as Runnable Software

Authors: Iaakov Exman

Comments: 8 pages; 2 figures; Preprint of paper accepted for GTSE'2014 Workshop, within ICSE'2014 Conference

Subjects: Software Engineering (cs.SE)

[20]  arXiv:1403.4045 [pdf, ps, other]

Title: Goal-oriented Data Visualization with Software Project Control Centers

Authors: Jens Heidrich, Jürgen Münch

Comments: 11 pages. arXiv admin note: substantial text overlap with arXiv:1401.1906

Journal-ref: Proceedings of the DASMA Software Metric Congress (MetriKon 2005): Magdeburger Schriften zum Empirischen Software Engineering, pages 65-75, Kaiserslautern, Germany, November 14-16 2005. Shaker Verlag

Subjects: Software Engineering (cs.SE)

[21]  arXiv:1403.4053 [pdf, other]

Title: Using the Business Process Model and Notation for Modeling Enterprise Integration Patterns

Authors: Daniel Ritter

Comments: 30 pages, Supplementary Material for Contribution to European Conference on Modelling Foundations and Applications (ECMFA), 2014

Subjects: Software Engineering (cs.SE)

[22]  arXiv:1403.4152 [pdf, ps, other]

Title: Quick Safari Through Software Design

Authors: Reza Rahimi

Subjects: Software Engineering (cs.SE)

[23]  arXiv:1403.4503 [pdf, other]

Title: Autofolding for Source Code Summarization

Authors: Jaroslav Fowkes, Pankajan Chanthirasegaran, Razvan Ranca, Miltiadis Allamanis, Mirella Lapata, Charles Sutton

Comments: IEEE Transactions on Software Engineering 2017

Subjects: Software Engineering (cs.SE)

[24]  arXiv:1403.5398 [pdf, other]

Title: State Machine Flattening: Mapping Study and Assessment

Authors: Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

Subjects: Software Engineering (cs.SE)

[25]  arXiv:1403.5432 [pdf, ps, other]

Title: Comprehensive Landscapes for Software-related Quality Models

Authors: Michael Kläs, Jens Heidrich, Jürgen Münch, Adam Trendowicz

Comments: 6 pages. Proceedings of the Workshop "Software-Qualit\"atsmodellierung und -bewertung" (SQMB '09), Kaiserslautern, Germany, March 3 2009

Subjects: Software Engineering (cs.SE)

[26]  arXiv:1403.5614 [pdf, ps, other]

Title: A New Complete Class Complexity Metric

Authors: Vinay Singh, Vandana Bhattacherjee

Comments: 9

Journal-ref: Vinay Singh, Vandana Bhattacherjee"A New Complete Class Complexity Metric", International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 9, pp. 1-9, 2013

Subjects: Software Engineering (cs.SE)

[27]  arXiv:1403.6305 [pdf, ps, other]

Title: A Pattern based methodology for evolution management in business process reuse

Authors: Hanae Sbai, Mounia Fredj, Laila Kjiri

Comments: 10 pages

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 11, Issue 1, No 1, January 2014

Subjects: Software Engineering (cs.SE)

[28]  arXiv:1403.6322 [pdf, ps, other]

Title: Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches

Authors: Matias Martinez (INRIA Lille - Nord Europe), Westley Weimer (INRIA Lille - Nord Europe), Martin Monperrus (INRIA Lille - Nord Europe, INRIA Lille - Nord Europe)

Comments: ICSE - 36th IEEE International Conference on Software Engineering (2014)

Journal-ref: ICSE - 36th IEEE International Conference on Software Engineering (2014)

Subjects: Software Engineering (cs.SE)

[29]  arXiv:1403.6678 [pdf, other]

Title: Probabilistic Model Checking of DTMC Models of User Activity Patterns

Authors: Oana Andrei, Muffy Calder, Matthew Higgs, Mark Girolami

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

[30]  arXiv:1403.6865 [pdf, other]

Title: ICT Support for Regulatory Compliance of Business Processes

Authors: Guido Governatori

Journal-ref: 29th WORLD CONTINUOUS AUDITING AND REPORTING SYMPOSIUM (29WCARS), NOVEMBER 21-22, 2013, BRISBANE, AUSTRALIA

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

[31]  arXiv:1403.7044 [pdf, ps, other]

Title: Proceedings Ninth Workshop on Model-Based Testing

Authors: Holger Schlingloff (Fraunhofer FOKUS, Humboldt University of Berlin, Germany), Alexander K. Petrenko (Institute for System Programming of Russian Academy of Sciences, Russia)

Journal-ref: EPTCS 141, 2014

Subjects: Software Engineering (cs.SE)

[32]  arXiv:1403.7257 [pdf, other]

Title: Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques

Authors: A.P. van der Meer (Nspyre), R. Kherrazi (Nspyre), M. Hamilton (Nspyre)

Comments: In Proceedings MBT 2014, arXiv:1403.7044

Journal-ref: EPTCS 141, 2014, pp. 1-13

Subjects: Software Engineering (cs.SE)

[33]  arXiv:1403.7258 [pdf, other]

Title: Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing

Authors: Christian Colombo (PEST Research Lab, Department of Computer Science, University of Malta), Mark Micallef (PEST Research Lab, Department of Computer Science, University of Malta), Mark Scerri (PEST Research Lab, Department of Computer Science, University of Malta)

Comments: In Proceedings MBT 2014, arXiv:1403.7044

Journal-ref: EPTCS 141, 2014, pp. 14-28

Subjects: Software Engineering (cs.SE)

[34]  arXiv:1403.7259 [pdf, other]

Title: Coverage Criteria for Model-Based Testing using Property Patterns

Authors: Kalou Cabrera Castillos (LAAS-CNRS), Frédéric Dadeau (FEMTO-ST Institute/INRIA CASSIS Project), Jacques Julliand (FEMTO-ST Institute)

Comments: In Proceedings MBT 2014, arXiv:1403.7044

Journal-ref: EPTCS 141, 2014, pp. 29-43

Subjects: Software Engineering (cs.SE)

[35]  arXiv:1403.7260 [pdf, other]

Title: Spinal Test Suites for Software Product Lines

Authors: Harsh Beohar (Center for Research on Embedded Systems Halmstad University, Sweden), Mohammad Reza Mousavi (Center for Research on Embedded Systems Halmstad University, Sweden)

Comments: In Proceedings MBT 2014, arXiv:1403.7044

Journal-ref: EPTCS 141, 2014, pp. 44-55

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

[36]  arXiv:1403.7261 [pdf, other]

Title: Generating Complete and Finite Test Suite for ioco: Is It Possible?

Authors: Adenilso Simao (São Paulo University), Alexandre Petrenko (Centre de recherche informatique de Montreal (CRIM))

Comments: In Proceedings MBT 2014, arXiv:1403.7044

Journal-ref: EPTCS 141, 2014, pp. 56-70

Subjects: Software Engineering (cs.SE)

[37]  arXiv:1403.7747 [pdf, other]

Title: An Institutional Framework for Heterogeneous Formal Development in UML

Authors: Alexander Knapp, Till Mossakowski, Markus Roggenbach

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

[38]  arXiv:1403.3142 (cross-list from cs.CL) [pdf, other]

Title: ARSENAL: Automatic Requirements Specification Extraction from Natural Language

Authors: Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner

Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)

[39]  arXiv:1403.3752 (cross-list from cs.PL) [pdf, other]

Title: Martta: A C++ Language Workbench

Authors: Gavin Wood

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

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

Title: MPISE: Symbolic Execution of MPI Programs

Authors: Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang

Comments: 25pages, extended version (unpublished!) of paper submitted to ictac 2014. Version 0.2, we carry out experiments using release llvm istead of a debug version one, which makes mpise 10 times faster

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

[41]  arXiv:1403.4988 (cross-list from cs.DC) [pdf, ps, other]

Title: Bracing Heterogeneous Distributed Systems via Built-in Frameworks

Authors: Naftaly Minsky

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

[42]  arXiv:1403.5172 (cross-list from cs.SY) [pdf, ps, other]

Title: SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers

Authors: Iury Bessa, Renato Abreu, João Edgar Filho, Lucas Cordeiro

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

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

Title: Collaborative Verification-Driven Engineering of Hybrid Systems

Authors: Stefan Mitsch, Grant Olney Passmore, Andre Platzer

Journal-ref: Math. Comput. Sci. 8(1), 71-97, 2014

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

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

Title: tinyNBI: Distilling an API from essential OpenFlow abstractions

Authors: C. Jasson Casey, Andrew Sutton, Alex Sprintson

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

[45]  arXiv:1403.2805 (cross-list from stat.CO) [pdf, ps, other]

Title: The jsonlite Package: A Practical and Consistent Mapping Between JSON Data and R Objects

Authors: Jeroen Ooms

Subjects: Computation (stat.CO); Mathematical Software (cs.MS); Software Engineering (cs.SE)

[46]  arXiv:1403.4344 (cross-list from quant-ph) [pdf, ps, other]

Title: Debugging Quantum Processes Using Monitoring Measurements

Authors: Yangjia Li, Mingsheng Ying

Comments: 7 pages. Comments are welcome

Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)