The Community for Technology Leaders
2014 9th International Conference on Software Paradigm Trends (ICSOFT-PT) (2014)
Vienna, Austria
Aug. 29, 2014 to Aug. 31, 2014
ISBN: 978-9-8975-8079-6
TABLE OF CONTENTS

[Front cover] (PDF)

pp. c1

[Front matter] (PDF)

pp. I-II

Brief contents (PDF)

pp. III

Program committee (PDF)

pp. VII-VIII

Foreword (PDF)

Andreas Holzinger , Medical University Graz, Austria
Jorge Cardoso , University of Coimbra, Portugal
Jose Cordeiro , Polytechnic Institute of Setúbal / INSTICC, Portugal
Marten van Sinderen , University of Twente, The Netherlands
pp. XI-XII

[Blank page] (PDF)

pp. 1

Contents (PDF)

pp. XIII-XIV

[Blank page] (PDF)

pp. 0

[Blank page] (PDF)

pp. 0

[Blank page] (PDF)

pp. 0

Social structures in Software Engineering (PDF)

J. C. van Vliet , Vrije Universiteit, The Netherlands
pp. 0

[Blank page] (PDF)

pp. 0

Model-driven development of multi-view modelling tools the MuVieMOT approach (PDF)

Domenik Bork , Research Group Knowledge Engineering, University of Vienna, Währinger Street 29, 1090, Austria
Dimitris Karagiannis , Research Group Knowledge Engineering, University of Vienna, Währinger Street 29, 1090, Austria
pp. 0

[Blank page] (PDF)

pp. 1

Models (PDF)

pp. 1

[Blank page] (PDF)

pp. 2

Full papers (PDF)

pp. 3

[Blank page] (PDF)

pp. 4

Functional requirements under security PresSuRE (Abstract)

Stephan Fassbender , paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany
Maritta Heisel , paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany
Rene Meis , paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany
pp. 5-16

Propagating model refactorings to graph transformation rules (Abstract)

Sabine Winetzhammer , Applied Computer Science 1 - Software Engineering, University of Bayreuth, Universitätsstraße 30, 95440, Germany
Bernhard Westfechtel , Applied Computer Science 1 - Software Engineering, University of Bayreuth, Universitätsstraße 30, 95440, Germany
pp. 17-28

An LTL semantics of business workflows with recovery (Abstract)

Luca Ferrucci , ISTI-CNR, Pisa, Italy
Marcello M. Bersani , Dipartimento di Elettronica Informazione e Bioingegneria, Politecnico di Milano, Milan, Italy
Manuel Mazzara , Innopolis University, Russia
pp. 29-40

Short papers (PDF)

pp. 41

[Blank page] (PDF)

pp. 42

Real-time reconfigurable scheduling of aperiodic OS tasks on multiprocessor systems (Abstract)

Hamza Gharsellaoui , Higher School of Technology and Computer Science (ESTI), Carthage University, Tunis, Tunisia
Atef Gharbi , National Institute of Applied Sciences and Technology (INSAT), Carthage University, Tunis, Tunisia
Samir Ben Ahmed , National Institute of Applied Sciences and Technology (INSAT), Carthage University, Tunis, Tunisia
pp. 43-48

The impact of agile approaches on software quality attributes an empirical study (Abstract)

Doaa M. Shawky , Engineering Mathematics Department, Faculty of Engineering, Cairo University, Giza 12613, Egypt
Salwa K. Abd-El-Hafiz , Engineering Mathematics Department, Faculty of Engineering, Cairo University, Giza 12613, Egypt
pp. 49-57

Developing user interfaces with EMF parsley (Abstract)

Lorenzo Bettini , Dipartimento di Informatica, Università di Torino, Italy
pp. 58-66

Modelling microservices in email-marketing concepts, implementation and experiences (Abstract)

Martin E. Bruggemann , Research Group for Industrial Software, Vienna University of Technology, Wiedner Hauptstr. 76, 1040, Austria
Raoul Vallon , Research Group for Industrial Software, Vienna University of Technology, Wiedner Hauptstr. 76, 1040, Austria
Aykut Parlak , Research Group for Industrial Software, Vienna University of Technology, Wiedner Hauptstr. 76, 1040, Austria
Thomas Grechenig , Research Group for Industrial Software, Vienna University of Technology, Wiedner Hauptstr. 76, 1040, Austria
pp. 67-71

A meta-modeling approach for extending the instructional design semantics of Learning Management Systems (Abstract)

Esteban Loiseau , Laboratoire d'Informatique de l'Université du Maine, Avenue Olivier Messiaen, Le Mans, France
Pierre Laforcade , Laboratoire d'Informatique de l'Université du Maine, Avenue Olivier Messiaen, Le Mans, France
Sebastien Iksal , Laboratoire d'Informatique de l'Université du Maine, Avenue Olivier Messiaen, Le Mans, France
pp. 72-80

Model weaving and pedagogy mapping abstraction levels in instructional design languages (Abstract)

Esteban Loiseau , Laboratoire d'Informatique de l'Université du Maine, Avenue Olivier Messiaen, Le Mans, France
Pierre Laforcade , Laboratoire d'Informatique de l'Université du Maine, Avenue Olivier Messiaen, Le Mans, France
Sebastien Iksal , Laboratoire d'Informatique de l'Université du Maine, Avenue Olivier Messiaen, Le Mans, France
pp. 81-86

Automated quantitative attributes prediction from architectural description language (Abstract)

Imen Derbel , Institut Superieur de Gestion, Bardo, Tunisia
Lamia Labed Jilani , Institut Superieur de Gestion, Bardo, Tunisia
Ali Mili , New Jersey Institute of Technology, Newark 07102-1982, U.S.A.
pp. 87-94

Refining use cases through temporal relations (Abstract)

Antonio Miguel Rosado da Cruz , Escola Superior de Tecnologia e Gestão, Instituto Politécnico de Viana do Castelo, Av. do Atlântico, s/n, Portugal
pp. 95-102

Semantic resource adaptation based on generic ontology models (Abstract)

Bujar Raufi , Faculty of Contemporary Sciences and Technologies, South East European University, Ilindenska 335, Tetovo, Macedonia
Florije Ismaili , Faculty of Contemporary Sciences and Technologies, South East European University, Ilindenska 335, Tetovo, Macedonia
Jaumin Ajdari , Faculty of Contemporary Sciences and Technologies, South East European University, Ilindenska 335, Tetovo, Macedonia
Mexhid Ferati , Faculty of Contemporary Sciences and Technologies, South East European University, Ilindenska 335, Tetovo, Macedonia
Xhemal Zenuni , Faculty of Contemporary Sciences and Technologies, South East European University, Ilindenska 335, Tetovo, Macedonia
pp. 103-108

Traditional vs Agile development a comparison using chaos theory (Abstract)

Doaa M. Shawky , Engineering Mathematics Department, Faculty of Engineering, Cairo University, Giza 12613, Egypt
pp. 109-114

Measurement of fairness in process models using entropy and stochastic Petri nets (Abstract)

Martin Ibl , Institute of System Engineering and Informatics, University of Pardubice, Czech Republic
pp. 115-120

A visual programming language for soccer (Abstract)

Antonio Belguinha , ISE, University of the Algarve, Faro, Portugal
Pedro Rodrigues , ISE, University of the Algarve, Faro, Portugal
P. J. S. Cardoso , ISE, University of the Algarve, Faro, Portugal
J. M. F. Rodrigues , ISE, University of the Algarve, Faro, Portugal
Domingos Paciencia , ISE, University of the Algarve, Faro, Portugal
pp. 121-127

[Blank page] (PDF)

pp. 128

Aspects (PDF)

pp. 129

[Blank page] (PDF)

pp. 130

Full papers (PDF)

pp. 131

[Blank page] (PDF)

pp. 132

Model-driven development versus aspect-oriented programming a case study (Abstract)

Uwe Hohenstein , Siemens AG, Corporate Technology, Otto-Hahn-Ring 6, D-81730 Muenchen, Germany
Christoph Elsner , Siemens AG, Corporate Technology, Wladimirstr 3, D-91058 Erlangen, Germany
pp. 133-144

Aspect-oriented requirements engineering with problem frames (Abstract)

Stephan Fassbender , paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany
Maritta Heisel , paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany
Rene Meis , paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany
pp. 145-156

Short paper (PDF)

pp. 157

[Blank page] (PDF)

pp. 158

Combining aspect-orientation and UPPAAL timed automata (Abstract)

Dragos Truscan , Åbo Akademi University, Turku, Finland
Juri Vain , Tallinn University of Technology, Estonia
Martin Koskinen , Åbo Akademi University, Turku, Finland
pp. 159-164

Services (PDF)

pp. 165

[Blank page] (PDF)

pp. 166

Short paper (PDF)

pp. 167

[Blank page] (PDF)

pp. 168

The RITMARE Starter Kit bottom-up capacity building for geospatial data providers (Abstract)

Cristiano Fugazza , IREA-CNR, via Bassini 15 - 20133 Milano, Italy
Stefano Menegon , ISMAR-CNR, Arsenale - Tesa 104, Castello 2737/F, 30122 Venezia, Italy
Monica Pepe , IREA-CNR, via Bassini 15 - 20133 Milano, Italy
Alessandro Oggioni , IREA-CNR, via Bassini 15 - 20133 Milano, Italy
Paola Carrara , IREA-CNR, via Bassini 15 - 20133 Milano, Italy
pp. 169-176

Context (PDF)

pp. 177

[Blank page] (PDF)

pp. 178

Short paper (PDF)

pp. 179

[Blank page] (PDF)

pp. 180

On specifying and verifying context-aware systems (Abstract)

Brahim Djoudi , LIRE Laboratory, University of Constantine 2, Algeria
Chafia Bouanaka , LIRE Laboratory, University of Constantine 2, Algeria
Nadia Zeghib , LIRE Laboratory, University of Constantine 2, Algeria
pp. 181-188

Author index (PDF)

pp. 189

[Back cover] (PDF)

pp. c4
92 ms
(Ver 3.3 (11022016))