Formalisation of a Generic Extra-Functional Properties Framework
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Formalisation of a Generic Extra-Functional Properties Framework
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP103%2F11%2F1489" target="_blank" >GAP103/11/1489: Methods of development and verification of component-based applications using natural language specifications</a><br>
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Evaluation of Novel Approaches to Software Engineering
ISBN
978-3-642-32340-9
ISSN
1865-0929
e-ISSN
—
Number of pages
15
Pages from-to
203-217
Publisher name
Springer
Place of publication
Heidelberg
Event location
Beijing, China
Event date
Jun 8, 2011
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—