O. Biberstein, D. Buchs, M. Buffo, C. Buffard, J. Flumet, J. Hulaas, G. di Marzo and P. Racloz, `SANDS1.5/ COOPN1.5 An Overview of the Language and its Supporting Tools', Technical Report 95/133, EPFL-DI-LGL, June 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Using the COOPN/2 Formal Method for Groupware Systems.. - Biberstein, Buchs, Guelfi Self-citation (Biberstein Buchs) (Correct)
....The same principle could be applied to any other part of the system and the subtyping relation would be guaranteed based upon behavior preservation. 4.2. 3 Simulation and Prototyping The development of applications in COOPN is supported by the SANDS (Structured Algebraic Net Development System) [6] environment which includes both simulation tools and prototyping tools. The simulation tool is based upon the same techniques as those of the prototyping tool with the exception that the computations are symbolic and are performed on an higher level of abstraction. Our proposal for prototyping ....
O. Biberstein, D. Buchs, M. Buffo, C. Buffard, J. Flumet, J. Hulaas, G. di Marzo and P. Racloz, `SANDS1.5/ COOPN1.5 An Overview of the Language and its Supporting Tools', Technical Report 95/133, EPFL-DI-LGL, June 1995.
Evolutive Prototyping of Heterogeneous Distributed Systems.. - Buchs, Hulaas (1996) (2 citations) Self-citation (Buchs Hulaas) (Correct)
....methodology we call object oriented mixed prototyping (OOMP) which is based on the facilities of object oriented programming languages such as polymorphism and dynamic binding. Our work is done within the frame of the CO OPN 1. 5 (Concurrent Object Oriented Petri Nets) specification language [6][7] and the associated development tool called SANDS (Structured Algebraic Nets Development System) 8] 9] CO OPN is directed towards specification of complex distributed systems. The specification language is based on hierarchical algebraic Petri nets [21] where the Petri nets are used to model ....
D. Buchs, O. Biberstein, M. Buffo, C. Buffard, J. Flumet, J. Hulaas, G. Di Marzo, P. Racloz, "SANDS1.5/CO-OPN1.5: An Overview of the Language and its Supporting Tools", Technical Report #95/133, DI-EPFL, 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