Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Roswitha Bardohl"'
Autor:
Ulrike Stege, Roswitha Bardohl, Frances A. Rosamond, Annette Lessmöllmann, Andreas Schwill, Gordon Bolduan, Stephan Diehl, Uwe Geisler
Publikováno v:
Communications of the ACM. 54:113-116
Why computer scientists should come out from "behind the scenes" more often and work with the media to draw public attention to their fundamental innovations.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a84580b91933733803c154027df45f6
https://doi.org/10.1145/1897852.1897880
https://doi.org/10.1145/1897852.1897880
Autor:
Roswitha Bardohl, Juan de Lara, Ulrike Prange, Gabriele Taentzer, Hartmut Ehrig, Karsten Ehrig
Publikováno v:
Theoretical Computer Science. 376(3):139-163
The aim of this paper is to integrate typed attributed graph transformation with node type inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the attributed type graph with an inheritance relation and a set of ab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b365509656dfea1febe49b99684d57be
Autor:
Claudia Ermel, Roswitha Bardohl
Publikováno v:
Software & Systems Modeling. 3:164-177
Visualizing and simulating formal models in a flexible way becomes increasingly important for the design of complex systems. With GenGED, a tool is available which automatically generates a visual environment to process (create, edit, check, simulate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9e0615a76bf92f0228ca4dcb40c108e
https://doi.org/10.1007/s10270-003-0048-4
https://doi.org/10.1007/s10270-003-0048-4
Autor:
Roswitha Bardohl
Publikováno v:
Science of Computer Programming. 44(2):181-203
The visual environment GENGED supports the visual definition of visual languages (VLs). Each VL is defined by an alphabet and a grammar. From a specific VL-definition, a VL-specification is generated which is the input of a graphical editor allowing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d9d2d626b6dd068589eef262381d700b
Publikováno v:
Electronic Notes in Theoretical Computer Science. 50(3):289-294
G en GE d supports the visual specification of visual languages and the generation of syntax-directed editors. However, syntax-directed editing is not always desired by the user. Therefore we extended G en GE d by parsing facilities which allow for f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c57ac87130ad40091e44514d0dd47e7d
Publikováno v:
Electronic Notes in Theoretical Computer Science. 44:52-66
The paper suggests a two-level approach to describe visually software architectures and their evolution. One visual modeling formalism is used to describe the architecture level while another is used to model the behavior of each component (component
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ea2040c9444e777a851a51e076a8412
https://doi.org/10.1016/s1571-0661(04)80943-5
https://doi.org/10.1016/s1571-0661(04)80943-5
Publikováno v:
Computer Science - Research and Development. 23:3-5
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40473851e8ac0041804833a2ea4ed4b3
https://doi.org/10.1007/s00450-009-0052-1
https://doi.org/10.1007/s00450-009-0052-1
Publikováno v:
Formal Methods in Software and Systems Modeling ISBN: 9783540249368
Formal Methods in Software and Systems Modeling
Formal Methods in Software and Systems Modeling
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This translation depends on a concrete model and may yield large graph trans
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3609941daf9cf470a64024ad506a0512
https://doi.org/10.1007/978-3-540-31847-7_4
https://doi.org/10.1007/978-3-540-31847-7_4
Publikováno v:
Formal Methods in Software and Systems Modeling ISBN: 9783540249368
Formal Methods in Software and Systems Modeling
Formal Methods in Software and Systems Modeling
In this paper we present a framework for developing concurrent object-based systems. The framework is based on graph grammars and includes techniques for specification, simulation, animation and verification.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b95df86410b47c80eccbdcb2a14a3682
https://doi.org/10.1007/978-3-540-31847-7_23
https://doi.org/10.1007/978-3-540-31847-7_23
Publikováno v:
Applications of Graph Transformations with Industrial Relevance ISBN: 9783540221203
AGTIVE
AGTIVE
In this paper, we give a brief overview on GenGED that allows for the visual definition and generation of visual modeling environments. Depending on the underlying visual modeling language, different components are suitable in a visual modeling envir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::993d957df08de21aba15d229bb13d31f
https://doi.org/10.1007/978-3-540-25959-6_30
https://doi.org/10.1007/978-3-540-25959-6_30