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 // International Journal On Advances in Software, volume 3, numbers 1 and 2, 2010

Type: journal

Notes: A free access journal featuring works submitted on an invitation basis only.

Event editions: - there are 26 editions.

ISSN: 1942-2628

Articles: there are 23 articles

Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis
Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra
keywords: Formal methods; Model Driven Engineering; Abstract State Machines; model semantics; model execution and analysis

Video Notation (ViNo): A Formalism for Describing and Evaluating Non-sequential Multimedia Access
Anita Sobe, Laszlo Böszörmenyi, and Mario Taschwer
keywords: Multimedia Formalism; QoS; Caching; CDN; Nonsequential Multimedia

Ontology-based Indexing and Contextualization of Multimedia Documents for Personal Information Management Applications
Annett Mitschick
keywords: personal multimedia document management; semantic metadata; generation; maintenance;

Relying on Testability Concepts to ease Validation and Verification activities of AIRBUS Systems
Fassely Doumbia, Odile Laurent, Chantal Robach, and Michel Delaunay
keywords: requirement; data-flow design; testability flows; testability measures; testing strategy; test; coverage analysis

Towards a Deterministic Business Process Modelling Method based on Normalized Systems Theory
Dieter Van Nuffel, Herwig Mannaert, Carlos De Backer, and Jan Verelst
keywords: Normalized Systems, Business Process Engineering, Business Process Modelling, BPMN

Adaptive Object-Models: a Research Roadmap
Hugo Sereno Ferreira, Filipe Figueiredo Correia, Ademar Aguiar, and Jõao Pascoal Faria
keywords: Architectural Structures and Viewpoints, Design Patterns, Families of Programs and Frameworks.

Goal Sketching from a Concise Business Case
Kenneth Boness and Rachel Harrison
keywords: goal-oriented requirements engineering; project management; agile development.

A Meta-model for Problem Frames: Conceptual Issues and Tool Building Support
Pietro Colombo, Luigi Lavazza, Alberto Coen-Porisini, and Vieri del Bianco
keywords: meta-modeling; modeling tools; problem frames

Understanding Frameworks Collaboratively : Tool Requirements
Nuno Flores and Ademar Aguiar
keywords: Frameworks; Understanding; Collaborative; Tools; Requirements

Automatic Identification of Cohesive Structures within Modularity Reengineering
Anja Bog, Oleksandr Panchenko, Kai Spichale, and Alexander Zeier
keywords: Source code organization, Restructuring, reverse engineering, and reengineering, Metrics

Requirement-driven Scenario-based Testing Using Formal Stepwise Development
Qaisar A. Malik, Linas Laibinis, Dragos Truscan, and Johan Lilius
keywords: Scenario-based testing; Requirements Traceability; Event-B; Formal Refinement; JUnit;

Integrating Quality Modeling in Software Product Lines
Joerg Bartholdt, Roy Oberhauser, Andreas Rytina, and Marcel Medak
keywords: variability; software product lines; quality modeling; feature modeling

Enabling Innovations in Mobile-Learning: A Context-aware and Service-based Middleware
Sergio Martin, Elio Sancristobal, Rosario Gil, Gabriel Díaz, Manuel Castro, Juan Peire, Mihail Milev, and Nevena Mileva
keywords: context-awareness, e-learning, framework, location, LMS, mobile learning, ubiquity

Sources of Software Requirements Change from the Perspectives of Development and Maintenance
Sharon McGee and Des Greer
keywords: Requirements change; requirements management; project management; card sorting; software evolution; development; maintenance.

Equipping Software Engineering Apprentices with a Repertoire of Practices
Vincent Ribaud and Philippe Saliou
keywords: reflective practitioner, software engineering processes, Course-of-Action, semantic wiki.

Modernization of a Legacy Application: Does it Have to be Hard?
Arne Koschel, Carsten Kleiner, and Irina Astrova
keywords: service-oriented architecture; mainframe; legacy integration; experience report; Web service

Human-Computer Interaction Design Patterns: Structure, Methods, and Tools
Christian Kruschitz and Martin Hitz
keywords: HCI patterns, History, Organization, Evaluation, Validation, Standardization

Metrics for the Evaluation of Adaptivity Aspects in Software Systems
Claudia Raibulet and Laura Masciadri
keywords: adaptivity, adaptive systems, evaluation, software metrics.

A Quality Criteria Framework for Pattern Validation
Daniela Wurhofer, Marianna Obrist, Elke Beck, and Manfred Tscheligi
keywords: patterns; validation; quality framework; validation methods; case study.

Adaptable and Adaptive Visualizations in Concept-oriented Content Management Systems
Hans-Werner Sehring
keywords: concept-oriented content management; adaptive user interfaces; personalization; content distribution

A Practical Approach to Distributed Metascheduling
Janko Heilgeist, Thomas Soddemann, and Harald Richter
keywords: Grid computing; metascheduling; resource discovery; decision making

Accelerating Cellular Automata Evolution on Graphics Processing Units
Ludek Žaloudek, Lukáš Sekanina, and Václav Šimek
keywords: cellular automata; parallel computing; GPU; CUDA; genetic alghorithm

Service-Oriented Integration Using a Model-Driven Approach
Philip Hoyer, Michael Gebhart, Ingo Pansa, Aleksander Dikanski, and Sebastian Abeck
keywords: model-driven development; service-oriented integration; Web services; Unified Modeling Language

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