About: Model Based System Development

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Model Based System Development Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GP102/07/P306
Description	The significant characteristic of current software systems is their growing complexity. Therefore the actual research of the software systems development is focused on increasing the development process effectivity, but also on the system reliability. One of the auspicious approaches is an application of the high-level formal models and the theory of modelling and simulation. The key idea is to model software systems by such means that there is a possibility to verify models in a simple way and to move fluently from models to the goal application. This project deals with the basic research in the area of the advanced modelling and simulation techniques in the software system development. In particular it concerns with the integration of high-levelmodels, with the integration of models and the application environment, and with the possibility to use models in association with the metalevel architectures in the adaptive software development. The project is a follow-up to the experiences and the (en) Podstatným rysem současných softwarových systémů je jejich rostoucí složitost. V oblasti vývoje těchto systémů je proto v popředí zájmu jednak zvyšování efektivity vývojového procesu, ale také zvyšování spolehlivosti vyvíjených systémů. Jedním z aktivně rozvíjených přístupů je aplikace vysokoúrovňových formálních modelů a teorie modelování a simulace. Klíčovou myšlenkou je modelovat softwarové systémy takovými prostředky, které umožňují jednoduchý a spolehlivý způsob ověřování modelů a plynulý přechod od modelů k cílové aplikaci. Navrhovaný projekt je zaměřen na základní výzkum v oblasti pokročilých modelovacích a simulačních technik ve vývoji softwarových systémů. Zejména se zaměřuje na integraci vybraných typů vysokoúrovňových modelů, na integraci modelů a aplikačního prostředí a na možnosti využití modelů ve spojení s metaúrovňovými architekturami ve vývoji adaptivního softwaru. Projekt navazuje na zkušenosti a výsledky, které již pracoviště navrhovatele v této oblasti získalo.
Title	Model Based System Development (en) Vývoj systémů založený na modelech
skos:notation	GP102/07/P306
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GP102%2F07%2FP306/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GP102%2F07%2FP306/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-01-22 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	65824579
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	high-level design; modelling; metamodelling; simulation (en)
http://linked.open...ep/partnetrHlavni	Fakulta informačních technologií
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	17 (xsd:int)
http://linked.open...enychVysledkuVRIV	17 (xsd:int)
http://linked.open...lneniVMinulemRoce	2009-04-22 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/102%2F07%2FP306
http://linked.open...iciPoslednihoRoku	2009
http://linked.open...atUdajeProjZameru	2010
http://linked.open.../vavai/cep/soutez	SGA02007GA1PD
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2009-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika
http://linked.open...ep/zahajeniReseni	2007-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	. (en) Projekt byl zaměřen na vývoj softwarových systémů s využitím formálních modelů. Při vývoji byla použita koncepce víceúrovňového modelování, multimodelování, metamodelování a propojování etap návrhu, testování a nasazení. Byla navržena metaúrovňová archite (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	metamodelling modelling high-level design
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP102%2F07%2FP306/2007/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP102%2F07%2FP306/2008/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP102%2F07%2FP306/2009/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP102%2F07%2FP306/2010/orjk%3A26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software