Software Engineering

Authors and titles for cs.SE in Apr 2014

[1]  arXiv:1404.0417 [pdf, other]

Title: Mining Idioms from Source Code

Authors: Miltiadis Allamanis, Charles Sutton

Subjects: Software Engineering (cs.SE)

[2]  arXiv:1404.0436 [pdf, ps, other]

Title: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures

Authors: Bara Buhnova (Masaryk University, Czech Republic), Lucia Happe (Karlsruhe Institute of Technology, Germany), Jan Kofroň (Charles University in Prague, Czech Republic)

Journal-ref: EPTCS 147, 2014

Subjects: Software Engineering (cs.SE)

[3]  arXiv:1404.0698 [pdf, other]

Title: Adaptability Checking in Multi-Level Complex Systems

Authors: Emanuela Merelli, Nicola Paoletti, Luca Tesei

Comments: 57 page, 10 figures, research papaer, submitted

Subjects: Software Engineering (cs.SE)

[4]  arXiv:1404.0846 [pdf, other]

Title: Towards Verifying Safety Properties of Real-Time Probabilistic Systems

Authors: Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz Schmidt

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 1-15

Subjects: Software Engineering (cs.SE)

[5]  arXiv:1404.0847 [pdf, other]

Title: Execution Time Analysis for Industrial Control Applications

Authors: Stefan Stattelmann (ABB Corporate Research, Ladenburg, Germany), Manuel Oriol (ABB Corporate Research, Baden-Dättwil, Switzerland), Thomas Gamer (ABB Corporate Research, Ladenburg, Germany)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 16-31

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

[6]  arXiv:1404.0848 [pdf, other]

Title: Component Substitution through Dynamic Reconfigurations

Authors: Arnaud Lanoix (LINA CNRS and Nantes University), Olga Kouchnarenko (FEMTO-ST CNRS and University of Franche-Comté)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 32-46

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

[7]  arXiv:1404.0849 [pdf, other]

Title: Comprehensive Monitor-Oriented Compensation Programming

Authors: Christian Colombo (University of Malta), Gordon J. Pace (University of Malta)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 47-61

Subjects: Software Engineering (cs.SE)

[8]  arXiv:1404.0850 [pdf, other]

Title: Application of Ontologies in Identifying Requirements Patterns in Use Cases

Authors: Rui Couto (University of Minho), António Nestor Ribeiro (University of Minho), José Creissac Campos (University of Minho)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 62-76

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

[9]  arXiv:1404.0851 [pdf, other]

Title: A model-driven approach to broaden the detection of software performance antipatterns at runtime

Authors: Antinisca Di Marco (University of L'Aquila), Catia Trubiani (University of L'Aquila)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 77-92

Subjects: Software Engineering (cs.SE); Performance (cs.PF)

[10]  arXiv:1404.0852 [pdf, other]

Title: Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking

Authors: Faiz UL Muram, Huy Tran, Uwe Zdun

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 93-107

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

[11]  arXiv:1404.0853 [pdf, other]

Title: Correct-by-construction model composition: Application to the Invasive Software Composition method

Authors: Mounira Kezadri Hamiaz (Université de Toulouse, IRIT, France), Marc Pantel (Université de Toulouse, IRIT, France), Benoît Combemale (Université de Rennes 1, IRISA, France), Xavier Thirioux (Université de Toulouse, IRIT, France)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 108-122

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

[12]  arXiv:1404.0855 [pdf, other]

Title: Transformation of UML Behavioral Diagrams to Support Software Model Checking

Authors: Luciana Brasil Rebelo dos Santos (Instituto Nacional de Pesquisas Espaciais - INPE), Valdivino Alexandre de Santiago Júnior (Instituto Nacional de Pesquisas Espaciais - INPE), Nandamudi Lankalapalli Vijaykumar (Instituto Nacional de Pesquisas Espaciais - INPE)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 133-142

Subjects: Software Engineering (cs.SE)

[13]  arXiv:1404.1198 [pdf, ps, other]

Title: Experiences in Developing Time-Critical Systems - The Case Study "Production Cell"

Authors: Jochen Burghardt

Comments: 13 pages; 11 figures

Journal-ref: T. Lindner and C. Lewerentz (eds.), Formal development of reactive systems - Case study production cell, Springer LNCS, Vol.891, p.297-311, 1995

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

[14]  arXiv:1404.1279 [pdf, other]

Title: Event-Flow Graphs for Efficient Path-Sensitive Analyses

Authors: Ahmed Tamrawi, Suresh Kothari

Comments: Technical Report

Subjects: Software Engineering (cs.SE)

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

Title: Proposal of a multiagent-based smart environment for the IoT

Authors: Radoslaw Klimek, Leszek Kotulski

Comments: 10th International Conference on Intelligent Environments (IE'14), 9th Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI'14), Shanghai, China, 30th June-1st of July 2014

Subjects: Software Engineering (cs.SE)

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

Title: Threats Management Throughout the Software Service Life-Cycle

Authors: Erlend Andreas Gjære (SINTEF ICT), Per Håkon Meland (SINTEF ICT)

Comments: In Proceedings GraMSec 2014, arXiv:1404.1634

Journal-ref: EPTCS 148, 2014, pp. 1-14

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

[17]  arXiv:1404.1985 [pdf, other]

Title: Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

Authors: Ludovic Apvrille (Institut Mines-Telecom, Telecom ParisTech, CNRS LTCI), Yves Roudier (EURECOM)

Comments: In Proceedings GraMSec 2014, arXiv:1404.1634

Journal-ref: EPTCS 148, 2014, pp. 15-30

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

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

Title: An Efficient Solution for Model Checking Abstract State Machine Using Bogor

Authors: Saeed Doostali

Comments: 57 pages, 25 figures, 4 tables, Technical Report

Journal-ref: V. Rafe, S. Doostali, ASM2Bogor: An approach for verification of models specified through Asmeta language, Journal of Visual Languages and Computing 23 (5) (2012) 287-298

Subjects: Software Engineering (cs.SE)

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

Title: Transaction Handling in COM, EJB and .NET

Authors: Ditmar Parmeza, Miraldi Fifo

Comments: 17 pages, 8 figures, published at IJSEA Journal Vol. 5, No. 2, March 2014

Journal-ref: International Journal of Software Engineering and Applications (IJSEA), Vol. 5, No. 2, March 2014

Subjects: Software Engineering (cs.SE)

[20]  arXiv:1404.2737 [pdf, other]

Title: User Centered Development of Agent-based Business Process Models and Notations

Authors: Robert Singer

Subjects: Software Engineering (cs.SE)

[21]  arXiv:1404.2939 [pdf, ps, other]

Title: Modeling Enterprise Architecture Using Timed Colored PETRI Net: Single Processor Scheduling

Authors: Saied Pashazadeh, Elham Abdolrahimi Niyari

Comments: 13 pages, 5 figures

Journal-ref: International Journal of Managing Public Sector Information and Communication Technologies (IJMPICT), Vol. 5, No. 1, March 2014

Subjects: Software Engineering (cs.SE)

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

Title: Principles of Antifragile Software

Authors: Martin Monperrus

Comments: see this https URL

Journal-ref: Proceedings of Salon des Refus\'es, 2017

Subjects: Software Engineering (cs.SE)

[23]  arXiv:1404.3186 [pdf, ps, other]

Title: Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

Authors: Favio Demarco, Jifeng Xuan (INRIA Lille - Nord Europe), Daniel Le Berre (CRIL), Martin Monperrus (INRIA Lille - Nord Europe)

Comments: CSTVA'2014, India (2014)

Journal-ref: 6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014), 2014

Subjects: Software Engineering (cs.SE)

[24]  arXiv:1404.3280 [pdf, ps, other]

Title: An Ontology Oriented Architecture for Context Aware Services Adaptation

Authors: Hatim Guermah, Tarik Fissaa, Hatim Hafiddi, Mahmoud Nassar, Abdelaziz Kriouile

Comments: 10 pages, 5 figures, IJCSI (International Journal of Computer Science Issues)

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

Subjects: Software Engineering (cs.SE)

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

Title: An Approach for Computing Dynamic Slice of Concurrent Aspect-Oriented Programs

Authors: Abhishek Ray, Siba Mishra, Durga Prasad Mohapatra

Comments: 20 pages. arXiv admin note: text overlap with arXiv:1403.0100

Journal-ref: International Journal of Software Engineering and Its Applications, Vol. 7, No. 1, January, 2013

Subjects: Software Engineering (cs.SE)