posted by user: grayswandir || 4575 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

PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
FASE 2020   Fundamental Approaches to Software Engineering
JSE 2020   9th International Conference on Software Engineering and Applications
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
Logos & Littera 2020   Logos & Littera: Journal of Interdisciplinary Approaches to Text
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus