Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code

Autor: Pepijn Kramer, Arjan J. Mooij, Andrei Radulescu, Dennis Dams, Jaromir Vanhara

Publikováno v: SANER
25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018. 20 March 2018 through 23 March 2018, 2018-March, 552-556

The high-tech industry is faced with ever growing amounts of software to be maintained and extended. To keep the associated costs under control, there is a demand for more human overview and for large-scale code restructurings. Language technology su

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9a6b9e87fe86367a68c74af4ff3a3a5
http://resolver.tudelft.nl/uuid:b9de9e36-7541-4aa0-b67c-d38532016c26

ABCD: A user-friendly language for formal modelling and analysis

Autor: Franck Pommereau

Publikováno v: Lecture Notes in Computer Science
37th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2016)
37th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2016), Jun 2016, Torun, Poland. pp.176--195, ⟨10.1007/978-3-319-39086-4_12⟩
Application and Theory of Petri Nets and Concurrency ISBN: 9783319390857
Petri Nets

International audience; This paper presents an algebra of coloured Petri nets called the Asynchronous Box Calculus with Data, or ABCD for short. ABCD allows to model complex systems using a user-friendly and high-level syntax. In particular, parts of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4bd2609640651ef2135865329e537741
https://hal.science/hal-01352028

TrafficModeler: A Graphical Tool for Programming Microscopic Traffic Simulators through High-Level Abstractions

Autor: Papaleontiou, L. G., Dikaiakos, Marios D.

Publikováno v: VTC Spring
IEEE Vehicular Technology Conference
VTC Spring 2009-IEEE 69th Vehicular Technology Conference

In this paper, we present TrafficModeler, an open-source, graphical tool for the rapid high-level modeling and generation of vehicular traffic. TrafficModeler supports a variety of traffic definition models representing a wide range of traffic patter

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04b8575fd41cf40422487c5546c2c387
https://doi.org/10.1109/vetecs.2009.5073891

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.