Software Engineering

Authors and titles for July 2012

[1] arXiv:1207.0546 [pdf, other]

Title: Challenges of Upgrading a Virtual Appliance

Kamran Karimi

Comments: 5 pages

Subjects: Software Engineering (cs.SE)

[2] arXiv:1207.0592 [pdf, other]

Title: Significance of Quality Metrics in Software Development Process

U. S. Poornima, V. Suma

Comments: 5 pages,International Conference on Innovative Computing and Information Processing (ICCIP - 2012)

Subjects: Software Engineering (cs.SE)

[3] arXiv:1207.0855 [pdf, other]

Title: An Exploratory Study of Forces and Frictions affecting Large-Scale Model-Driven Development

Adrian Kuhn, Gail C. Murphy, C. Albert Thompson

Comments: To appear in proceedings of MODELS 2012, LNCS Springer

Subjects: Software Engineering (cs.SE)

[4] arXiv:1207.0869 [pdf, other]

Title: Theory and Techniques for Synthesizing a Family of Graph Algorithms

Srinivas Nedunuri (The University of Texas at Austin), William R. Cook (The University of Texas at Austin), Douglas R. Smith (Kestrel Institute)

Comments: In Proceedings SYNT 2012, arXiv:1207.0554

Journal-ref: EPTCS 84, 2012, pp. 33-46

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

[5] arXiv:1207.1173 [pdf, other]

Title: A Comprehensive Model to achieve Service Reusability for Multi level stakeholders using Non-Functional attributes of Service Oriented Architecture

Shanmugasundaram G., V. Prasanna Venkatesan, C. Punitha Devi

Subjects: Software Engineering (cs.SE)

[6] arXiv:1207.1493 [pdf, other]

Title: Single-window Integrated Development Environment

Ivan Ruchkin, Vladimir Prus

Comments: Proceedings of the 4th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE) 2010

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

[7] arXiv:1207.1841 [pdf, other]

Title: Proceedings 2nd Workshop on Formal Methods in the Development of Software

César Andrés (Universidad Complutense de Madrid), Luis Llana (Universidad Complutense de Madrid)

Journal-ref: EPTCS 86, 2012

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

[8] arXiv:1207.2234 [pdf, other]

Title: Using Constraints for Equivalent Mutant Detection

Simona Nica (Institute for Software Technology, Technische Universität Graz), Franz Wotawa (Institute for Software Technology, Technische Universität Graz)

Comments: In Proceedings WS-FMDS 2012, arXiv:1207.1841

Journal-ref: EPTCS 86, 2012, pp. 1-8

Subjects: Software Engineering (cs.SE)

[9] arXiv:1207.2236 [pdf, other]

Title: Verified System Development with the AutoFocus Tool Chain

Maria Spichkova (TU München), Florian Hölzl (fortiss GmbH), David Trachtenherz (fortiss GmbH)

Comments: In Proceedings WS-FMDS 2012, arXiv:1207.1841

Journal-ref: EPTCS 86, 2012, pp. 17-24

Subjects: Software Engineering (cs.SE)

[10] arXiv:1207.2237 [pdf, other]

Title: Predictive Software Measures based on Z Specifications - A Case Study

Andreas Bollin (University of Klagenfurt), Abdollah Tabareh (University of Gothenburg)

Comments: In Proceedings WS-FMDS 2012, arXiv:1207.1841

Journal-ref: EPTCS 86, 2012, pp. 33-40

Subjects: Software Engineering (cs.SE)

[11] arXiv:1207.2596 [pdf, other]

Title: Full Data Controlled Web-Based Feed Aggregator

Haruna Isah

Comments: 14 pages

Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT) Vol 4, No 3, June 2012

Subjects: Software Engineering (cs.SE)

[12] arXiv:1207.2606 [pdf, other]

Title: Ontology for Mobile Phone Operating Systems

Neji Hasni, Ridha Bouallegue

Comments: 13 pages, 14 figures

Journal-ref: International Journal of Wireless & Mobile Networks (IJWMN) Vol. 4, No. 3, June 2012

Subjects: Software Engineering (cs.SE)

[13] arXiv:1207.2718 [pdf, other]

Title: An Approach For Integration Testing In Online Retail Applications

Roopa Singh, Imran Akhtar Khan

Comments: 18 pages

Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT) Vol 4, No 3, June 2012

Subjects: Software Engineering (cs.SE)

[14] arXiv:1207.2736 [pdf, other]

Title: ROSA Analyser: An automatized approach to analyse processes of ROSA

Raúl Pardo, Fernando L. Pelayo

Comments: In Proceedings WS-FMDS 2012, arXiv:1207.1841. Formal model's tool

Journal-ref: EPTCS 86, 2012, pp. 25-32

Subjects: Software Engineering (cs.SE)

[15] arXiv:1207.2742 [pdf, other]

Title: A model driven method for promoting reuse in SOA-solutions by managing variability

Boutaina Chakir, Mounia Fredj, Mahmoud Nassar

Comments: 11 pages, 17 figures

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

Subjects: Software Engineering (cs.SE)

[16] arXiv:1207.2746 [pdf, other]

Title: Bounded Model Checking of Temporal Formulas with Alloy

Alcino Cunha (HASlab / INESC TEC and Universidade do Minho)

Comments: New version of the ABZ'14 paper that corrects a mistake in the encoding of the the U and R temporal operators

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

[17] arXiv:1207.2754 [pdf, other]

Title: On Methods for the Formal Specification of Fault Tolerant Systems

Manuel Mazzara

Comments: Presented and published at DEPEND 2011

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

[18] arXiv:1207.3036 [pdf, other]

Title: Dynamic Web Service Composition based on Network Modeling with Statistical Analysis and Backtracking

M.SureshKumar, P.Varalakshmi

Comments: arXiv admin note: text overlap with arXiv:1003.1502 by other authors

Subjects: Software Engineering (cs.SE)

[19] arXiv:1207.3213 [pdf, other]

Title: Quality Assurance And Integration Testing Aspects In Web Based Applications

Imran Akhtar Khan, Roopa Singh

Comments: 8 pages; this http URL

Subjects: Software Engineering (cs.SE)

[20] arXiv:1207.3277 [pdf, other]

Title: Design for Distributed Moroccan Hospital Pharmacy Information Environment with Service Oriented Architecture

Hajar Omrana, Safae Nassiri, Fatima-Zahra Belouadha, Ounsa Roudiés

Comments: 5 pages, 4 figures; Journal of Development Informatics, Aptikom. Published 2012

Subjects: Software Engineering (cs.SE)

[21] arXiv:1207.3872 [pdf, other]

Title: Top Down Approach: SIMULINK Mixed Hardware / Software Design

Youssef Atat, Mostafa Rizk

Subjects: Software Engineering (cs.SE)

[22] arXiv:1207.4269 [pdf, other]

Title: A Parametric Counterexample Refinement Approach for Robust Timed Specifications

Louis-Marie Traonouez (Aalborg University)

Comments: In Proceedings FIT 2012, arXiv:1207.3485

Journal-ref: EPTCS 87, 2012, pp. 17-33

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

[23] arXiv:1207.4474 [pdf, other]

Title: On Model Based Synthesis of Embedded Control Software

Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

Comments: Accepted for publication by EMSOFT 2012. arXiv admin note: substantial text overlap with arXiv:1107.5638,arXiv:1207.4098

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

[24] arXiv:1207.4938 [pdf, other]

Title: A Methodology to manage victim components using CBO measure

N. Md. Jubair Basha, Salman Abdul Moiz

Comments: 10 pages, 3 figures. arXiv admin note: text overlap with arXiv:1202.5609

Journal-ref: International Journal of Software Engineering & Applications (IJSEA), Vol.3, No.2, March 2012, 87-96

Subjects: Software Engineering (cs.SE)

[25] arXiv:1207.4940 [pdf, other]

Title: Ontology for Cellular Communication

Hasni Neji

Comments: 4 pages, the Tunisian Japanese Symposium on Science, Society and Technology, Tunisia, NOVEMBER 11th-13th 2011; Proceedings of the Tunisian Japanese Symposium on Science, Society and Technology, Tunisia, 2011

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