On the Semantics for Spreadsheets with Sheet Defined Functions

Autor: Thomas Bøgholm, Alexander Asp Bock, Bent Thomsen, Peter Sestoft, Lone Leth Thomsen

Publikováno v: Bock, A A, Bøgholm, T, Sestoft, P, Thomsen, B & Thomsen, L L 2020, ' On the Semantics for Spreadsheets with Sheet Defined Functions ', Journal of Computer Languages, vol. 57, 100960 . https://doi.org/10.1016/j.cola.2020.100960
Bock, A A, Bøgholm, T, Sestoft, P, Thomsen, B & Thomsen, L L 2020, ' On the semantics for spreadsheets with sheet-defined functions ', Journal of Computer Languages, vol. 57, 100960 . https://doi.org/10.1016/j.cola.2020.100960

We give an operational semantics for the evaluation of spreadsheets, including sheet-defined and built-in numeric functions in the Funcalc spreadsheet platform. The semantics allows for different implementations and we discuss sheet-defined functions

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb624cbc903f81a358468738b9ad04b2
https://vbn.aau.dk/ws/files/386907252/1_s2.0_S2590118420300204_main.pdf

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

Autor: Thomas Bøgholm, Bent Thomsen, Anders P. Ravn, Kasper Søe Luckow, Lone Leth

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319631202
Models, Algorithms, Logics and Tools
Ravn, A P, Thomsen, B, Søe Luckow, K, Thomsen, L L & Bøgholm, T 2017, Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking . in L Aceto, G Bacci, G Bacci, A Ingólfsdóttir, A Legay & R Mardare (eds), Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday . Springer, Cham, Lecture Notes in Computer Science, vol. 10460, pp. 269-288, Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 25/07/2017 . https://doi.org/10.1007/978-3-319-63121-9_14

In cyber-physical applications many programs have hard real-time constraints that have to be stringently validated. In some applications, there are programs that have hard deadlines, which must not be violated. Other programs have soft deadlines wher

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a05dae028bf571ad58363bcb7841389d
https://doi.org/10.1007/978-3-319-63121-9_14

From Safety Critical Java Programs to Timed Process Models

Autor: Bent Thomsen, Thomas Bøgholm, Kasper Søe Luckow, Lone Leth

Publikováno v: Programming Languages with Applications to Biology and Security ISBN: 9783319255262
Programming Languages with Applications to Biology and Security

The idea of analysing real programs by process algebraic methods probably goes back to the Occam language using the CSP process algebra [43]. In [16, 24] Degano et al. followed in that tradition by analysing Mobile Agent Programs written in the Highe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::33e87975e5c90b648a66f686db4b8808
https://doi.org/10.1007/978-3-319-25527-9_21

Towards harnessing theories through tool support for hard real-time Java programming

Autor: Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Christian Frost, Kasper Søe Luckow, Bent Thomsen, Hans Søndergaard, Casper S. Jensen

Publikováno v: Bøgholm, T, Frost, C, Hansen, R R, Jensen, C S, Luckow, K S, Ravn, A P, Søndergaard, H & Thomsen, B 2013, ' Towards harnessing theories through tool support for hard real-time Java programming ', Innovations in Systems and Software Engineering, vol. 9, no. 1, pp. 17-28 . https://doi.org/10.1007/s11334-012-0185-4

We present a rationale for a selection of tools that assist developers of hard real-time applications to verify that programs conform to a Java real-time profile and that platform-specific resource constraints are satisfied. These tools are specialis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c57e1d9c81ab433910266fd9d283822a
https://vbn.aau.dk/da/publications/c7174447-92e3-4216-a396-78182932bba0

Schedulability Analysis Abstractions for Safety Critical Java

Autor: Thomas Bøgholm, Alan Mycroft, Kim Guldstrand Larsen, Bent Thomsen

Publikováno v: Bøgholm, T, Thomsen, B, Larsen, K G & Mycroft, A 2012, Schedulability Analysis Abstractions for Safety Critical Java . in Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012 . IEEE Computer Society Press, International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 71-78, ISORC 2012, Shenzhen, China, 11/04/2012 . https://doi.org/10.1109/ISORC.2012.18
ISORC

We present a compositional approach to schedul ability analysis of safety-critical Java programs. We introduce a specification language in order to write abstract behavioural specifications regarding task execution-time and use of resources. Schedula

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c0e6b621463e5bcbafb3ff1d115a9d1
https://vbn.aau.dk/da/publications/ecf81c36-d233-42dd-85de-7dc65e0f4b95