CHE SIGNIFICA CREÓL IN RUMENO
definizione di creól nel dizionario rumeno
(1) Persona bianca nata in America Latina o in altre colonie, discendente dei primi colonizzatori. 2) Una persona nata da genitori di razze diverse. [Sil. cre-olo]
10 LIBRI IN RUMENO ASSOCIATI CON «CREÓL»
Scopri l'uso di
creól nella seguente selezione bibliografica. Libri associati con
creól e piccoli estratti per contestualizzare il loro uso nella letteratura.
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 ...