रोमेनियन में CREÓL का क्या अर्थ होता है?
ध्यान दें: परिभाषा का रोमेनियनमें स्वचालित अनुवाद किया गया है। रोमेनियन में «creól» की
मूल परिभाषा देखने के लिए क्लिक करें।
हिन्दी में परिभाषा का
स्वचालित अनुवाद देखने के लिए क्लिक करें।
रोमेनियनशब्दकोश में creól की परिभाषा
(1) लैटिन अमेरिका या अन्य उपनिवेशों में पैदा हुए सफेद व्यक्ति, पहले उपनिवेशवादियों के वंशज 2) विभिन्न नस्लों के माता-पिता से पैदा हुए व्यक्ति [सिल। रचनात्मक-ओएल] CREÓL ~ă (~i, ~e) m. și f. 1) Persoană albă născută în America Latină sau în alte colonii, urmașă a primilor colonizatori. 2) Persoană născută din părinți de rase diferite. [Sil. cre-ol]
ध्यान दें: परिभाषा का रोमेनियनमें स्वचालित अनुवाद किया गया है। रोमेनियन में «creól» की
मूल परिभाषा देखने के लिए क्लिक करें।
हिन्दी में परिभाषा का
स्वचालित अनुवाद देखने के लिए क्लिक करें।
रोमेनियन किताबें जो «CREÓL» से संबंधित हैं
निम्नलिखित ग्रंथसूची चयनों में
creól का उपयोग पता करें।
creól aसे संबंधित किताबें और रोमेनियन साहित्य में उसके उपयोग का संदर्भ प्रदान करने वाले उनके संक्षिप्त सार।.
1
Formal Methods for Components and Objects: 7th ... - Pagina 43
Creol [6] is a modelling language with these features. The semantics of Creol is formally defined in rewriting logic [7] and is executable in Maude [8]. Creol has a compositional Hoare-style proof system [9]. This proof system is significantly ...
Marcello M. Bonsangue, Eric Madelaine, 2009
2
Formal Verification of Object-Oriented Software: ... - Pagina 106
There is also a need for methodology and tools that can be used to investigate system properties and robustness. Creol is an executable modeling language introduced in [12,13] that tries to address these challenges. It is tailored for modeling ...
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov, 2012
3
Formal Methods and Software Engineering: 12th ... - Pagina 647
Our work is based on Creol [10,17], a modeling language for concurrent objects communicating by asynchronous method calls. Creol has an operational semantics in rewriting logic [21] which is executable on Maude [9]. Concurrent objects ...
Jin Song Dong, Huibiao Zhu, 2010
4
CONCUR 2010 - Concurrency Theory: 21th International ... - Pagina 3
Further, we test conformance between the Real-Time Creol model of a thread pool and its behavioral abstractions as described above. Related work. We extend Creol with explicit scheduling strategies and a duration statement to specify ...
Paul Gastin, Francois Laroussinie, 2010
5
Formal Methods and Software Engineering: 11th ... - Pagina 368
The core of this methodology consists of two different executable modeling languages: Creol [13] is a high-level object-oriented modeling language for describing the interactions between concurrent objects. Creol focuses on modeling the ...
Karin Breitman, Ana Cavalcanti, 2009
6
Formal Methods for Components and Objects: Third ... - Pagina 274
Asynchronous method calls have been proposed in the Creol language, reducing the cost of waiting for replies in the distributed environment while avoiding low-level synchronization constructs such as explicit signaling. A lack of reply to a ...
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, 2005
7
Fundamentals of Software Engineering: 5th International ... - Pagina 95
Creol [8] and ABS [7] combine a message-passing concurrency model and a cooperative concurrency model. In Creol, each object encapsulates a thread of control and objects communicate with each other using asynchronous method calls.
Farhad Arbab, Marjan Sirjani, 2013
8
Theoretical Aspects of Computing - ICTAC 2008: 5th ... - Pagina 321
Creol is a high-level executable modeling language for concurrent objects in which such scheduling may be left underspecified [9]. The language has a formal semantics defined in rewriting logic [11] and executes on the Maude platform [3].
John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun, 2008
9
Formal Techniques for Distributed Systems: Joint 11th IFIP ...
In the remainder of this section, we present Creol and point out its essential features for DSE. A concurrent object in Creol executes a number of processes that have access to its local state. Each process corresponds to the activation of one of ...
David Lee, Antonia Lopes, Arnd Poetzsch-Heffter, 2009
10
Tests and Proofs: Third International Conference, TAP ... - Pagina 110
Creol is a high-level executable modeling language targeting distributed systems in which concurrent objects communicate asynchronously [10]. The language decouples communication from synchronization. Furthermore, it allows local ...
