FASE 2000

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain5.svg

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
Loading map...

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