loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th IEEE International Workshop on Rapid System Prototyping (RSP'02)
Interfacing Software Libraries from Non-deterministic Prototypes
Darmstadt, Germany
July 01-July 03
ISBN: 0-7695-1703-X
ASCII Text
x 
 
Stanislav Chachkov, Didier Buchs, "Interfacing Software Libraries from Non-deterministic Prototypes," Rapid System Prototyping, IEEE International Workshop on, pp. 92, 13th IEEE International Workshop on Rapid System Prototyping (RSP'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/IWRSP.2002.1029743,
author = {Stanislav Chachkov and Didier Buchs},
title = {Interfacing Software Libraries from Non-deterministic Prototypes},
journal ={Rapid System Prototyping, IEEE International Workshop on},
volume = {0},
year = {2002},
issn = {1074-6005},
pages = {92},
doi = {http://doi.ieeecomputersociety.org/10.1109/IWRSP.2002.1029743},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Rapid System Prototyping, IEEE International Workshop on
TI - Interfacing Software Libraries from Non-deterministic Prototypes
SN - 1074-6005
SP
EP
A1 - Stanislav Chachkov,
A1 - Didier Buchs,
PY - 2002
KW - null
VL - 0
JA - Rapid System Prototyping, IEEE International Workshop on
ER -
 
Stanislav Chachkov, Swiss Federal Institute of Technology
Didier Buchs, Swiss Federal Institute of Technology
Modeling soft are systems is one of the most obvious uses of a formal specification language. A software prototype, automatically generated from the specification, enables the developer to validate the system in real environment. However, real software systems are seldom developed from scratch, but rather built using existing libraries. In this paper we show how a program based on existing software libraries is modeled in the CO-OPN specification language and how a prototype code is generated from the specification. In particular, we study the interface between nondeterminist synchronous prototypes and determinist asynchronous software libraries.
Citation:
Stanislav Chachkov, Didier Buchs, "Interfacing Software Libraries from Non-deterministic Prototypes," rsp, pp.92, 13th IEEE International Workshop on Rapid System Prototyping (RSP'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.