J. Hulaas. 1995. Introduction to Object-Oriented Mixed Prototyping with Algebraic Specifications. Technical Report 95/155, Department of Computer Science, Swiss Federal Institute of Technology, Lausanne (Oct.). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Exploiting Various Levels of Semantics in CO-OPN for the.. - Buchs, Hulaas, Racloz Self-citation (Hulaas) (Correct)
....is actually used. The prototype objects are initialized at program start up according to the developer s indications in an auxiliary configuration file. It is not the purpose of this paper to give any further details about the realization of this mechanism. Interested readers can consult [15]. 5 The simulator The reachability graph of the system is built during its simulation. When there is no simulation in process, the states graph can be explored. Different facilities are offered to perform this exploration. The environment provides three main means for interaction: a step by step ....
J. Hulaas. 1995. Introduction to Object-Oriented Mixed Prototyping with Algebraic Specifications. Technical Report 95/155, Department of Computer Science, Swiss Federal Institute of Technology, Lausanne (Oct.).
An Evolutive Distributed Algebraic Petri Nets Simulator - Hulaas (1996) (1 citation) Self-citation (Hulaas) (Correct)
....is actually used. The prototype objects are initialized at program startup according to the developer s indications in an auxiliary configuration file. It is not the purpose of this paper to give any further details about the realization of this mechanism. Interested readers can consult (Hulaas 1995). EXAMPLES We show in this section some possible scenarios of evolutive prototyping of a Petri net simulator. They illustrate the fact that while there is a clear separation between the abstract and concrete code, it is still possible to perform farreaching modifications to the prototype. ....
Hulaas, J. 1995. "Introduction to Object-Oriented Mixed Prototyping with Algebraic Specifications." Technical Report 95/155, Department of Computer Science, Swiss Federal Institute of Technology, Lausanne (Oct.).
Evolutive Prototyping of Heterogeneous Distributed Systems.. - Buchs, Hulaas (1996) (2 citations) Self-citation (Hulaas) (Correct)
....of) Abstract class Concrete class Symbolic class Inherits from (and implements) In procs. IEEE International conference on Systems, Man and Cybernetics SMC 96 , Beijing, China, Oct. 14 17, 1996. corresponding operations in concrete classes. More information on this subject may be found in [15]. The prototyping tool can automatically generate sub classes of the concrete class, which compare, under certain restrictions, the results of the abstract operations which are supposed correct with those of their concrete versions, and thus provide a form of dynamic validation. Figure 3 ....
J. Hulaas, "Introduction to Object-Oriented Mixed Prototyping with Algebraic Specifications", Technical Report 95/155, EPFL-DI-LGL, 1995.
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