This book constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002, held in Grenoble, France, in April 2002. The 21 revised full papers and four tool presentations were carefully reviewed and selected from almost 60 submissions. The papers are organized in topical sections on formal frameworks, model and program analysis, architecture descriptions, meta-models, formal approaches towards UML, and requirements engineering.Alloy: A lightweight object modelling notation. htpp: //sdg. lcs .mit . edu/aquot;dnj /pubs/ alloy- journal . pdf, July 2000. 10. ... ESC/Java usera#39;s manual. Technical Note # 2000-002, Compaq Systems Research Center, Palo Alto, USA, May 2000. 13.
|Title||:||Fundamental Approaches to Software Engineering|
|Author||:||Ralf-Detlef Kutsche, Herbert Weber|
|Publisher||:||Springer - 2002-04-29|