Difference between revisions of "FASE 2000"
Jump to navigation
Jump to search
| Line 26: | Line 26: | ||
==Topics== | ==Topics== | ||
| − | *Methods for the design of high quality software, relying on formal | + | *Methods for the design of high quality software, relying on formal approaches to specification, refinement, testing and validation |
| − | approaches to specification, refinement, testing and validation | + | *The use of program derivation and transformation methods to support software production |
| − | *The use of program derivation and transformation methods to support | + | *Integration of formal notations and methods with engineering notations and methods |
| − | software production | + | *Combining programming in the small and programming in the large; design of software architectures |
| − | *Integration of formal notations and methods with engineering notations | + | *Principled approaches to reverse engineering, legacy software, reuse and evolution |
| − | and methods | + | *Case studies of the application of principled Software Engineering methods |
| − | *Combining programming in the small and programming in the large; design | + | *Reports evaluating industrial experience of the use of Software Engineering methods |
| − | of software architectures | + | *Rigorous experimental studies of the effectiveness and applicability of principled methods |
| − | *Principled approaches to reverse engineering, legacy software, reuse and | ||
| − | evolution | ||
| − | *Case studies of the application of principled Software Engineering | ||
| − | methods | ||
| − | *Reports evaluating industrial experience of the use of Software | ||
| − | Engineering methods | ||
| − | *Rigorous experimental studies of the effectiveness and applicability of | ||
| − | principled methods | ||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 11:24, 18 October 2021
| FASE 2000 | |
|---|---|
International Conference on Fundamental Approaches to Software Engineering
| |
| Ordinal | 3 |
| Event in series | FASE |
| Subevent of | ETAPS 2000 |
| Dates | 2000/03/25 (iCal) - 2000/04/02 |
| Presence | presence |
| Homepage: | https://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/events/00/000327-etaps-fase.html |
| Location | |
| Location: | Berlin, Germany |
| Papers: | Submitted 60 / Accepted 21 (35 %) |
| Committees | |
| PC chairs: | Thomas Stephen Edward Maibaum |
| Table of Contents | |
,
The 3. International Conference on Fundamental Approaches to Software Engineering (FASE)2000
Topics
- Methods for the design of high quality software, relying on formal approaches to specification, refinement, testing and validation
- The use of program derivation and transformation methods to support software production
- Integration of formal notations and methods with engineering notations and methods
- Combining programming in the small and programming in the large; design of software architectures
- Principled approaches to reverse engineering, legacy software, reuse and evolution
- Case studies of the application of principled Software Engineering methods
- Reports evaluating industrial experience of the use of Software Engineering methods
- Rigorous experimental studies of the effectiveness and applicability of principled methods