About: Methods of development and verification of component-based applications using natural language specifications     Goto   Sponge   Distinct   Permalink

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

AttributesValues
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
  • GAP103/11/1489
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
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 26 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software