(mobo import Concept___Fix_Presence-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 5: | Line 5: | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2013 | |Superevent=ETAPS 2013 | ||
− | |||
|Homepage=https://etaps.org/2013/fase | |Homepage=https://etaps.org/2013/fase | ||
|TibKatId=736579567 | |TibKatId=736579567 | ||
Line 14: | Line 13: | ||
|City=Rome | |City=Rome | ||
|Country=Country:IT | |Country=Country:IT | ||
− | |||
− | |||
|Submitting link=https://www.easychair.org/account/signin?l=1KWm9kLf54rxidbbAw20gk# | |Submitting link=https://www.easychair.org/account/signin?l=1KWm9kLf54rxidbbAw20gk# | ||
|has program chair=Vittorio Cortellessa, Daniel Varró | |has program chair=Vittorio Cortellessa, Daniel Varró | ||
− | |||
|Submitted papers=112 | |Submitted papers=112 | ||
|Accepted papers=25 | |Accepted papers=25 | ||
Line 34: | Line 30: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Abstract Deadline=2012/10/07 | ||
+ | |Notification Deadline=2012/12/14 | ||
+ | |Submission Deadline=2012/10/14 | ||
+ | }} | ||
+ | {{S Event}} | ||
The 16. International Conference on Fundamental Approaches to Software Engineering (FASE) 2013 | The 16. International Conference on Fundamental Approaches to Software Engineering (FASE) 2013 | ||
Revision as of 19:33, 22 September 2022
Deadlines
|
||
Abstract |
|
||
Submission |
|
||
Notification |
Venue
University of Rome, Rome, Latium, Italy
The 16. International Conference on Fundamental Approaches to Software Engineering (FASE) 2013
Topics
- 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.