Výsledky vyhledávání - "Process-oriented programming"
-
1
Autoři:
Zdroj: 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM). :1840-1843
-
2
-
3
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: Communicating Process Architectures 2015
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, QA76
Popis souboru: application/pdf
Přístupová URL adresa: https://kar.kent.ac.uk/50306/1/guppy.pdf
-
5
Autoři:
Zdroj: 2013 International Siberian Conference on Control and Communications (SIBCON). :1-4
Témata: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences
Přístupová URL adresa: https://ieeexplore.ieee.org/document/6693595/
http://ieeexplore.ieee.org/document/6693595/ -
6
Autoři:
Zdroj: Моделирование и анализ информационных систем, Vol 31, Iss 4, Pp 384-425 (2024)
Témata: 0202 electrical engineering, electronic engineering, information engineering, loop invariant, Information technology, 0102 computer and information sciences, 02 engineering and technology, deductive verification, temporal requirements, requirement pattern, control software, T58.5-58.64, process-oriented programming, 01 natural sciences
Přístupová URL adresa: https://doaj.org/article/87f723db852f4a14a0ec7ef1b865f09d
-
7
Autoři: a další
Zdroj: IEEE Access. 10:35238-35250
Témata: Computer languages, IEC 61131-3 standard, PLC software development, process-oriented programming, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem
Popis souboru: print
-
8
Autoři: a další
Přispěvatelé: a další
Témata: [INFO] Computer Science [cs]
Přístupová URL adresa: https://enac.hal.science/hal-01609243v1
-
9
Autoři:
Zdroj: Software: Practice and Experience. 21:557-579
-
10
-
11
Autoři: a další
Zdroj: Моделирование и анализ информационных систем, Vol 31, Iss 1, Pp 32-53 (2024)
Témata: structured text, 0202 electrical engineering, electronic engineering, information engineering, Information technology, 02 engineering and technology, control software, spin, T58.5-58.64, process-oriented programming, model checking, ltl
Přístupová URL adresa: https://doaj.org/article/fcf296064c3c47868950a563aa283cfb
-
12
Autoři:
Zdroj: Моделирование и анализ информационных систем, Vol 31, Iss 1, Pp 6-31 (2024)
Témata: temporal requirements, 0202 electrical engineering, electronic engineering, information engineering, Information technology, 0102 computer and information sciences, 02 engineering and technology, deductive verification, requirement patterns, control software, T58.5-58.64, process-oriented programming, 01 natural sciences
Přístupová URL adresa: https://doaj.org/article/b885a40ed7d14988b2b13b271eefa69d
-
13
Autoři: a další
Přispěvatelé: a další
Témata: QA76
Popis souboru: application/pdf
Přístupová URL adresa: https://kar.kent.ac.uk/24105/1/VisualSimpson.pdf
https://christian.lyderjacobsen.org/publications/pdfs/visual-process -oriented -programming -robotics.pdf
https://www.transterpreter.org/publications/pdfs/visual-process -oriented -programming -robotics.pdf
https://dblp.uni-trier.de/db/conf/wotug/cpa2008.html#SimpsonJ08
http://wotug.org/papers/CPA-2008/SimpsonJacobsen08/SimpsonJacobsen08.pdf
http://www.transterpreter.org/publications/pdfs/visual-process -oriented -programming -robotics.pdf
https://kar.kent.ac.uk/24105/1/VisualSimpson.pdf -
14
Autoři: Sowders, Matthew
Témata: Communicating sequential processes, Databases and Information Systems, Programming Languages and Compilers, Message passing, Compilers, Java (Computer program language), Computer Sciences, occam (Computer program language), Applied sciences, Programming languages (Electronic computers), Process-oriented, Concurrent programming
Popis souboru: application/pdf
-
15
Autoři: a další
URL:
https://kar.kent.ac.uk/24105/ https://kar.kent.ac.uk/24105 http://dx.doi.org/ 10.3233/978-1-58603-907-3-365
10.3233/978-1-58603-907-3-365 -
16
Autoři: a další
Zdroj: Xu , Y , Slaats , T , Düdder , B , Troels Hildebrandt , T & Van Cutsem , T 2025 , ' Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role-based behaviors ' , Journal of software: Evolution and Process , vol. 37 , no. 1 , e2730 . https://doi.org/10.1002/smr.2730
Témata: process-oriented programming, refinement, role-based programming, safe evolution, smart contract programming, smart contract security, test-driven modelling
Popis souboru: application/pdf
-
17
Autoři: MagnussonB.
Zdroj: Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming. :34-36
Témata: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences
Přístupová URL adresa: https://dl.acm.org/doi/abs/10.1145/67387.67394
-
18
Autoři: a další
Zdroj: Sensors, Vol 23, Iss 13, p 6216 (2023)
Témata: distributed control systems, control software, process-oriented programming, topology-independent algorithm specifications, hyperprocess, Chemical technology, TP1-1185
Relation: https://www.mdpi.com/1424-8220/23/13/6216; https://doaj.org/toc/1424-8220; https://doaj.org/article/6f44c87e78454aaea6a641e81856df39
-
19
Autoři:
Přispěvatelé:
Popis souboru: application/postscript
-
20
Autoři: a další
Přispěvatelé: a další
Témata: QA 76 Software, computer programming
Popis souboru: application/pdf
Relation: https://kar.kent.ac.uk/50306/1/guppy.pdf; Barnes, Frederick R.M. (2015) Guppy: Process-Oriented Programming on Embedded Devices. In: Chalmers, Kevin and Pedersen, Jan B. and Welch, Peter H. and Broenink, Jan and Sampson, Adam T. and Ivimey-Cook, Ruth and Barnes, Frederick R.M., eds. Proceedings of Communicating Process Architectures 2015. . (KAR id:50306 )
Nájsť tento článok vo Web of Science 
Full Text Finder