| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - The component based programming approach was proven to greatly simplify the development process, especially in the context of enterprise and evolving systems. Despite successes in the field and increasing industrial adoption of component based programming techniques, fundamental issues of many stages of the development process are not well understood and have not been explored yet. This project focuses on research of these areas – the key challenges to address are mainly related to enhancing the quality of component based applications with respect to user requirements: devising a process of automated deriving components’ functional design and extra-functional features from natural language descriptions (e.g. UML use cases), maintaining consistency of applications in context of dynamic systems with frequent component updates by combination of static verification methods and component based simulation, and to develop universal methods for easing of coding phases of component software development based on feature-oriented programming (FOP) techniques. (en)
- Metoda programování aplikací pomocí komponent se ukázala jako velmi vhodná pro zjednodušení a zrychlení vývojového procesu, zvláště v kontextu podnikových aplikací a dynamicky se vyvíjejících systémů. Přestože se již v této oblasti podařilo dosáhnout mnoha úspěchů, včetně zvyšujícího se využívání komponent v průmyslu, nedošlo ještě k plnému porozumění a prozkoumání zcela základních problémů v mnoha fázích vývoje komponentových aplikací. Cílem projektu je výzkum právě v těchto oblastech – hlavní výzvy zde leží především ve vylepšování kvality aplikací na základě požadavků uživatele: tvorba automatického procesu extrakce funkčních a nefunkcionálních požadavků přímo z popisu v přirozeném jazyce (např. UML případových studií), udržování konzistence aplikací v systémech s častou aktualizací komponent pomocí kombinace metod statické analýzy kódu a simulačních metod, a vytvoření obecných metod pro zjednodušení programovací fáze vývoje komponentových aplikací pomocí technik FOP (feature-oriented programming).
|
| Title
| - Methods of development and verification of component-based applications using natural language specifications (en)
- Metody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce
|
| 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
| - software components verification architectural consistency generated specification extra-functional properties natural language aspects simulation (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...ep/zahajeniReseni
| |
| http://linked.open...jektu+dodavatelem
| - Projekt se zabýval metodikou tvorby a verifikace software specifikovaného v přirozeném jazyce. Výsledky projektu byly publikovány ve sbornících konferencí rozmanité kvality. Dva články vyšly v časopise s IF. Rozsah publikační aktivity je na spodní hranici možností řešitelského kolektivu. Čerpání finančních prostředků proběhlo dle pravidel grantové agentury. (cs)
- The project focused on the methodology of software creation and verification using natural language specification. The results of the project were mainly presented in proceedings of conferences of varying quality. Two journal articles were published. The number of publications is adequate, but could have been higher considering the team capabilities. The grant followed the rules of the GAČR. (en)
|
| http://linked.open...tniCyklusProjektu
| |
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/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)