FASE 2000
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at FASE 2000/rating
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: | DE/BE/Berlin, DE/BE, DE |
Important dates | |
Submissions: | 1999/10/18 |
Notification: | 1999/12/13 |
Papers: | Submitted 60 / Accepted 21 (35 %) |
Committees | |
PC chairs: | Thomas Stephen Edward Maibaum |
Keynote speaker: | Wladyslaw M. Turski |
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
Submissions
The deadline for submissions is Monday, 18 October. Submitted papers must be in English and must be unpublished and not submitted for publication elsewhere. Among other things, this means that simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. As accepted papers will be restricted in length to 15 pages in the Springer-Verlag LNCS style, authors are strongly encouraged to adhere to this length and format. In particular, submissions that exceed this length significantly run the risk of immediate rejection. The first page of each paper should contain only the title, authors and affiliations and an abstract.
Important Dates
Monday, 18 October 1999 Deadline for submissions (firm)
Monday, 13 December 1999 Notification to authors
Thursday, 13 January 2000 Final versions due
27 March - 1 April 2000 FASE'2000/ETAPS'2000 conference dates