DataSys 2020 Congress
September 27, 2020 to October 01, 2020 - Lisbon, Portugal

  • AICT 2020, The Sixteenth Advanced International Conference on Telecommunications
  • ICIW 2020, The Fifteenth International Conference on Internet and Web Applications and Services
  • ICIMP 2020, The Fifteenth International Conference on Internet Monitoring and Protection
  • SMART 2020, The Ninth International Conference on Smart Cities, Systems, Devices and Technologies
  • IMMM 2020, The Tenth International Conference on Advances in Information Mining and Management
  • INFOCOMP 2020, The Tenth International Conference on Advanced Communications and Computation
  • MOBILITY 2020, The Tenth International Conference on Mobile Services, Resources, and Users
  • SPWID 2020, The Sixth International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems
  • ACCSE 2020, The Fifth International Conference on Advances in Computation, Communications and Services

InfoSys 2020 Congress
September 27, 2020 to October 01, 2020 - Lisbon, Portugal

  • ICNS 2020, The Sixteenth International Conference on Networking and Services
  • ICAS 2020, The Sixteenth International Conference on Autonomic and Autonomous Systems
  • ENERGY 2020, The Tenth International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies
  • WEB 2020, The Eighth International Conference on Building and Exploring Web Based Environments
  • DBKDA 2020, The Twelfth International Conference on Advances in Databases, Knowledge, and Data Applications
  • SIGNAL 2020, The Fifth International Conference on Advances in Signal, Image and Video Processing
  • BIOTECHNO 2020, The Twelfth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies

SoftNet 2020 Congress
October 18, 2020 to October 22, 2020 - Porto, Portugal

  • ICSEA 2020, The Fifteenth International Conference on Software Engineering Advances
  • ICSNC 2020, The Fifteenth International Conference on Systems and Networks Communications
  • CENTRIC 2020, The Thirteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
  • VALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle
  • SIMUL 2020, The Twelfth International Conference on Advances in System Simulation
  • SOTICS 2020, The Tenth International Conference on Social Media Technologies, Communication, and Informatics
  • INNOV 2020, The Ninth International Conference on Communications, Computation, Networks and Technologies
  • HEALTHINFO 2020, The Fifth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing

InfoWare 2020 Congress
October 18, 2020 to October 22, 2020 - Porto, Portugal

  • ICCGI 2020, The Fifteenth International Multi-Conference on Computing in the Global Information Technology
  • ICWMC 2020, The Sixteenth International Conference on Wireless and Mobile Communications
  • VEHICULAR 2020, The Ninth International Conference on Advances in Vehicular Systems, Technologies and Applications
  • INTERNET 2020, The Twelfth International Conference on Evolving Internet
  • COLLA 2020, The Tenth International Conference on Advanced Collaborative Networks, Systems and Applications
  • INTELLI 2020, The Ninth International Conference on Intelligent Systems and Applications
  • VISUAL 2020, The Fifth International Conference on Applications and Systems of Visual Paradigms
  • HUSO 2020, The Sixth International Conference on Human and Social Analytics
  • BRAININFO 2020, The Fifth International Conference on Neuroscience and Cognitive Brain Information

NexTech 2020 Congress
October 25, 2020 to October 29, 2020 - Nice, France

  • UBICOMM 2020, The Fourteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
  • ADVCOMP 2020, The Fourteenth International Conference on Advanced Engineering Computing and Applications in Sciences
  • SEMAPRO 2020, The Fourteenth International Conference on Advances in Semantic Processing
  • AMBIENT 2020, The Tenth International Conference on Ambient Computing, Applications, Services and Technologies
  • EMERGING 2020, The Twelfth International Conference on Emerging Networks and Systems Intelligence
  • DATA ANALYTICS 2020, The Ninth International Conference on Data Analytics
  • GLOBAL HEALTH 2020, The Ninth International Conference on Global Health Challenges
  • CYBER 2020, The Fifth International Conference on Cyber-Technologies and Cyber-Systems

ComputationWorld 2020 Congress
October 25, 2020 to October 29, 2020 - Nice, France

  • SERVICE COMPUTATION 2020, The Twelfth International Conference on Advanced Service Computing
  • CLOUD COMPUTING 2020, The Eleventh International Conference on Cloud Computing, GRIDs, and Virtualization
  • FUTURE COMPUTING 2020, The Twelfth International Conference on Future Computational Technologies and Applications
  • COGNITIVE 2020, The Twelfth International Conference on Advanced Cognitive Technologies and Applications
  • ADAPTIVE 2020, The Twelfth International Conference on Adaptive and Self-Adaptive Systems and Applications
  • CONTENT 2020, The Twelfth International Conference on Creative Content Technologies
  • PATTERNS 2020, The Twelfth International Conference on Pervasive Patterns and Applications
  • COMPUTATION TOOLS 2020, The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
  • BUSTECH 2020, The Tenth International Conference on Business Intelligence and Technology

NetWare 2020 Congress
November 15, 2020 to November 19, 2020 - Valencia, Spain

  • SENSORCOMM 2020, The Fourteenth International Conference on Sensor Technologies and Applications
  • SENSORDEVICES 2020, The Eleventh International Conference on Sensor Device Technologies and Applications
  • SECURWARE 2020, The Fourteenth International Conference on Emerging Security Information, Systems and Technologies
  • AFIN 2020, The Twelfth International Conference on Advances in Future Internet
  • CENICS 2020, The Thirteenth International Conference on Advances in Circuits, Electronics and Micro-electronics
  • ICQNM 2020, The Fourteenth International Conference on Quantum, Nano/Bio, and Micro Technologies
  • FASSI 2020, The Sixth International Conference on Fundamentals and Advances in Software Systems Integration
  • GREEN 2020, The Fifth International Conference on Green Communications, Computing and Technologies

DigitalWorld 2020 Congress
November 21, 2020 to November 25, 2020 - Valencia, Spain

  • ICDS 2020, The Fourteenth International Conference on Digital Society
  • ACHI 2020, The Thirteenth International Conference on Advances in Computer-Human Interactions
  • GEOProcessing 2020, The Twelfth International Conference on Advanced Geographic Information Systems, Applications, and Services
  • eTELEMED 2020, The Twelfth International Conference on eHealth, Telemedicine, and Social Medicine
  • eLmL 2020, The Twelfth International Conference on Mobile, Hybrid, and On-line Learning
  • eKNOW 2020, The Twelfth International Conference on Information, Process, and Knowledge Management
  • ALLSENSORS 2020, The Fifth International Conference on Advances in Sensors, Actuators, Metering and Sensing
  • SMART ACCESSIBILITY 2020, The Fifth International Conference on Universal Accessibility in the Internet of Things and Smart Environments

 


ThinkMind // SOFTENG 2016, The Second International Conference on Advances and Trends in Software Engineering

Type: conference

Download: SOFTENG 2016 cover page

Download: SOFTENG 2016 foreword page

Download: SOFTENG 2016 committee page

Download: SOFTENG 2016 table of contents

Download: SOFTENG 2016 full proceedings

Notes: IARIA Conference.

Editors:
Hermann Kaindl, Vienna University of Technology, Austria
Roberto Meli, DPO Srl, Italy

Event editions: - there are 7 editions.

ISSN: 2519-8394

ISBN: 978-1-61208-458-9

Location: Lisbon, Portugal

Dates: from February 21, 2016 to February 25, 2016

Articles: there are 22 articles

Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems
Andrew Edmunds, Marta Olszewska, and Marina Walden
keywords: Agile; Formal Methods; Event-B; Critical Systems

Unifying Modeling and Programming with ALF
Thomas Buchmann and Alexander Rimer
keywords: model-driven development; behavioral modeling; textual concrete sytax; code generation

A Systematic Approach to Assist Designers in Security Pattern Integration
Loukmen Regainia, Cédric Bouhours, and Sébastien Salva
keywords: Model; UML; Security Patterns; Verification

Function Point Analysis with Model Driven Architecture Applied on Frameworks of Partial Code Generation
Rodrigo Salvador Monteiro, Roque Pinel, Geraldo Zimbrão, and Jano Moreira de Souza
keywords: MDA; Metric; Function Point Analysis; AndroMDA; MDArte

Developing Software for Mobile Devices: How to Do That Best
Hermann Kaindl, Roberto Meli, Andreas Kurtz, Bernhard Bauer, and Petre Dini
keywords: mobile device; software development; user interface; Apps; testing.

Developing a Quality Report for Software Maintainability Assessment: An Exploratory Survey
Pascal Giessler, Manuel Gerster, Michael Gebhart, Roland Steinegger, and Sebastian Abeck
keywords: maintainability assessment; software quality; quality report; quality analysis; quality indicators

A Tree-Based Approach to Support Refactoring in Multi-Language Software Applications
Hagen Schink, David Broneske, Reimar Schröter, and Wolfram Fenske
keywords: refactoring; multi-language software application; Java, Clojure, Relational Database

Collecting Product Usage Data Using a Transparent Logging Component
Thorvaldur Gautsson, Jacob Larsson, and Miroslaw Staron
keywords: Logging; usage patterns; features; data analysis.

The ICT Measurement System Definition, Components and a Maturity Evaluation Approach
Roberto Meli
keywords: ICT Measurement System; Metrics Program; maturity model

Distributed Asynchronous Focus Group Interviews
Ulrike Hammerschall
keywords: focus group; distributed asynchronous focus group; requirements elicitation

Applying Privacy by Design in Software Engineering - An European Perspective
Karin Bernsmed
keywords: privacy; PbD; privacy engineering; personal data; EU data protection law

End User in Charge - Social Framework for Open Source Development
Kwabena Ebo Bennin, Mohammed Alqadhi, Shahid Hussain, Arif Ali Khan, Solomon Mensah, and Ernest Pobee
keywords: Open Source Software; OSS; End User; Crowdsourcing; Social development.

Sequence Data Mining Approach for Detecting Type-3 Clones
Yoshihisa Udagawa and Mitsuyoshi Kitamura
keywords: Code clone; Maximal frequent sequence; Longest common subsequence(LCS) algorithm; Java source code.

A Multi-Agent System for Expertise Localization in Software Development
José Ramón Martínez García, Ramón René Palacio Cinco, Joel Antonio Trejo Sánchez, Luis Felipe Rodríguez, and Joaquin Cortez
keywords: expertise,agents and software development

Exploring the Scala Macro System for Compile Time Model-Based Generation of Statically Type-Safe REST Services
Filipe R. R. Oliveira, Hugo Sereno Ferreira, and Tiago Boldt Sousa
keywords: Model-Driven Engineering; REST; Internal DSL; Scala Macros

Migration from Annotation-Based to Composition-Based Product Lines: Towards a Tool-Driven Process
Fabian Benduhn, Reimar Schröter, Andy Kenner, Christopher Kruczek, Thomas Leich, and Gunter Saake
keywords: Software Product Lines; Step-wise Migration; Variabiliy Mechanisms; Implementation Techniques

Executable Testing based on an Agnostic-Platform Modeling Language
Concepción Sanz, Alejandro Salas, Miguel de Miguel, Alejandro Alonso, and Juan Antonio de la Puente
keywords: Model-based testing; Reuse

Software Based Test Automation Approach Using Integrated Signal Simulation
Andreas Kurtz, Bernhard Bauer, and Marcel Koeberl
keywords: Automotive; distributed systems; model based testing; simulation; system model; test model

Mobile Medical Apps Data Security Overview
Ceara Treacy and Fergal Mc Caffery
keywords: Mobile Medical Apps; data security; regulations; data security testing.

Reachability Games Revisited
Imran Khaliq and Gulshad Imran
keywords: reachability games, effort based strategies, memoryless determinacy

Dynamic Symbolic Execution with Interpolation Based Path Merging
Andreas Ibing
keywords: Symbolic execution, interpolation, branch coverage, error coverage

Verification of Architectural Constraints on Interaction Protocols Among Modules
Stuart Siroky, Rodion Podorozhny, and Guowei Yang
keywords: verification; architecture; symbolic execution; call graph.

SERVICES CONTACT
2010 - 2017 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy.