| D.2.11 Software Architectures | Article |
METHOD OF DOMAIN MODELS DESIGNING |
Abstract: Method of domain models designing is proposed in this paper. Domain models are represented as
class diagrams. Initial information for domain models designing contains both analytical repres |
| D.1.7 Visual Programming | Article |
MILIEU-M: VISUAL MANIPULATION AND PROGRAMMING FOR MULTI-MEMBRANES. |
Abstract: In the context of membrane computing, the new notion of multi-membrane was introduced where the
junction of membranes is used together with the inclusion of membranes. In multi-membranes a |
| D.2.11 Software Architectures | Article |
MODELING OF AN INTELLECTUAL PROBLEM SOLVER BY TRANSFORMATION OF SEMANTIC MODELS |
Abstract: The method of construction of a problem solver of intelligent software by transformation of its models is
presented. The representations of all these models are convenient both for the pers |
| D.4.1 Process Management | Article |
MODELLING AND CONTROL OF COMPUTATIONAL PROCESSES USING MAX-PLUS ALGEBRA |
Abstract: In this paper we propose a modelling technique for the control of computational processes. The Petri
Net model, particularly a Timed Event Graph (TEG) can be used for analyzing. The propose |
| D.2 SOFTWARE ENGINEERING | Article |
MULTIAGENT SYSTEM FOR SMART DOCUMENT ANALYSIS |
Abstract: In the article you can find an intermediate outcomes for the complex approach to implementation of development electronic document management subsystem in the CASE-system METAS. The system m |
| D.2.11 Software Architectures | Article |
MULTIPLE-MODEL DESCRIPTION AND STRUCTURE DYNAMICS ANALYSIS OF ACTIVE MOVING... |
Abstract: Proposed developed concept of active moving object (AMO) was used to form statement of control
problems which was investigated. Depending on the type of AMO can move and interact in space, |
| D.2.8 Metrics | Article |
OBJECT LEVEL RUN-TIME COHESION MEASUREMENT |
Abstract: Most of the object-oriented cohesion metrics proposed in the literature are static in nature and are defined at the class level. In this paper, new dynamic cohesion metrics are proposed which provide scope of cohesion measurement up to the object level and take into account important and widely used object-oriented features such as inheritance, polymorphism and dynamic binding during measurement. The proposed dynamic measures are computed at run-time, which take into consideration the actual interactions taking place among members of a class. The proposed measures are evaluated using a theoretical framework to prove their usefulness. A dynamic analyzer tool is presented which can be used to perform dynamic analysis of Java applications for the purpose of collecting run-time data for the computation of the proposed metrics. Further, a case study is conducted using a Java program to demonstrate the computation process for the proposed dynamic cohesion measures.
Keywords: Cohesion; Software metrics; Static metrics; Dynamic metrics; Aspect oriented programming; Object-oriented software.
ACM Classification Keywords: D.2.8 [Software Engineering]: Metrics; D.2.3 [Software Engineering]: Coding Tools and Techniques - Object-oriented programming
Link:
OBJECT LEVEL RUN-TIME COHESION MEASUREMENT
Varun Gupta, Jitender Kumar Chhabra
http://foibg.com/ijita/vol16/IJITA16-2-p03.pdf
|
| D.2.7 Distribution, Maintenance, and Enhancement | Article |
ON THE MODELS OF DEVELOPMENT AND DISTRIBUTION OF SOFTWARE |
Abstract: The notion model of development and distribution of software (MDDS) is introduced and its role for the
efficiency of the software products is stressed. Two classical MDDS are presented and |
| D.2.9 Management | Article |
OUTSOURCING CONTRACTS: A SYSTEMATIC REVIEW |
Abstract: This paper presents the application of a systematic review protocol for Software Engineering. This
protocol is used as a formal model by applying systematic review of outsourcing contracts. |
| D.2.9 Management | Article |
OUTSOURCING CONTRACTS: A SYSTEMATIC REVIEW |
Abstract: This paper presents the application of a systematic review protocol for Software Engineering. This
protocol is used as a formal model by applying systematic review of outsourcing contracts. |
| D.1.m Miscellaneous | Article |
P SYSTEMS GÖDELIZATION |
Abstract: This paper presents a method for assigning natural numbers to Transition P systems based on a
Gödelization process. The paper states step by step the way for obtaining Gödel numbers for e |
| D.3.2 Language Classifications | Article |
PARALLELIZATION METHODS OF LOGICAL INFERENCE FOR CONFLUENT RULE-BASED SYSTEM |
Abstract: The article describes the research aimed at working out a program system for multiprocessor computers. The system is based on the confluent declarative production system. The article defines |
| D.3.2 Language Classifications | Article |
PARALLELIZATION OF LOGICAL INFERENCE FOR CONFLUENT RULE-BASED SYSTEM1 |
Abstract: The article describes the research aimed at working out a program system for multiprocessor
computers. The system is based on the confluent declarative production system. The article define |
| D.4 OPERATING SYSTEMS | Article |
PASSIVE STEGANALYSIS OF MULTIDOMAIN EMBEDDING METHODS |
Abstract: The paper is devoted to analysis of effectiveness the usage of modern statistical model of
digital image for revealing the stego images with data, embedded in transformation domain of cover |
| D.m MISCELLANEOUS | Article |
PODCASTS: A BRIDGE FROM E-LEARNING TO M-LEARNING |
Abstract: For educational organizations offering e-learning, intensive flow of technological innovations
may be considered as both blessing and curse at the same time. On the one hand, many challengi |
| D.1.m Miscellaneous | Article |
PODCASTS: A BRIDGE FROM E-LEARNING TO M-LEARNING |
Abstract: For educational organizations offering e-learning, intensive flow of technological innovations
may be considered as both blessing and curse at the same time.
On the one hand, many challeng |
| D.2.12 Interoperability | Article |
PREPROCESSING "RAW" DATA SETS AS AN IMPORTANT ASPECT OF INTELLIGENT ... |
Abstract: The paper highlighted the problems of selection methods for the preparation of the "raw" data for
subsequent processing in the systems of intelligent information analysis. Each application |
| D.2.4 Software/Program Verification | Article |
Program Invariants Generation over Polynomial Ring using Iterative Methods. |
Abstract: A solution for program polynomial invariant generation problem is presented. An iteration upper approximation method that was successfully applied on free algebras in this paper was adopted |
| D.1 PROGRAMMING TECHNIQUES | Article |
PROGRAMMING PARADIGMS IN COMPUTER SCIENCE EDUCATION |
Abstract: Main styles, or paradigms of programming – imperative, functional, logic, and object-oriented – are
shortly described and compared, and corresponding programming techniques are outlined |
| D.2.4 Software/Program Verification | Article |
PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ... |
Abstract: The correctness proof for programs with parallelism, and interleaving concurrency with
shared memory in particular, is complicated problem because the state of separate execution thread
ca |
| D.2.9 Management | Article |
QUALITY AND PRODUCTIVITY ANALYSIS IN A VERY SMALL ENTERPRISE USING TSPI |
Abstract: This article shows the benefits of developing a software project using TSPi in a “Very Small Enterprise”
based in quality and productivity measures. An adapted process from the current |
Wiki
