01088216

a

01088216 Broy, Manfred Mathematical methods in system and software engineering. Broy, Manfred (ed.) et al., Mathematical methods in program development. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 30--August 11, 1996. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 158, 271-312 (1997). 1997 Berlin: Springer EN software engineering Summary: Today, there is still a remarkable gap between the techniques and methods used in practice in software engineering and the formal techniques worked out and advocated by academics. Our goal is to close that gap and to bring together the pragmatic and mostly informal ideas in systems and software engineering used in practice and the mathematical techniques for the formal specification, refinement, and verification of software systems.