Search
Abstract
Przedstawiono opis przetwarzania scenariuszy zachowań aplikacjiprzetwarzania wszechobecnego. Zaprezentowano charakterystykę porównawczą języków wykorzystywanych do opisu takich scenariuszy. Przytoczono prace, w których podjęto próby wykorzystania języków formalnych do weryfikowania poprawności scenariuszy na etapie ich defniowania.
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Monographic publication
- Type:
- rozdział, artykuł w książce - dziele zbiorowym /podręczniku o zasięgu krajowym
- Title of issue:
- Inteligentne przestrzenie usług informacyjnych. Praca zbiorowa Katedry Architektury Systemów Komputerowych KASKBOOK,(Scenariusze zachowań aplikacji interaktywnych) strony 109 - 126
- Language:
- Polish
- Publication year:
- 2009
- Bibliographic description:
- Dziubich K.: Metody i jezyki opisu scenariuszy zachowań aplikacji przetwarzania wszechobecnego// Inteligentne przestrzenie usług informacyjnych. Praca zbiorowa Katedry Architektury Systemów Komputerowych KASKBOOK,(Scenariusze zachowań aplikacji interaktywnych)/ ed. ed. Henryk Krawczyk, Katedra Architektury Systemów Komputerowych, Wydział ETI Politechnika Gdańskiej. Gdańsk: , 2009, s.109-126
- Verified by:
- Gdańsk University of Technology
seen 80 times