Formalisation of the component specification by Vaidas Giedrimas, Audronė Lupeikienė

“…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. …”
Get full text

Formalisation of the knowledge used in design of software, information and business systems by Albertas Čaplinskas, Audronė Lupeikienė

“…It discusses the notions of knowledge and informa­tion, introduces the concept of ``know-how'' knowledge, and proposes to use hierarchical finite state machines as the unified formalism to specify business systems, information systems, and software design strategies. …”
Get full text