FME 2001: Formal Methods for Increasing Software Productivity formatIsbn:Softcover 9783540417910 dass es auch anders geht zwischen Reflektion und Handlungsempfehlungen dass es auch anders geht Frontmatter CONTENTS PREFACE CATEGORIES FOR THE CLASSIFICATION OF ARCHIVE MATERIALS KATEGORIEN FÜR DIE EINTEILUNG DER ARCHIV MATERIALIEN ABBREVIATIONS ABKÜRZUNGEN REPORTS ON INDIVIDUALS (ORGANIZATIONS) IN ALPHABETICAL ORDER OF NAMES A B C D E F G H I J K L M N O P R S T U V W Z APPENDIXES COLLECTIONS ABROAD MATERIALS DISPOSED NO LONGER AVAILABLE INDEXES INDEX OF NAMES INDEX OF LOCATIONS This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life cycle There is also an emphasis on the use of formal methods to assist with critical