Difference between revisions of "FASE 2000"
Jump to navigation
Jump to search
| Line 8: | Line 8: | ||
|Start date=2000/03/25 | |Start date=2000/03/25 | ||
|End date=2000/04/02 | |End date=2000/04/02 | ||
| − | |Homepage= | + | |Homepage=https://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/events/00/000327-etaps-fase.html |
|gndId=2182078-8 | |gndId=2182078-8 | ||
|DblpConferenceId=fase/fase2000 | |DblpConferenceId=fase/fase2000 | ||
| Line 23: | Line 23: | ||
}} | }} | ||
The 3. International Conference on Fundamental Approaches to Software Engineering (FASE)2000 | 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 | ||
| + | |||
| + | |||
| + | ==Submissions== | ||
| + | ==Important Dates== | ||
Revision as of 11:23, 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