Seamless development with the Eiffel method

Abstract

Summary form only given, as follows. Traditional software engineering techniques have introduced damaging gaps between successive activities of software development. The Eiffel method, with its emphasis on full lifecycle coverage and its reliance on the central technique of Design by Contract as a unifying theme for all software activities, provides an integrated approach to activities of analysis, design, implementation and maintenance. The tutorial will introduce the essential elements of the method and show the new paradigm of software development made possible by Eiffel's emphasis on seamlessness and reversibility. Biography: