The article presents a method for constructing a model of an objectoriented program in terms of multilabeled Petri nets. Only encapsulation - one of the three concepts of object-oriented paradigm - is considered. To m...
详细信息
The article presents a method for constructing a model of an objectoriented program in terms of multilabeled Petri nets. Only encapsulation - one of the three concepts of object-oriented paradigm - is considered. To model a different aspects of encapsulation a Petri net structured object is proposed. It consists of a Petri net defining its behavior and a set of organized access points specifying its structural properties. Formal composition operations to construct a program model from the models of its methods, classes, objects, functions, and modules are introduced and a source code translation algorithm to Petri net representation is proposed. A special section of the article considers in detail a process of model construction of a real object-oriented program (OOP). Source code of the program, figures with Petri net objects modeling different elements of the program and the resulting model of the program are presented.
By using a graphical user interface of the software tool Visual Economic Modelling System (VEMS) a modeller can set up a computable general equilibrium model by specifying the various stocks and the flows between them...
详细信息
By using a graphical user interface of the software tool Visual Economic Modelling System (VEMS) a modeller can set up a computable general equilibrium model by specifying the various stocks and the flows between them. VEMS generates the corresponding social accounting matrix, the equations of the model, the equations for carrying out the calibration and is capable of performing simulations. The tool is build using Microsoft Visual Basic with an objectoriented approach. GAMS is the tool in the background for solving each of the models. GAMS is also used for (partly) calibrating the model and a Prolog program can also be used for the calibration. Static and dynamic (backward and forward-looking) models can be generated. The models are written using the GAMS syntax. There are NLP, MCP, MCP and MPSGE versions of the model. VEMS is a prototype and needs further development. One obvious application of it would be as an educational tool for economic modellers.
Intelligent transportation systems combine physical elements with cyber components based on information and communication technologies and the use of control methodologies for Connected Automated Vehicles (CAVs). Inte...
详细信息
In this paper, we introduce a parametric polymorphism of secrecy for information ow analysis to an object-orientedprogramming language. Information ow analysis is useful to detect invalid information leaks. However, ...
详细信息
The use of Java in the first courses of Computing, Computer Sciences and similar degrees is widely accepted. However, many programming professors realize that while is possible for students to use an object-oriented l...
详细信息
ISBN:
(纸本)9788360810484
The use of Java in the first courses of Computing, Computer Sciences and similar degrees is widely accepted. However, many programming professors realize that while is possible for students to use an object-oriented language, is also possible to program with them without applying an object-oriented mentality. This paper defends the use of Smalltalk programming language as the best option for students to learn object-orientedprogramming and acquiring an object-oriented mentality at the same time. This study is based on three years of experience in a course on Software Design.
This paper presented a project-based remedial curriculum for teaching the C++ programming language and object-orientedprogramming (OOP) skills and concepts. The pedagogical approach of the proposed curriculum compris...
详细信息
Large object-oriented software systems are usually structured using modules or packages to enable large-scale development using clean interfaces that promote encapsulation and information hiding. However, in most OO l...
详细信息
This Research-to-Practice Work in Progress (WIP) investigates the format of student assessment questions. In particular, the focus is on the relationship between student performance on open-ended, constructed-response...
详细信息
ISBN:
(数字)9781728117461
ISBN:
(纸本)9781728117478
This Research-to-Practice Work in Progress (WIP) investigates the format of student assessment questions. In particular, the focus is on the relationship between student performance on open-ended, constructed-response questions (CRQs) versus close-ended, multiple-choice-response questions (MCQs) in first-year introductory programming courses. We introduce a study to evaluate whether these different response formats return distinct or comparable results. In order to assess this, we compare and correlate student scores on each question type. Our focus is on assessments (exams and tests) in first-year classes. The paper investigates two first-year programming courses with a total of seven sections and approximately 180 combined students. The subject of the sequential set of courses is the procedural C programming language. Based on extant studies comparing student performance on MCQs to their performance on open-ended questions, we investigate whether MCQ scores predict CRQ scores. Preliminary results on the comparison between student performance on these two question formats are presented to assess whether MCQs produce similar results as CRQs, or whether MCQs yield unique contributions. Possible avenues for future work are also discussed.
The problem of resolving virtual method and interface calls in object-oriented languages has been a long standing challenge to the program analysis community. The complexities are due to various reasons, such as incre...
详细信息
This Research to Practice Full Paper describes a case study of a course that uses problem-based learning (PBL) to integrate the subjects of object-orientedprogramming, Data Structures and Software Design. We aimed to...
详细信息
ISBN:
(数字)9781728117461
ISBN:
(纸本)9781728117478
This Research to Practice Full Paper describes a case study of a course that uses problem-based learning (PBL) to integrate the subjects of object-orientedprogramming, Data Structures and Software Design. We aimed to explore student learning when this teaching-learning approach was applied in the second term of a Computer Engineering undergraduate program. Data collection and analysis was qualitative, using semi-structured interviews and both open and axial coding. Results were organized in terms of qualitative themes describing course organization, problem conception, learned concepts and skills. This thorough exploration of such issues allows course developers to reflect on the impact of PBL and curriculum integration in student learning.
暂无评论