posted by user: grayswandir || 6731 views || tracked by 17 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
Submission Deadline TBD
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

QuASoQ 2022   10th International Workshop on Quantitative Approaches to Software Quality
IEEE--ISCMI 2022   IEEE--2022 9th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2022)--SCIE
CETA 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
CGDEIJ 2022   Computer Game Development and Education: An International Journal
IEEE ICCSN 2023   IEEE--2023 15th International Conference on Communication Software and Networks (ICCSN 2023)
IEEE CAIT 2022   IEEE--2022 The 3rd International Conference on Artificial Intelligence Technology (CAIT 2022)
ESEC/FSE 2023   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
SoICT 2022   The 11th International Symposium on Information and Communication Technology
IEEE CCAI 2023   IEEE--2023 3rd International Conference on Computer Communication and Artificial Intelligence (CCAI 2023)
IEEE-Ei/Scopus-FSPSE 2022   [IEEE/EI/Scopus]2022 International Conference on Frontiers of Signal Processing and Software Engineering (FSPSE 2022)