ddiruscio/logseq
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[logseq-plugin-git:commit] 2025-06-06T15:05:01.885Z

Browse Source
This commit is contained in:
Davide Di Ruscio
2025-06-06 17:05:02 +02:00
parent 33470c04bf
commit 1f9d20c5a6
2 changed files with 18 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
journals/2025_06_06.md
+1
View File
@@ -4,6 +4,7 @@ boox-notes:: ![BOOX Notes](../assets/../../onyx/TabUltraCPro/Notepad/JOURNALING.
- ## Tasks - ## Tasks
- TODO Reviews RecSyS - TODO Reviews RecSyS
- [[PAPERS/DSL-FOR-IOT-TESTING]]
- DONE Call Emeliot UDA - DONE Call Emeliot UDA
id:: 68429a83-f76a-4f2e-93f9-1d56dc1b3b62 id:: 68429a83-f76a-4f2e-93f9-1d56dc1b3b62
- DOING [[I: ELSEVIER IST: Your Submission - INFSOF-D-25-00112 - Major Revision]] - DOING [[I: ELSEVIER IST: Your Submission - INFSOF-D-25-00112 - Major Revision]]
pages/PAPERS___DSL-FOR-IOT-TESTING.md
+17 -13
View File
@@ -1,17 +1,19 @@
- type:: [[JOURNAL]]
- type:: date:: [[22-11-2023]] - 12:14
date:: [[22-11-2023]] - 12:14 full-title::
full-title:: external-links:: [davidediruscio/MAUDE (github.com)](https://github.com/davidediruscio/MAUDE) [First logic programming languages - Google Docs](https://docs.google.com/document/d/1B8NKzQEvbkKXQbGpAH1ZuhZEHmceELbr3mic5B9zHfw/edit)
external-links:: [davidediruscio/MAUDE (github.com)](https://github.com/davidediruscio/MAUDE) [First logic programming languages - Google Docs](https://docs.google.com/document/d/1B8NKzQEvbkKXQbGpAH1ZuhZEHmceELbr3mic5B9zHfw/edit) todoist:: [Todoist](https://app.todoist.com/showTask?id=7305184861) https://docs.google.com/document/d/1pkhzeeFYvXgsf4kXLdn03BwX-EkgsQI3IVFU6Eovji0/edit?usp=sharing
todoist:: [Todoist](https://app.todoist.com/showTask?id=7305184861) https://docs.google.com/document/d/1pkhzeeFYvXgsf4kXLdn03BwX-EkgsQI3IVFU6Eovji0/edit?usp=sharing year:: 2024
year:: 2024 date-start:: [[22-11-2023]]
date-start:: [[22-11-2023]] status:: [[DOING]]
status:: [[DOING]] venue::
venue:: priority:: [[P1]]
priority:: [[P3]] leader::
leader:: progress:: {{renderer : todomaster}}
progress:: {{renderer : todomaster}}
-
- ## NOTES - ## NOTES
collapsed:: true
- Aapproach to detect possible faults that can occur when giving a time series to an input port of an IoT component and get output data from the corresponding output. The kinds of faults that we have carrently identified are the following: - Aapproach to detect possible faults that can occur when giving a time series to an input port of an IoT component and get output data from the corresponding output. The kinds of faults that we have carrently identified are the following:
- EARLY: output is provided too early - EARLY: output is provided too early
- LATE: output is provided too late - LATE: output is provided too late
@@ -75,11 +77,13 @@
- mutazioni a piacere - mutazioni a piacere
- ## MEETINGS - ## MEETINGS
- ## READINGS - ## READINGS
collapsed:: true
- [[MAUDE-Manual]] - [[MAUDE-Manual]]
- ## TASKs - ## TASKs
- ## QUESTIONS TO ANSWER - ## QUESTIONS TO ANSWER
{{query (and [[question]][[PAPERS/DSL-FOR-IOT-TESTING]])}} {{query (and [[question]][[PAPERS/DSL-FOR-IOT-TESTING]])}}
- ## [[PAPERS/NOTES]] - ## [[PAPERS/NOTES]]
collapsed:: true
- MAUDE sembra essere un buon candidato come linguaggio target per dare semantica al DSL in fase di definizione. - MAUDE sembra essere un buon candidato come linguaggio target per dare semantica al DSL in fase di definizione.
- Come descritto [1 Introduction (uma.es)](https://maude.lcc.uma.es/maude321-manual-html/maude-manualch1.html#x4-140001.2) - Come descritto [1 Introduction (uma.es)](https://maude.lcc.uma.es/maude321-manual-html/maude-manualch1.html#x4-140001.2)
- In the context of Maude, such property specifications can be given in a variety of ways: - In the context of Maude, such property specifications can be given in a variety of ways: