Search:       RSS, Atom

Site navigation:

Methods of development and verification of component-based applications using natural language specifications


  • Czech title: Metody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce
  • Granting agency: Czech Science Foundation (GA ČR)
  • Project number:103/11/1489
  • Duration: 2011-2013
  • Partners: Charles University, Department of Dependable and Distributed Systems (leader), University of West Bohemia, Department of Computer Science and Engineering DSS group
  • Total grant support: CZK 6.2 million (EUR ~0.2 million)
  • Staff at UWB: 2 senior researchers, 2 junior researchers, 1-3 PhD students
  • Contact: Premek Brada

Project synopsis

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,
  • develop universal methods for easing of coding phases of component software development based on feature-oriented programming (FOP) techniques.