Journal:Informatica
Volume 15, Issue 1 (2004), pp. 111–126
Abstract
We propose a layered Soft IP Customisation (SIPC) model for specifying and implementing system‐level soft IP design processes such as wrapping and customisation. The SIPC model has three layers: (1) Specification Layer for specification of a customisation process using UML class diagrams, (2) Generalisation Layer for representation of a customisation process using the metaprogramming techniques, and (3) Generation Layer for generation of the customised soft IP instances from metaspecifications. UML allows us to specify customisation of soft IPs at a high level of abstraction. Metaprogramming allows us to manage variability in a domain, develop generic domain components, and describe generation of customised component instances. The usage of the SIPC model eases and accelerates reuse, adaptation and integration of the pre‐designed soft IPs into new hardware designs.
Journal:Informatica
Volume 14, Issue 4 (2003), pp. 455–470
Abstract
The main purpose of the paper is to compare ontology‐based reuse techniques in domain engineering and enterprise engineering. It discusses attempts to combine classical domain engineering techniques with ontology‐based techniques as well as the attempts to incorporate ontologies in enterprise engineering process and demonstrates that, on the one hand, both approaches still are not mature enough to solve practical reuse problems and, on the other hand, both propose ideas that can be used to develop more mature approach. The main contribution of the paper is the detail description of the problems of ontology‐based reuse of enterprise engineering assets.
Journal:Informatica
Volume 11, Issue 1 (2000), pp. 3–14
Abstract
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the λ-calculus called λE-calculus. GENS is a multiparadigm language: it has been used for definition of semantics and for implementation of functional, logical, procedural, and object-oriented languages. It also allows combining different programming paradigm styles in a single programming language.
The purpose of this paper is to define and to introduce the λE-calculus – theoretical foundation of GENS. It will also be shown how the most important language constructs of different programming paradigms can be defined in GENS.
Journal:Informatica
Volume 6, Issue 2 (1995), pp. 233–243
Abstract
The newest version of Turbo Pascal – Turbo Pascal 7.0 – is concentrately described in comparing with optimal language for programming teaching – Standard Pascal. Data types, control structures, procedures and functions, parameters, new directions of development are classified and discussed.