posted by user: grayswandir || 763 views || tracked by 14 users: [display]

FASE 2018 : 21st International Conference on Fundamental Approaches to Software Engineering

FacebookTwitterLinkedInGoogle


Conference Series : Fundamental Approaches to Software Engineering
 
Link: https://www.etaps.org/index.php/2018/fase
 
When Apr 14, 2018 - Apr 21, 2018
Where Thessaloniki, Greece
Abstract Registration Due Oct 13, 2017
Submission Deadline Oct 20, 2017
Notification Due Dec 22, 2017
Final Version Due Jan 19, 2018
Categories    formal methods   software engineering
 

Call For Papers

FASE is concerned with the foundations on which software engineering is built. Submissions should make novel contributions to making software engineering a more mature and soundly-based discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all such fundamental approaches, including:

Software engineering as an engineering discipline, including its interaction with and impact on society;
Requirements engineering: capture, consistency, and change management of software requirements;
Software architectures: description and analysis of the architecture of individual systems or classes of applications;
Specification, design, and implementation of particular classes of systems: adaptive, collaborative, embedded, distributed, mobile, pervasive, or service-oriented applications;
Software quality: validation and verification of software using theorem proving, model checking, testing, analysis, refinement methods, metrics or visualisation techniques;
Model-driven development and model transformation: meta-modelling, design and semantics of domain-specific languages, consistency and transformation of models, generative architectures;
Software processes: support for iterative, agile, and open source development;
Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change, or aspect-orientation.

Related Resources

ICSE Workshops 2018   ACM Workshops@International Conference on Software Engineering
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
ENASE 2018   13th International Conference on Evaluation of Novel Approaches to Software Engineering
ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
ESEC/FSE 2018   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
IJITMC 2017   International Journal of Information Technology, Modeling and Computing
ICSE 2019   International Conference on Software Engineering
LICS 2018   Logic in Computer Science
IoT-Education 2018   Special Session on The Internet of Things for Educators and Learners - Within the 13th International Conference on Evaluation of Novel Approaches to Software Engineering-ENASE 18
IJRAP 2017   International Journal of Recent advances in Physics