Software Engineering

Authors and titles for March 2012

[1] arXiv:1203.0200 [pdf, other]

Title: An Interface using SOA Framework For Mediclaim Provider

S. Nirmala Sugirtha Rajini, T. Bhuvaneswari

Comments: 8 pages

Journal-ref: Ann. Univ. Tibiscus Comp. Sci. Series IX/2 (2011), 9-16

Subjects: Software Engineering (cs.SE)

[2] arXiv:1203.0400 [pdf, other]

Title: Bridging the Gap between Technical Heterogeneity of Context-Aware Platforms: Experimenting a Service Based Connectivity between Adaptable Android, WComp and OpenORB

Valerie Monfort, Sihem Cherif

Subjects: Software Engineering (cs.SE)

[3] arXiv:1203.0415 [pdf, other]

Title: On Compositional Reasoning for Guaranteeing Probabilistic Properties

Jan Olaf Blech

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

[4] arXiv:1203.0648 [pdf, other]

Title: Towards Electronic Shopping of Composite Product

Mark Sh. Levin

Comments: 10 pages, 20 figures, 17 tables

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)

[5] arXiv:1203.1314 [pdf, other]

Title: Model based Software Develeopment: Issues & Challenges

N Md Jubair basha, Salman Abdul Moiz, Mohammed Rizwanullah

Comments: 6 pages, 1 figure, NCRTCST-12

Journal-ref: Special Issue of International Journal of Computer Science & Informatics (IJCSI), ISSN (PRINT) : 2231--5292, 2012 Vol.- II, Issue-1, 2

Subjects: Software Engineering (cs.SE)

[6] arXiv:1203.1328 [pdf, other]

Title: Performance Analysis of HR Portal Domain Components Extraction

N. Md. Jubair Basha, Salman Abdul Moiz, A. A. Moiz Qyser

Comments: 6 pages, 10 figures

Journal-ref: International Journal of Computer Science and Information Technologies, Vol. 2 (5) , 2011, 2326-2331

Subjects: Software Engineering (cs.SE)

[7] arXiv:1203.1717 [pdf, other]

Title: Requirements Engineering Methods: A Classification Framework and Research Challenges

Ivan Jureta

Comments: 10 pages, 1 figure

Subjects: Software Engineering (cs.SE)

[8] arXiv:1203.1760 [pdf, other]

Title: BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources

Jose Antonio Mateo, Valentın Valero, Gregorio Dıaz

Comments: LNCS

Subjects: Software Engineering (cs.SE)

[9] arXiv:1203.2031 [pdf, other]

Title: Design of modular wireless sensor

Mark Sh. Levin, Alexander V. Fimin

Comments: 7 pages, 9 figures, 4 tables

Subjects: Software Engineering (cs.SE); Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY); Optimization and Control (math.OC)

[10] arXiv:1203.2704 [pdf, other]

Title: A model and framework for reliable build systems

Derrick Coetzee, Anand Bhaskar, George Necula

Subjects: Software Engineering (cs.SE)

[11] arXiv:1203.3085 [pdf, other]

Title: An Agile Method for E-Service Composition

Pouya Fatehi, Seyyed Mohsen Hashemi

Comments: IJCSI ePublication Certificate, Volume 9, Issue 1, January 2012

Subjects: Software Engineering (cs.SE)

[12] arXiv:1203.3263 [pdf, other]

Title: Originator usage control with business process slicing

Ziyi Su, Frédérique Biennier

Comments: 14Pages, 9figures

Subjects: Software Engineering (cs.SE)

[13] arXiv:1203.5188 [pdf, other]

Title: Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge

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

Comments: ICSE - 34th International Conference on Software Engineering (2012)

Journal-ref: ICSE - 34th International Conference on Software Engineering, 2012

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

[14] arXiv:1203.5403 [pdf, other]

Title: Distributed, Cross-Platform, and Regression Testing Architecture for Service-Oriented Architecture

Youssef Bassil

Comments: ISSN: 2166-2924; LACSC - Lebanese Association for Computational Sciences - this http URL; Advances in Computer Science and its Applications (ACSA), Vol. 1, No. 1, March 2012

Subjects: Software Engineering (cs.SE)

[15] arXiv:1203.5748 [pdf, other]

Title: Self-Healing by Means of Runtime Execution Profiling

Mohammad Muztaba Fuad, Debzani Deb, Jinsuk Baek

Comments: Proceedings of 14th International Conference on Computer and Information Technology (ICCIT 2011) 22-24 December, 2011, Dhaka, Bangladesh

Subjects: Software Engineering (cs.SE)

[16] arXiv:1203.6439 [pdf, other]

Title: An Analytical Approach for Project Managers in Effective Defect Management in Software Process

T.R. Gopalakrishnan Nair, V. Suma, N. R. Shashi Kumar

Comments: 7 Pages, 8 Figures, 4 Tables 2011 5th Malaysian Conference in Software Engineering (MySEC)

Journal-ref: 2011 5th Malaysian Conference in Software Engineering (MySEC)

Subjects: Software Engineering (cs.SE)

[17] arXiv:1203.6445 [pdf, other]

Title: Analysis of Test Efficiency during Software Development Process

T.R. Gopalakrishnan Nair, V. Suma, Pranesh Kumar Tiwari

Comments: 6 Pages, 6 Figures, Proceedings of the Annual International Conference on Software Engineering and Applications (SEA 2010-2011)

Subjects: Software Engineering (cs.SE)

[18] arXiv:1203.6806 [pdf, other]

Title: State Space Exploration of RT Systems in the Cloud

Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga

Comments: 6 pages, 8 figures

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

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

Title: The cloud paradigm: Are you tuned for the lyrics?

Fernando Brito e Abreu

Comments: Position paper to introduce a keynote, proceedings of WAMPS'2011 - VI Annual this http URL Workshop, pp. 20-25, Campinas, Brazil, October 2011

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

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

Title: CloudGenius: Decision Support for Web Server Cloud Migration

Michael Menzel, Rajiv Ranjan

Comments: 10 pages, Proceedings of the 21st International Conference on World Wide Web

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

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

Title: A Programmer-Centric Approach to Program Verification in ATS

Zhiqiang Ren, Hongwei Xi

Comments: 15 pages, 11 figures. Examples available on-line this http URL

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

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

Title: Towards a Tool-based Development Methodology for Pervasive Computing Applications

Damien Cassou (INRIA Bordeaux - Sud-Ouest), Julien Bruneau (INRIA Bordeaux - Sud-Ouest), Charles Consel (INRIA Bordeaux - Sud-Ouest), Emilie Balland (INRIA Bordeaux - Sud-Ouest)

Journal-ref: IEEE TSE: Transactions on Software Engineering (2011)

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

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

Title: A Novel Method on ISO 27001 Reviews: ISMS Compliance Readiness Level Measurement

Heru Susanto, Mohammad Nabil Almunawar, Yong Chee Tuan

Comments: Computer Science Journal (ISSN: 2221-5905) Volume 2, Issue 1, April 2012

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