We are engaged in the design of a small, simple programming language for teaching novices object-orientedprogramming. This turns out to be far from a small, simple task. We focus on three of the problems that we enco...
详细信息
ISBN:
(纸本)9781450315623
We are engaged in the design of a small, simple programming language for teaching novices object-orientedprogramming. This turns out to be far from a small, simple task. We focus on three of the problems that we encountered, and how we believe we have solved them. The problems are (1) gracefully combining object initialization, inheritance, and immutable objects, (2) reconciling apparently irreconcilable views on type-checking, and (3) providing a family of languages, each suitable for students at different levels of mastery, while ensuring conceptual integrity of their designs. In each case our solutions are based on existing research;our contribution is, by design, consolidation rather than innovation.
Generalized nets (GN) are created as a tool for modeling and controlling real processes. The mathematical tools which GNs have make them an effective and convenient instrument for software modeling. Models of software...
详细信息
In this paper, we present a transformation that maps type-level expressions from functional higher-order, typed (HOT) languages to type-level expressions in object-oriented HOT languages by mapping higher-order types ...
详细信息
This paper deals with the MMS communication stack library based on IEC 61850 standard. IEC 61850 standard is communication protocol of substation automation for converting conventional copper-wired type to Ethernet ba...
详细信息
The paper evaluates the Stepwise Feature Introduction paradigm, an organised method for constructing layered, reusable, object-oriented software systems. Based on our research adapted the paradigm to construction of l...
详细信息
ISBN:
(纸本)9789898565136
The paper evaluates the Stepwise Feature Introduction paradigm, an organised method for constructing layered, reusable, object-oriented software systems. Based on our research adapted the paradigm to construction of large-scale software systems. In particular, we added a dedicated, agile development process to the paradigm and examined strategies for execution and testing. Correctness concerns of the produced system are also covered in this paper. We also briefly analyse the impact of the paradigm on the quality of the developed software.
We propose a theoretical device for modeling the creation of new indiscernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented language...
详细信息
Design patterns are good designs in object-orientedprogramming and are generated experientially by predecessors. We propose a learning method of understanding design patterns by transforming a program with a design p...
详细信息
ISBN:
(纸本)9789810746490
Design patterns are good designs in object-orientedprogramming and are generated experientially by predecessors. We propose a learning method of understanding design patterns by transforming a program with a design pattern into that without one (alternative solution). We also develop a support system that encourages learners of generating appropriate alternative solution. Experimental results proved that the proposed method was effective for a deep understanding of design patterns.
The object-oriented HLA (OOHLA) concept is based on the idea of providing an object-oriented layer on top of existing HLA APIs, which consists of first class programmingobjects representing HLA objects in a FOM. This...
详细信息
ISBN:
(纸本)9781622762743
The object-oriented HLA (OOHLA) concept is based on the idea of providing an object-oriented layer on top of existing HLA APIs, which consists of first class programmingobjects representing HLA objects in a FOM. This OOHLA layer is also called as object-oriented RTI middleware and usually only matches requirements of a specific FOM. The RToolkit framework provides a similar infrastructure for rapid HLA federate development, but in a FOM-independent way. The design of the RToolkit allows federate developers to extend existing framework to adopt the federate specific FOM, regardless of its complexity. This paper presents how RToolkit framework utilizes common object oriented programming paradigms and software design patterns to maximize design reuse and to provide systematic recurrent use of best practices for HLA federate development.
This paper proposes a dynamic test case generation approach for object-orientedprogramming classes, using evolutionary search to find test cases that would satisfy a branch coverage criteria. Grammatical Evolution (G...
详细信息
We present a combined class-modular points-to and class-escape analysis that allows to analyze class declarations even if no information about the code that invokes the class's methods is available as is the case ...
详细信息
暂无评论