Software Engineering

Authors and titles for October 2012

[1] arXiv:1210.1161 [pdf, other]

Title: Feature Subset Selection for Software Cost Modelling and Estimation

Efi Papatheocharous, Harris Papadopoulos, Andreas S. Andreou

Comments: Engineering Intelligent Systems Vol 18 (3/4) September/December 2010

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

[2] arXiv:1210.1179 [pdf, other]

Title: Extending OWL-S for the Composition of Web Services Generated With a Legacy Application Wrapper

Bacem Wali (VISAGES), Bernard Gibaud (VISAGES)

Comments: ICIW 2012, The Seventh International Conference on Internet and Web Applications and Services, Stuttgart : Germany (2012)

Subjects: Software Engineering (cs.SE)

[3] arXiv:1210.1184 [pdf, other]

Title: Elegant Object-oriented Software Design via Interactive, Evolutionary Computation

Christopher L. Simons, Ian C. Parmee

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

[4] arXiv:1210.1291 [pdf, other]

Title: Graphical Visualization of Risk Assessment for Effective Risk Management during Software Development Process

Raghavi K Bhujang, Suma. V

Comments: 5 Pages, 5 Figures, 3 Tables

Journal-ref: International Joint Conference on Emerging Intelligent Sustainable Technologies, EISTCON-2012,Volume - 3, 3rd and 4th May 2012, ISBN:978-93-81693-76-6

Subjects: Software Engineering (cs.SE)

[5] arXiv:1210.2195 [pdf, other]

Title: Annotating Answer-Set Programs in LANA?

Marina De Vos, Doğa Gizem Kıza, Johannes Oetsch, Jörg Pührer, Hans Tompits

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

[6] arXiv:1210.2450 [pdf, other]

Title: Interface Simulation Distances

Pavol Černý (IST Austria), Martin Chmelík (IST Austria), Thomas A. Henzinger (IST Austria), Arjun Radhakrishna (IST Austria)

Comments: In Proceedings GandALF 2012, arXiv:1210.2028

Journal-ref: EPTCS 96, 2012, pp. 29-42

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

[7] arXiv:1210.2506 [pdf, other]

Title: Enabling Reusability in Agile Software Development

Sukhpal Singh, Inderveer Chana

Comments: 8 Pages including 5 figures, Published by Foundation of Computer Science, New York, USA

Journal-ref: International Journal of Computer Applications, Volume 50, No-13, 2012, 33-40

Subjects: Software Engineering (cs.SE)

[8] arXiv:1210.3110 [pdf, other]

Title: A lightweight forum-based distributed requirement elicitation process for open source community

Han Lai, Rong Peng, Dong Sun, Jia Liu

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

[9] arXiv:1210.3320 [pdf, other]

Title: Contemporary Semantic Web Service Frameworks: An Overview and Comparisons

Keyvan Mohebbi, Suhaimi Ibrahim, Norbik Bashah Idris

Comments: 12 pages

Journal-ref: International Journal on Web Service Computing (IJWSC), Vol.3, No.3, September 2012

Subjects: Software Engineering (cs.SE)

[10] arXiv:1210.3604 [pdf, other]

Title: User-Centric Optimization for Constraint Web Service Composition using a Fuzzy-guided Genetic Algorithm System

Mahdi Bakhshi, Mohsen Hashemi

Comments: 15 pages, 7 figures

Journal-ref: International Journal on Web Service Computing Vol.3, No.3, (2012) 1-15

Subjects: Software Engineering (cs.SE)

[11] arXiv:1210.3640 [pdf, other]

Title: Conducting Verification And Validation Of Multi- Agent Systems

A. Al-Neaimi, S. Qatawneh, Nedhal Al Saiyd

Comments: 10 pages,3 figures

Subjects: Software Engineering (cs.SE)

[12] arXiv:1210.3756 [pdf, other]

Title: A Conceptual Framework to Analyze Enterprise Business Solutions from a Software Architecture Perspective

Basem Y. Alkazemi

Comments: 8 pages, 2 figures

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 9, Issue 3, No 1, May 2012

Subjects: Software Engineering (cs.SE)

[13] arXiv:1210.3758 [pdf, other]

Title: On verification of software components

Basem Y. Alkazemi

Comments: 13 pages, 3 figures

Journal-ref: International Journal of Software Engineering & Applications (IJSEA), Vol.3, No.5, September 2012

Subjects: Software Engineering (cs.SE)

[14] arXiv:1210.3858 [pdf, other]

Title: Application of classical compilation techniques for syntactic and semantic analysis of specification written in Object Z

Fethi Fkih, Kais Haddar

Comments: JS-EABA 2007-5èmes Journées Scientifiques de Borj el Amri

Subjects: Software Engineering (cs.SE)

[15] arXiv:1210.4686 [pdf, other]

Title: Black-Box Verification for GUI Applications

Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski

Subjects: Software Engineering (cs.SE)

[16] arXiv:1210.4981 [pdf, other]

Title: Foundations and Tools for End-User Architecting

David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley Schmerl

Journal-ref: Large-Scale Complex IT Systems. Development, Operation and Management. Lecture Notes in Computer Science, 2012, Volume 7539/2012, 157-182

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Social and Information Networks (cs.SI)

[17] arXiv:1210.5262 [pdf, other]

Title: Hands-Off Spreadsheets

Colin A. Kerr

Comments: 10 pages, 5 colour figures; Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2012

Subjects: Software Engineering (cs.SE)

[18] arXiv:1210.5374 [pdf, other]

Title: Timing Constraints Support on Petri-Net Model for Healthcare System Design

Sabri Mtibaa, Moncef Tagina

Comments: In Journal of Computing, September 2012 issue (Volume 4, Issue 9)

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

[19] arXiv:1210.5515 [pdf, other]

Title: Quality of Service Support on High Level Petri-Net Based Model for Dynamic Configuration of Web Service Composition

Sabri Mtibaa, Moncef Tagina

Comments: International Journal of Computer Science and Information Security; IJCSIS September 2012, Vol. 10 No. 9. arXiv admin note: substantial text overlap with arXiv:1210.5374

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

[20] arXiv:1210.5516 [pdf, other]

Title: Managing Changes in Citizen-Centric Healthcare Service Platform using High Level Petri Net

Sabri Mtibaa, Moncef Tagina

Comments: IJACSA, The Science and Information Organization(SAI), Volume 3 Issue 8 August 2012. arXiv admin note: substantial text overlap with arXiv:1210.5374

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

[21] arXiv:1210.5783 [pdf, other]

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

Josep Silva (Universitat Politècnica de València, Spain), Francesco Tiezzi (IMT Institute for Advanced Studies Lucca, Italy)

Comments: EPTCS 98, 2012

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Networking and Internet Architecture (cs.NI)

[22] arXiv:1210.6076 [pdf, other]

Title: An Automated Petri-Net Based Approach for Change Management in Distributed Telemedicine Environment

Sabri Mtibaa, Moncef Tagina

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

Journal-ref: Journal of Telecommunications, Volume 15, Issue 1, July 2012

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

[23] arXiv:1210.6110 [pdf, other]

Title: Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services

Leonidas Lampropoulos (National Technical University of Athens), Konstantinos Sagonas (National Technical University of Athens, Uppsala University, Sweden)

Comments: In Proceedings WWV 2012, arXiv:1210.5783

Journal-ref: EPTCS 98, 2012, pp. 3-16

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

[24] arXiv:1210.6112 [pdf, other]

Title: The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming

James Smith

Comments: In Proceedings WWV 2012, arXiv:1210.5783. Added doi references where possible

Journal-ref: EPTCS 98, 2012, pp. 31-45

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

[25] arXiv:1210.6115 [pdf, other]

Title: Analyzing Consistency of Behavioral REST Web Service Interfaces

Irum Rauf (Åbo Akademi), Ali Hanzala Khan (Åbo Akademi), Ivan Porres (Åbo Akademi)

Comments: In Proceedings WWV 2012, arXiv:1210.5783

Journal-ref: EPTCS 98, 2012, pp. 77-92

Subjects: Software Engineering (cs.SE)

[26] arXiv:1210.6636 [pdf, other]

Title: Informaticology: combining Computer Science, Data Science, and Fiction Science

Jan A. Bergstra

Subjects: Software Engineering (cs.SE)

[27] arXiv:1210.6815 [pdf, other]

Title: Formally Checking Large Data Sets in the Railways

Thierry Lecomte, Lilian Burdy, Michael Leuschel

Comments: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Subjects: Software Engineering (cs.SE)

[28] arXiv:1210.7030 [pdf, other]

Title: Lessons Learned/Sharing the Experience of Developing a Metro System Case Study

Renato Silva

Comments: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Subjects: Software Engineering (cs.SE)

[29] arXiv:1210.7032 [pdf, other]

Title: Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements

Elena Troubitsyna

Comments: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Subjects: Software Engineering (cs.SE)

[30] arXiv:1210.7034 [pdf, other]

Title: Building on the DEPLOY Legacy: Code Generation and Simulation

Andrew Edmunds, Michael Butler, John Colley

Comments: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Subjects: Software Engineering (cs.SE)

[31] arXiv:1210.7035 [pdf, other]

Title: Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Comments: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Subjects: Software Engineering (cs.SE)

[32] arXiv:1210.7036 [pdf, other]

Title: Towards Refinement Strategy Planning for Event-B

Tsutomu Kobayashi, Shinichi Honiden

Comments: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Subjects: Software Engineering (cs.SE)

[33] arXiv:1210.7039 [pdf, other]

Title: Formal Data Validation with Event-B

Frédéric Badeau, Marielle Doche-Petit

Comments: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Subjects: Software Engineering (cs.SE)

[34] arXiv:1210.7101 [pdf, other]

Title: Influence of Context on Decision Making during Requirements Elicitation

Corentin Burnay, Ivan Jureta, Stéphane Faulkner

Comments: appears in Proceedings of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE), 2012, Montpellier, France, held at the European Conference on Artificial Intelligence (ECAI-12)

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

[35] arXiv:1210.7138 [pdf, other]

Title: Legacy Software Restructuring: Analyzing a Concrete Case

Nicolas Anquetil (INRIA Lille - Nord Europe), Jannik Laval (INRIA Lille - Nord Europe)

Journal-ref: Proceedings of the 15th European Conference on Software Maintenance and Reengineering (CSMR'11) (2011) 279--286

Subjects: Software Engineering (cs.SE)

[36] arXiv:1210.7283 [pdf, other]

Title: Abstract Data Types in Event-B - An Application of Generic Instantiation

David Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato

Comments: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Subjects: Software Engineering (cs.SE)

[37] arXiv:1210.7463 [pdf, other]

Title: A Tutorial on Principal Component Analysis with the Accord.NET Framework

César Roberto de Souza

Comments: 35 pages, Technical Report

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

[38] arXiv:1210.8011 [pdf, other]

Title: Reusability Framework for Cloud Computing

Sukhpal Singh, Rishideep Singh

Comments: 9 Pages including 8 figures, Published by IJCER

Journal-ref: International Journal Of Computational Engineering Research (ijceronline.com) Vol. 2 Issue. 6, 2012, 169-177

Subjects: Software Engineering (cs.SE)

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

Title: Best Practices for Scientific Computing

Greg Wilson, D. A. Aruliah, C. Titus Brown, Neil P. Chue Hong, Matt Davis, Richard T. Guy, Steven H. D. Haddock, Katy Huff, Ian M. Mitchell, Mark Plumbley, Ben Waugh, Ethan P. White, Paul Wilson

Comments: 18 pages

Journal-ref: PLOS Biology 12(1): e1001745, Jan 2014

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

[40] arXiv:1210.1223 (cross-list from physics.ins-det) [pdf, other]

Title: Further developments in generating type-safe messaging

R. Neswold, C. King (Fermilab)

Comments: 4 pp. 13th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2011). 10-14 Oct 2011. Grenoble, France

Subjects: Instrumentation and Detectors (physics.ins-det); Software Engineering (cs.SE)

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

Title: Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation

Germán Vidal

Comments: 22 pages, includes an appendix

Journal-ref: Theory and Practice of Logic Programming, Volume12, Special Issue4-5, 2012, pp 583-600

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

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

Title: Session Communication and Integration

Guoxin Su, Mingsheng Ying, Chengqi Zhang

Comments: A short version of this paper is submitted for review

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

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

Title: Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net

Saeid Pashazadeh, Maryam Pashazadeh

Comments: 17 pages, 4 figures

Journal-ref: International Journal in Foundations of Computer Science & Technology (IJFCST) 2 (2012) 31-47

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

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

Title: Coalesced communication: a design pattern for complex parallel scientific software

Hywel B. Carver, Derek Groen, James Hetherington, Rupert W. Nash, Miguel O. Bernabeu, Peter V. Coveney

Comments: Submitted to Parallel Computing, 7 pages, 2 figures

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

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

Title: Model Validation in Ontology Based Transformations

Jesús M. Almendros-Jiménez (University of Almeria), Luis Iribarne (University of Almeria)

Comments: In Proceedings WWV 2012, arXiv:1210.5783

Journal-ref: EPTCS 98, 2012, pp. 17-30

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

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

Title: Chunks and Tasks: a programming model for parallelization of dynamic algorithms

Emanuel H. Rubensson, Elias Rudberg

Comments: This manuscript was submitted to Parallel Computing (Elsevier) for the special issue devoted to the conference Parallel Matrix Algorithms and Applications (PMAA 2012). A presentation of this work was given at PMAA 2012 on June 29, 2012

Journal-ref: Parallel Comput. 40 (2014) 328-343

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

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

Title: Study on the Availability Prediction of the Reconfigurable Networked Software System

Lingzhong Meng

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