posted by system || 7733 views || tracked by 15 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

ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
VLSIE 2024   5th International Conference on VLSI & Embedded Systems
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
ACM MLMI 2024   ACM--2024 The 7th International Conference on Machine Learning and Machine Intelligence (MLMI 2024)
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
CSIT 2024   11th International Conference on Computer Science and Information Technology
Philosophical Approaches to Games and Ga 2024   Call For Papers - Philosophical Approaches to Games and Gamification: Ethical, Aesthetic, Technological and Political Perspectives
IJME 2024   International Journal of Microelectronics Engineering