Property |
Value |
dbo:abstract
|
- Rebeca (Reactive Objects Language) ist eine Modellierungssprache für Actor Model basierte Systeme. Sie wird als praxistaugliches Tool entwickelt um die Lücke zwischen formalen Methoden und dem Software Engineering zu schließen. Rebeca wird sowohl an der Universität von Teheran als auch an der Universität von Reykjavík weiterentwickelt. (de)
- Rebeca (Reactive Objects Language) ist eine Modellierungssprache für Actor Model basierte Systeme. Sie wird als praxistaugliches Tool entwickelt um die Lücke zwischen formalen Methoden und dem Software Engineering zu schließen. Rebeca wird sowohl an der Universität von Teheran als auch an der Universität von Reykjavík weiterentwickelt. (de)
|
dbo:originalTitle
|
- Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca (de)
- Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca (de)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageRevisionID
| |
prop-de:autor
|
- Aceto, Luca and Cimi Matteo and Ingolsdottir, Anna, and Reynisson, Arni H. and Sigurdarson, Steinar H. and Sirjani, Marjan
|
prop-de:doi
| |
prop-de:jahr
| |
prop-de:monat
| |
prop-de:online
| |
prop-de:zugriff
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Rebeca (Reactive Objects Language) ist eine Modellierungssprache für Actor Model basierte Systeme. Sie wird als praxistaugliches Tool entwickelt um die Lücke zwischen formalen Methoden und dem Software Engineering zu schließen. Rebeca wird sowohl an der Universität von Teheran als auch an der Universität von Reykjavík weiterentwickelt. (de)
- Rebeca (Reactive Objects Language) ist eine Modellierungssprache für Actor Model basierte Systeme. Sie wird als praxistaugliches Tool entwickelt um die Lücke zwischen formalen Methoden und dem Software Engineering zu schließen. Rebeca wird sowohl an der Universität von Teheran als auch an der Universität von Reykjavík weiterentwickelt. (de)
|
rdfs:label
|
- Rebeca (Informatik) (de)
- Rebeca (Informatik) (de)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is foaf:primaryTopic
of | |