Formalisation of the component specification
This paper deals with the component specification and formalisation problems. It defines the notion of component model, gives the formalised concept of a component, compound component, and proposes to use hierarchical finite state machines as the formalism to specify component's life cycle.
சேமிக்கப்பட்டது:
| முதன்மை ஆசிரியர்கள்: | , |
|---|---|
| வடிவம்: | Artigo |
| மொழி: | Inglês |
| வெளியிடப்பட்டது: |
Vilnius University Press
2004-12-01
|
| தொடர்: | Lietuvos Matematikos Rinkinys |
| பொருள்கள்: | |
| ஆன்லைன் அணுகல்: | https://test.zurnalai.vu.lt/LMR/article/view/31660 |
| குறிச்சொற்கள்: |
டாக்ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!
|