Journal:Informatica
Volume 12, Issue 3 (2001), pp. 347–372
Abstract
This paper presents the set of verification rules to detect faults in specification of model of computerized information system. Computerized information system model is specified using Enterprise modeling approach, which integrates static and dynamic dependencies. Typical communication action loop is a basic construct of Enterprise modeling approach. Actions, which process data resources of computerized information system, are analyzed.
Journal:Informatica
Volume 6, Issue 4 (1995): Special Issue on Information Systems and Software Systems Engineering, pp. 483–496
Abstract
The development of software systems is intensive person-oriented process. Therefore it is essential to use previous experience and knowledge. The extension of reuse through analogy is analysed in this paper. The proposed grouping of analogical methods, rules, etc., relies on their adaptability to application software development. The emphasis here is on analogue as a criterion to safeguard the desirable properties of application software. Knowledge kinds and mechanisms to enable reuse through analogy are discussed.