Software Engineering - ESEC-FSE '97

Software Engineering: An unconsummated marriage (extended abstract).- Subtypes for specifications.- Developing multimedia applications with the WinWin Spiral Model.- What we teach sofware engineers in the university: Do we take engineering seriously?.- What we expect from software engineers in the industry.- Security issues in distributed software.- A framework for classifying and comparing architecture description languages.- Applying static analysis to software architectures.- Making design patterns explicit in FACE.- TTM15 - a large multi-site improvement project.- Change management needs integrated process and configuration management.- The design of a next-generation process language.- Software release management.- A contextual approach for process-integrated tools.- Generic fuzzy reasoning nets as a basis for reverse engineering relational database applications.- Providing automated support to deductive analysis of time critical systems.- Verification of liveness properties using compositional reachability analysis.- Model checking graphical user interfaces using abstractions.- Comparing and combining software defect detection techniques: A replicated empirical study.- Experiences with criticality predictions in software development.- Validating the defect detection performance advantage of group designs for software reviews: Report of a laboratory experiment using program code.- Integration of sequential scenarios.- A view-oriented approach to system modelling based on graph transformation.- A design framework for internet-scale event observation and notification.- Refining data flow information using infeasible paths.- Feasible test path selection by principal slicing.- Cryptographic verification of test coverage claims.- A C++ data model supporting reachability analysis and dead code detection.- The use of program profiling for software maintenance with applications to the year 2000 problem.- Reduction and slicing of hierarchical state machines.- A