APAKAH MAKSUD CREÓL dalam ROMANIA?
Definisi creól dalam kamus Romania
(1) Orang putih yang dilahirkan di Amerika Latin atau koloni lain, keturunan penjajah pertama. 2) Orang yang dilahirkan oleh orang tua daripada baka yang berbeza. [Sil. cre-ol]
ROMANIA BUKU YANG BERKAIT DENGAN «CREÓL»
Ketahui penggunaan
creól dalam pilihan bibliografi berikut. Buku yang berkait dengan
creól dan ekstrak ringkas dari yang sama untuk menyediakan konteks penggunaannya dalam kesusasteraan Romania.
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 ...