Integrating formal and informal specification techniques. why? how?
Jean‐Michel Bruel, Betty H. C. Cheng, Steve Easterbrook, Robert France, Bernhard Rumpe⋆ · 2005
This paper is an overview of the panel session on integrating specification techniques that was held in the International Workshop on Industrial-strength Formal Techniques in October 22nd 1998. Betty Cheng, from Michigan State University, Steve Easterbrook, from NASA, Robert B. France, from Colorado State University, and Bernhard Rumpe from Munich University of Technology were the panelists of this session. 1. Introduction In the day to day activity of developing systems, integrated environments are used frequently. Like object orientation few years ago, it seems that if a tool vendor wants to propose a cutting edge tool, it has to use an integrated approach in some way. But what does integration means? What is the difference between integration, translation, derivation, and other similar terms? One can tell that integration implies the use, in a given development process, of more than one notation, model, or method. But is a method that utilizes a number of modeling views also an...