Attributes | Values |
---|
rdf:type
| |
Description
| - This paper deals with a formal specification approach that supports the design of small, real-time embedded applications with distributed architectures. After discussing the notion of local time and its role in computer science and software engineering, the next section of the paper reviews an original specification language dedicated to local-time concepts. The next contribution consists in treating a real world, networked measurement system application as a case study to demonstrate utilization of this language for behavioral specifications of distributed real-time systems. Moreover, this paper examines how to employ a non-object-oriented specification tool for object-oriented implementations.
- This paper deals with a formal specification approach that supports the design of small, real-time embedded applications with distributed architectures. After discussing the notion of local time and its role in computer science and software engineering, the next section of the paper reviews an original specification language dedicated to local-time concepts. The next contribution consists in treating a real world, networked measurement system application as a case study to demonstrate utilization of this language for behavioral specifications of distributed real-time systems. Moreover, this paper examines how to employ a non-object-oriented specification tool for object-oriented implementations. (en)
|
Title
| - Local Time Specifications of Networked Embedded Systems
- Local Time Specifications of Networked Embedded Systems (en)
|
skos:prefLabel
| - Local Time Specifications of Networked Embedded Systems
- Local Time Specifications of Networked Embedded Systems (en)
|
skos:notation
| - RIV/00216305:26230/06:PU66889!RIV11-MPO-26230___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(FT-TA2/095), P(GA102/05/0467), P(GA102/05/0723), Z(MSM0021630503)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/06:PU66889
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Formal specifications, real time, embedded distributed systems, behavioral specifications (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Proceedings of the International Conference on Systems (ICONS 2006)
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Očenášek, Pavel
- Vrba, Radimír
- Švéda, Miroslav
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |