Formalisation of a Generic Extra-Functional Properties Framework
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F13%3A43918300" target="_blank" >RIV/49777513:23520/13:43918300 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-642-32341-6" target="_blank" >http://dx.doi.org/10.1007/978-3-642-32341-6</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-32341-6" target="_blank" >10.1007/978-3-642-32341-6</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formalisation of a Generic Extra-Functional Properties Framework
Popis výsledku v původním jazyce
Approaches to improve software composition become remarkably important with the gradual enlargement of software systems. Together with adaptation of component-based programming to cope with software complexity, extra-functional properties are playing a more important role. The problem addressed in this paper concerns an insufficient adoption of extra-functional properties into practise that consequently limits approaches to modularised software. As a solution this paper presents a comprehensive framework which enables the use of extra-functional properties in existing systems with the promise to improve component application consistency. The framework is described in a formal manner and its practical application is shown on the Spring and OSGi component models.
Název v anglickém jazyce
Formalisation of a Generic Extra-Functional Properties Framework
Popis výsledku anglicky
Approaches to improve software composition become remarkably important with the gradual enlargement of software systems. Together with adaptation of component-based programming to cope with software complexity, extra-functional properties are playing a more important role. The problem addressed in this paper concerns an insufficient adoption of extra-functional properties into practise that consequently limits approaches to modularised software. As a solution this paper presents a comprehensive framework which enables the use of extra-functional properties in existing systems with the promise to improve component application consistency. The framework is described in a formal manner and its practical application is shown on the Spring and OSGi component models.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP103%2F11%2F1489" target="_blank" >GAP103/11/1489: Metody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce</a><br>
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Evaluation of Novel Approaches to Software Engineering
ISBN
978-3-642-32340-9
ISSN
1865-0929
e-ISSN
—
Počet stran výsledku
15
Strana od-do
203-217
Název nakladatele
Springer
Místo vydání
Heidelberg
Místo konání akce
Beijing, China
Datum konání akce
8. 6. 2011
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—