Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices

We propose a methodology to verify applications developed following programming patterns inspired by natural language that interact with physical environments and run on resource-constrained interconnected devices. Natural language patterns allow for the reduction of intermediate abstraction layers...

Descripción completa

Detalles Bibliográficos
Autores principales: Gaglio, Salvatore, Lo Re, Giuseppe, Martorella, Gloria, Peri, Daniele
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7795688/
https://www.ncbi.nlm.nih.gov/pubmed/33375337
http://dx.doi.org/10.3390/s21010107

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7795688/
https://www.ncbi.nlm.nih.gov/pubmed/33375337
http://dx.doi.org/10.3390/s21010107

Ejemplares similares