Zobrazeno 1 - 10
of 216
pro vyhledávání: '"Dingel J"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Joint 12th Educators Symposium and 3rd International Workshop on Open Source Software for Model Driven Engineering, EduSymp+OSS4MDE 2016
Joint 12th Educators Symposium and 3rd International Workshop on Open Source Software for Model Driven Engineering, EduSymp+OSS4MDE 2016, Oct 2016, Saint-Malo, France
Joint 12th Educators Symposium and 3rd International Workshop on Open Source Software for Model Driven Engineering, EduSymp+OSS4MDE 2016, Oct 2016, Saint-Malo, France
Conference of Joint 12th Educators Symposium and 3rd International Workshop on Open Source Software for Model Driven Engineering, EduSymp+OSS4MDE 2016 ; Conference Date: 3 October 2016; Conference Code:127710; International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::ec87b63257fc214e2adc93c2e2d85800
https://hal-cea.archives-ouvertes.fr/cea-01843178
https://hal-cea.archives-ouvertes.fr/cea-01843178
Autor:
Dingel, J.1,2 dingel@cs.queensu.ca, Diskin, Z.3 zdiskin@cs.toronto.edu, Zito, A.4 alanna_zito@ca.ibm.com
Publikováno v:
Software & Systems Modeling. Oct2008, Vol. 7 Issue 4, p443-467. 25p. 16 Diagrams, 6 Charts.
Autor:
S., Manoj Kannan, Dajsuren, Y., Luo, Y., Barosan, I., Antkiewicz, M., Atlee, J., Dingel, J., S, R.
Publikováno v:
International Workshop on Modelling in Automotive Software Engineering (MASE 2015, Ottawa, Canada, September 27, 2015; co-located with MODELS'15), 33-42
STARTPAGE=33;ENDPAGE=42;TITLE=International Workshop on Modelling in Automotive Software Engineering (MASE 2015, Ottawa, Canada, September 27, 2015; co-located with MODELS'15)
STARTPAGE=33;ENDPAGE=42;TITLE=International Workshop on Modelling in Automotive Software Engineering (MASE 2015, Ottawa, Canada, September 27, 2015; co-located with MODELS'15)
The ISO 26262 standard defines functional safety for automotive E/E systems. Since the publication of the first edition of this standard in 2011, many different safety techniques complying to the ISO 26262 have been developed. However, it is not clea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::e98effde39b0982d01eec1e0fde92bfe
https://research.tue.nl/nl/publications/805a13ec-5d32-425d-b1d6-1f52bf9564d8
https://research.tue.nl/nl/publications/805a13ec-5d32-425d-b1d6-1f52bf9564d8
Previous work has presented our ongoing e orts to define a "reference semantics" for the UML, that is, a mathematically defined system model that is envisaged to cover all of the UML eventually, and that also carefully avoids the introduction of any
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5aa68ff2e715d0636ddb49da7fba00e4
http://arxiv.org/abs/1409.6622
http://arxiv.org/abs/1409.6622
Autor:
Zhang, D., Bosnacki, D., Brand, van den, M.G.J., Engelen, L.J.P., Huizing, C., Kuiper, R., Wijs, A.J., Dingel, J., Lara, de, J., Lúcio, L., Vangheluwe, H.
Publikováno v:
Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)), 64-69
STARTPAGE=64;ENDPAGE=69;TITLE=Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014))
STARTPAGE=64;ENDPAGE=69;TITLE=Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014))
We present work in progress on, verified, transformation of a modeling language based on communicating concurrent state machines, SLCO, to Java. Some concurrency related challenges, related to atomicity and non-standard fairness issues, are pointed o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::3387539116633f7dcb30667e1f6b22ab
https://research.tue.nl/nl/publications/98622e25-b6c5-4602-99cd-fffcffeeb2d6
https://research.tue.nl/nl/publications/98622e25-b6c5-4602-99cd-fffcffeeb2d6
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319116525
MoDELS
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28-October 3, 2014 : proceedings, 50-67
STARTPAGE=50;ENDPAGE=67;TITLE=Model-Driven Engineering Languages and Systems
MoDELS
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28-October 3, 2014 : proceedings, 50-67
STARTPAGE=50;ENDPAGE=67;TITLE=Model-Driven Engineering Languages and Systems
Having multiple representations of the same instance is common in software language engineering: models can be visualised as graphs, edited as text, serialised as XML. When mappings between such representations are considered, terms “parsing” and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fce945a46d19966f321e654fb080e069
https://doi.org/10.1007/978-3-319-11653-2_4
https://doi.org/10.1007/978-3-319-11653-2_4
Autor:
Bravetti, Mario, Giusto, Cinzia Di, Pérez, Jorge A., Zavattaro, Gianluigi, Bruni, R., Dingel, J.
Publikováno v:
Lecture Notes in Computer Science
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE)
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.90-105, ⟨10.1007/978-3-642-21461-5_6⟩
Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, June 6-9, 2011. Proceedings: Formal Techniques for Distributed Systems, 90-105
STARTPAGE=90;ENDPAGE=105;TITLE=Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, June 6-9, 2011. Proceedings
Formal Techniques for Distributed Systems ISBN: 9783642214608
FMOODS/FORTE
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE)
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.90-105, ⟨10.1007/978-3-642-21461-5_6⟩
Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, June 6-9, 2011. Proceedings: Formal Techniques for Distributed Systems, 90-105
STARTPAGE=90;ENDPAGE=105;TITLE=Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, June 6-9, 2011. Proceedings
Formal Techniques for Distributed Systems ISBN: 9783642214608
FMOODS/FORTE
International audience; We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::924f665e48af5c4c266b84994ecd824d
https://doi.org/10.1007/978-3-642-21461-5_6
https://doi.org/10.1007/978-3-642-21461-5_6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.