 |
 |
|
DataSys 2023 Congress
June 26, 2023 to June 30, 2023 - Nice, Saint-Laurent-du-Var, France
- AICT 2023, The Nineteenth Advanced International Conference on Telecommunications
- ICIW 2023, The Eighteenth International Conference on Internet and Web Applications and Services
- ICIMP 2023, The Eighteenth International Conference on Internet Monitoring and Protection
- SMART 2023, The Twelfth International Conference on Smart Cities, Systems, Devices and Technologies
- IMMM 2023, The Thirteenth International Conference on Advances in Information Mining and Management
- INFOCOMP 2023, The Thirteenth International Conference on Advanced Communications and Computation
- MOBILITY 2023, The Thirteenth International Conference on Mobile Services, Resources, and Users
- SPWID 2023, The Ninth International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems
- ACCSE 2023, The Eighth International Conference on Advances in Computation, Communications and Services
ComputationWorld 2023 Congress
June 26, 2023 to June 30, 2023 - Nice, Saint-Laurent-du-Var, France
- SERVICE COMPUTATION 2023, The Fifteenth International Conference on Advanced Service Computing
- CLOUD COMPUTING 2023, The Fourteenth International Conference on Cloud Computing, GRIDs, and Virtualization
- FUTURE COMPUTING 2023, The Fifteenth International Conference on Future Computational Technologies and Applications
- COGNITIVE 2023, The Fifteenth International Conference on Advanced Cognitive Technologies and Applications
- ADAPTIVE 2023, The Fifteenth International Conference on Adaptive and Self-Adaptive Systems and Applications
- CONTENT 2023, The Fifteenth International Conference on Creative Content Technologies
- PATTERNS 2023, The Fifteenth International Conference on Pervasive Patterns and Applications
- COMPUTATION TOOLS 2023, The Fourteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
- BUSTECH 2023, The Thirteenth International Conference on Business Intelligence and Technology
NetWare 2023 Congress
September 25, 2023 to September 29, 2023 - Porto, Portugal
- SENSORCOMM 2023, The Seventeenth International Conference on Sensor Technologies and Applications
- SENSORDEVICES 2023, The Fourteenth International Conference on Sensor Device Technologies and Applications
- SECURWARE 2023, The Seventeenth International Conference on Emerging Security Information, Systems and Technologies
- AFIN 2023, The Fifteenth International Conference on Advances in Future Internet
- CENICS 2023, The Sixteenth International Conference on Advances in Circuits, Electronics and Micro-electronics
- ICQNM 2023, The Seventeenth International Conference on Quantum, Nano/Bio, and Micro Technologies
- FASSI 2023, The Ninth International Conference on Fundamentals and Advances in Software Systems Integration
- GREEN 2023, The Eighth International Conference on Green Communications, Computing and Technologies
NexTech 2023 Congress
September 25, 2023 to September 29, 2023 - Porto, Portugal
- UBICOMM 2023, The Seventeenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
- ADVCOMP 2023, The Seventeenth International Conference on Advanced Engineering Computing and Applications in Sciences
- SEMAPRO 2023, The Seventeenth International Conference on Advances in Semantic Processing
- AMBIENT 2023, The Thirteenth International Conference on Ambient Computing, Applications, Services and Technologies
- EMERGING 2023, The Fifteenth International Conference on Emerging Networks and Systems Intelligence
- DATA ANALYTICS 2023, The Twelfth International Conference on Data Analytics
- GLOBAL HEALTH 2023, The Twelfth International Conference on Global Health Challenges
- CYBER 2023, The Eighth International Conference on Cyber-Technologies and Cyber-Systems
TrendNews 2023 Congress
September 25, 2023 to September 29, 2023 - Porto, Portugal
- CORETA 2023, Advances on Core Technologies and Applications
- DIGITAL 2023, Advances on Societal Digital Transformation
SocSys 2023 Congress
November 13, 2023 to November 17, 2023 - Valencia, Spain
SoftNet 2023 Congress
November 13, 2023 to November 17, 2023 - Valencia, Spain
- ICSEA 2023, The Eighteenth International Conference on Software Engineering Advances
- ICSNC 2023, The Eighteenth International Conference on Systems and Networks Communications
- CENTRIC 2023, The Sixteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
- VALID 2023, The Fifteenth International Conference on Advances in System Testing and Validation Lifecycle
- SIMUL 2023, The Fifteenth International Conference on Advances in System Simulation
- SOTICS 2023, The Thirteenth International Conference on Social Media Technologies, Communication, and Informatics
- INNOV 2023, The Twelfth International Conference on Communications, Computation, Networks and Technologies
- HEALTHINFO 2023, The Eighth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing
IARIA Congress 2023, The 2023 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications
November 13, 2023 to November 17, 2023 - Valencia, Spain
|
|
|
|
|
|
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 9 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 - 2022 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy. |
|
|
|
