Difference between revisions of "FASE 2013"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| Line 28: | Line 28: | ||
|has Proceedings DOI=https://doi.org/10.1007/978-3-642-37057-1 | |has Proceedings DOI=https://doi.org/10.1007/978-3-642-37057-1 | ||
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-37057-1 | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-37057-1 | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Tolga.karaarslan | ||
| + | |contributionType=1 | ||
}} | }} | ||
The 16. International Conference on Fundamental Approaches to Software Engineering (FASE) 2013 | The 16. International Conference on Fundamental Approaches to Software Engineering (FASE) 2013 | ||
Latest revision as of 20:24, 1 April 2022
| FASE 2013 | |
|---|---|
International Conference on Fundamental Approaches to Software Engineering
| |
| Ordinal | 16 |
| Event in series | FASE |
| Subevent of | ETAPS 2013 |
| Dates | 2013/03/16 (iCal) - 2013/03/24 |
| Presence | presence |
| Homepage: | https://etaps.org/2013/fase |
| Submitting link: | https://www.easychair.org/account/signin?l=1KWm9kLf54rxidbbAw20gk# |
| Location | |
| Location: | Rome, Italy |
| Important dates | |
| Abstracts: | 2012/10/07 |
| Submissions: | 2012/10/14 |
| Notification: | 2012/12/14 |
| Papers: | Submitted 112 / Accepted 25 (22.3 %) |
| Committees | |
| PC chairs: | Vittorio Cortellessa, Daniel Varró |
| Keynote speaker: | Krzysztof Czarnecki |
| Table of Contents | |
,
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.