Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Eduard Kamburjan"'
Publikováno v:
Applied Computing and Geosciences, Vol 21, Iss , Pp 100152- (2024)
The field of geology has been the subject of a range of research efforts aiming to formalize geological domain knowledge, notably through geological domain ontologies. The main focus of existing geological ontologies primarily lies in describing stat
Externí odkaz:
https://doaj.org/article/8f723e750b5f4156862cc9cc9b5f6ace
Autor:
Eduard Kamburjan, Jonas Stromberg
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 70-85 (2019)
Development processes in various engineering disciplines are incorporating formal models to ensure safety properties of critical systems. The use of these formal models requires to reason about their adequacy, i.e., to validate that a model mirrors t
Externí odkaz:
https://doaj.org/article/af94e9e7deed41ce88b964bd67b44700
Autor:
Eduard Kamburjan, Reiner Hähnle
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 279, Iss Proc. ICE 2018, Pp 52-67 (2018)
We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use established Software Engineering concepts, including software product l
Externí odkaz:
https://doaj.org/article/e4a3539c6d334b03bd8ab1226e43c7b4
Autor:
Eduard Kamburjan, Crystal Chang Din
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783031308253
Knowledge bases have been extensively used to represent and reason about static domain knowledge. In this work, we show how to enforce domain knowledge about dynamic processes to guide executions at runtime. To do so, we map the execution trace to a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e37880f357680671248abfc4675bc42a
https://doi.org/10.1007/978-3-031-30826-0_12
https://doi.org/10.1007/978-3-031-30826-0_12
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::967841901444851e1235d3f3666ee296
https://doi.org/10.1007/978-3-031-19756-7_24
https://doi.org/10.1007/978-3-031-19756-7_24
Autor:
Eduard Kamburjan, Einar Broch Johnsen
Publikováno v:
2022 Annual Modeling and Simulation Conference (ANNSIM).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::599800ea760659f152e04b31d3508014
https://doi.org/10.23919/annsim55834.2022.9859490
https://doi.org/10.23919/annsim55834.2022.9859490
Publikováno v:
Science of Computer Programming. 226:102928
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::22edeb3723f8a4bf25a08587bfa12224
https://doi.org/10.1016/j.scico.2023.102928
https://doi.org/10.1016/j.scico.2023.102928
Autor:
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, S. Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031197611
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c428d8f1d4cd3a80d7b1f6d37a378ee1
https://doi.org/10.1007/978-3-031-19762-8_6
https://doi.org/10.1007/978-3-031-19762-8_6
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a46766324a138d497a3e26a0d707d9cd
https://doi.org/10.1007/978-3-031-19756-7_15
https://doi.org/10.1007/978-3-031-19756-7_15
Autor:
Eduard Kamburjan, Sandro Rama Fiorini
Publikováno v:
The Logic of Software. A Tasting Menu of Formal Methods ISBN: 9783031081651
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03bf068459ab80d70d5bb656cd07b9c9
https://doi.org/10.1007/978-3-031-08166-8_13
https://doi.org/10.1007/978-3-031-08166-8_13