m (Text replacement - "|User:Curator 65" to "|Tib") |
(mobo import Concept___Events-migrated) |
||
| Line 12: | Line 12: | ||
|wikidataid=Q106426934 | |wikidataid=Q106426934 | ||
|City=Berlin | |City=Berlin | ||
| − | |Country= | + | |Country=Country:DE |
| − | |||
|Notification=1999/12/13 | |Notification=1999/12/13 | ||
|has program chair=Thomas Stephen Edward Maibaum | |has program chair=Thomas Stephen Edward Maibaum | ||
| Line 29: | Line 28: | ||
|Start Date=2000/03/25 | |Start Date=2000/03/25 | ||
|End Date=2000/04/02 | |End Date=2000/04/02 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=presence | ||
}} | }} | ||
The 3. International Conference on Fundamental Approaches to Software Engineering (FASE)2000 | The 3. International Conference on Fundamental Approaches to Software Engineering (FASE)2000 | ||
Revision as of 14:10, 6 September 2022
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
