FASE 2000

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
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":52.510885,"lon":13.3989367,"icon":""}],"imageoverlays":null}
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