| C. Choppy, "Formal Specifications, Prototyping and Integration Tests", Proc. of the 1st European Software Engineering Conference, 1987. |
....where some modules are abstract, some completely concrete, and some others in an intermediate state, called semi abstract. This situation still allows to execute the prototype, provided that it is in a minimally coherent state. The concept of mixed prototyping was first introduced by Choppy [10]. Figure 1: The concept of mixed prototyping The motivation behind mixed prototyping is that a specification compiler can never be efficient or general enough to cover all the cases encountered in real world systems. Moreover, the developer may want to add functionalities, e.g. customized I O, ....
C. Choppy, "Formal Specifications, Prototyping and Integration Tests", Proc. of the 1st European Software Engineering Conference, 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC