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)