| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - The proposed project deals with front-end parts of networked, distributed system application designs. The project targets creation of a formal specification, verification and prototyping framework for network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention will be focused both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. The project is not striving to develop a new formal approach; instead, it should create methods and techniques that enable to utilize current formal specification means in real-world applications. Specified requirements would cover both safety and security of applications including their interrelations. Knowledge-based support will be focused on reuse of verified formal specifications. The implementation and integration phases of the project will provide (en)
- Předkládaný projekt se týká úvodních fází návrhu distribuovaných aplikací systémů založených na počítačových sítích. Cílem projektu je vytvoření rámce pro formální specifikace, verifikace a prototypování síťových aplikací, které zahrnou jak rozsáhlé informační systémy, tak i malé komponenty vestavěné např. do mobilních zařízení. Hlavní pozornost bude zaměřena jak na specifikace architektury, tak i reaktivního chování a chování v reálném čase užitím strukturovaného nebo objektově-orientovaného přístupu v závislosti na požadavcích aplikací. Cílem projektu nebude vyvíjet nový formální aparát, ale vytvořit metody a techniky, které umožní využít existující prosředky formálních specifikací v reálných aplikacích. Specifikované požadavky zahrnou bezpečnost (safety) a zabezpečení (security) aplikací včetně jejich vzájemných souvislostí. Znalostní podpora návrhu bude zaměřena na oblast opakovaného využití verifikovaných specifikací. Implementační a integrační fáze projektu poskytne pilotní verze
|
| Title
| - A Framework for Formal Specifications and Prototyping of Information System's Network Applications (en)
- Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| - formal specifications; verification; rapid prototyping; information systems; computer networks (en)
|
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...lneniVMinulemRoce
| |
| http://linked.open.../prideleniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...ep/ukonceniReseni
| |
| http://linked.open.../cep/vedlejsiObor
| |
| http://linked.open...ep/zahajeniReseni
| |
| http://linked.open...jektu+dodavatelem
| - Projekt se týkal úvodních fází návrhu distribuovaných aplikací systémů založených na počítačových sítích a jeho cílem bylo vytvoření rámce pro formální specifikace, verifikace a prototypování síťových aplikací, které zahrnují jak rozsáhlé informační syst (cs)
- The project dealt with front-end parts of networked, distributed system application designs and it targeted creation of a formal specification, verification and prototyping framework for network applications ranging from large information systems down to (en)
|
| http://linked.open...tniCyklusProjektu
| |
| http://linked.open.../cep/klicoveSlovo
| - formal specifications
- information systems
- rapid prototyping
- verification
|
| is http://linked.open...vavai/riv/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)