| Title |
Komponento specifikacijos formalizavimas |
| Translation of Title |
Formalisation of the component specification. |
| Authors |
Giedrimas, Vaidas ; Lupeikienė, Audronė |
| DOI |
10.15388/LMR.2004.31660 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. 2004, T. 44, spec, Nr, p. 276-280.. ISSN 0132-2818 |
| Keywords [eng] |
Component ; Component model ; Component specification ; Specification formalisation |
| Abstract [eng] |
This paper deals with the component specification and formalisation problems. It defines the notion of component model, gives the formalised concept of a component, compoud component, and proposes to use hierarchical finite state machines as the formalism to specify component's life cycle. |
| Type |
Journal article |
| Language |
Lithuanian |
| Publication date |
2004 |
| CC license |
|
