This paper describes a proof outline logic that covers most typical object-oriented language constructs in the presence of inheritance and subtyping. The logic is based on a weakest precondition calculus for assignmen...
详细信息
This paper describes a proof outline logic that covers most typical object-oriented language constructs in the presence of inheritance and subtyping. The logic is based on a weakest precondition calculus for assignments and object allocation which takes field shadowing into account. Dynamically bound method calls are tackled with a variant of Hoare's rule of adaptation that deals with the dynamic allocation of objects in object-oriented programs. The logic is based on an assertion language that is closely tailored to the abstraction level of the programming language. (c) 2005 Elsevier B.V. All rights reserved.
Traffic simulation design ideas based on object-oriented programming and modelling theory are used to analyse the data structure of a simulation system for a traffic network. A traffic network simulation consists of v...
详细信息
ISBN:
(纸本)1845641795
Traffic simulation design ideas based on object-oriented programming and modelling theory are used to analyse the data structure of a simulation system for a traffic network. A traffic network simulation consists of vehicles, links, intersections and signal controls. By defining the class in C++ language, this paper establishes objects of traffic network units, describes the variables and functions of their members in detail and exactly expresses the relationship between nodes and links in a traffic network. It constructs the shared data of the traffic network simulation based on a standard library function of template and object-classes of the traffic network. It uses SQL database technology to access the parallel data structure. Thus it can reduce the occupation of memory resources and increase the speed of data access. Each simulation unit can access the network data expediently. Finally, by simulating a traffic network made of four intersections in Changchun city, results indicate that the simulation speed increases 2.5 times and the error rate is less than 10%. Hence, a distributed parallel data structure based on object-oriented programming is the foundation for improving speed and for benefiting the traffic network simulation.
Design smells are software structures that may indicate a code or design problem that makes software difficult to evolve and maintain [3]. Know those errors is the first step to improve some development skills, such a...
详细信息
ISBN:
(纸本)9781728134857
Design smells are software structures that may indicate a code or design problem that makes software difficult to evolve and maintain [3]. Know those errors is the first step to improve some development skills, such as refactoring. Current tools that detect software problems does not aim to help students to learn with their own errors neither help teachers to use it to improve the way they teach objectorientedprogramming (OOP) and software engineering disciplines. This work aims to develop an expert system module to improve the existent tools and help students and teachers in their tasks.
There has been a significant need for the new urban design apparatus that carries out performance analyses of the urban models, since the code reform movements focused on the sustainable urban developments. This resea...
详细信息
ISBN:
(纸本)9789881902641
There has been a significant need for the new urban design apparatus that carries out performance analyses of the urban models, since the code reform movements focused on the sustainable urban developments. This research explores the use of parametric Building Information Modeling to enable stakeholders to intuitively understand the implications and consequences of urban design codes. We investigate whether key regulations can be captured as algorithms and ontologies in parametric BIM and object-oriented programming. Then we present our prototype of parametric urban models in a BIM platform that explains (1) the extent which urban design code information can be parameterized in BIM and (2) the methods how parametric models can hold code information. The results show that our prototype enables real-time manipulations of code requirements and interactive visualization of code allowances.
The advent of Large Language Models (LLMs) has created multiple challenges for the Computer Science Education Community. This research project aims at integrating LLMs into object-oriented programming courses, by gene...
详细信息
ISBN:
(纸本)9798400706035
The advent of Large Language Models (LLMs) has created multiple challenges for the Computer Science Education Community. This research project aims at integrating LLMs into object-oriented programming courses, by generating and evaluating new teaching methodologies and tools suitable for this paradigm's specificities.
Learning object-oriented programming paradigm can be difficult and challenging for novices, especially the first year degree students who do not have any prior programming experience. The traditional learning and teac...
详细信息
ISBN:
(纸本)9781911218104
Learning object-oriented programming paradigm can be difficult and challenging for novices, especially the first year degree students who do not have any prior programming experience. The traditional learning and teaching methods are insufficient to support the learners or students. A game-based learning approach can be an efficient way for the students to learn object-oriented programming. This is because empirical evidence verifying computer games as educationally efficient tools for learning OOP is still absent from the literature. Thus, this paper proposes computer games that are developed according to the game-based learning design approach model for students to learn object-oriented programming paradigm. In the proposed game, several relevant theories are included to ensure the entire learning process is motivating and easy to learn. The game divides the learning content into several levels and quests. Students are required to communicate with the non-player character for learning purposes and complete the quests to proceed to the next level. Each quest adopts different gameplay mechanics to suit the learning objectives. Besides that, compared with other games for learning programming such as Alice 2D, Greenfoot, Darwin and CodeCombat, the proposed computer game only focuses on the game play to carry out the learning objective (no coding exercise type of game play needed). Most of the existing games for learning programming require coding practice type of game mechanics. All these games have their own approach and objective that could still be inefficient to support the learning process for novice in learning OOP. Playing is one of the most efficient ways for learners to gain whatever knowledge they require and computer games can be an engaging learning medium for the teaching and learning process. Thus, a computer game that focuses on the game play without coding practice will be an efficient tool for learning OOP.
With the rising popularity of object-oriented programming (OOP) in both research and industry, it is important that computer science students be educated in the fundamentals of OOP and what it can be used for. However...
详细信息
ISBN:
(纸本)9798350300543
With the rising popularity of object-oriented programming (OOP) in both research and industry, it is important that computer science students be educated in the fundamentals of OOP and what it can be used for. However, OOP can be difficult for students to learn because of the complex interactions between objects and code. We believe that implementing a web-based programming tutorial system alongside traditional instruction may help students to better understand the fundamental principles of OOP and avoid common programming misconceptions.
A Collaborative Learning (CL) process from an inclusive point of view allows the integration of educational didactics, as a process of mediation of knowledge with students. When using a didactic resource, it considers...
详细信息
ISBN:
(纸本)9783030726591;9783030726607
A Collaborative Learning (CL) process from an inclusive point of view allows the integration of educational didactics, as a process of mediation of knowledge with students. When using a didactic resource, it considers that motivation is important in learning, it facilitates the predisposition of students to participate and get involved, considerably increasing the acquisition and mastery of knowledge. It is important to note that students should be encouraged to be active in nature, understanding skills, creativity, curiosity, and an interest in learning. In this sense, it is necessary to use more active environments, which include the adequate use of Information and Communication Technologies (ICT), where it is articulated as a set of technological and digital means, resources or tools that contribute to the communication and transmission of information, allowing the development of cognitive skills to understand the collaborative learning process in the classroom and identify the use of Information and Communication Resources (RIC), that integrate the communication process synchronously and asynchronously [1]. In this way, digital tools should be considered as part of the learning process in the teacher's methodology. For this study, a Computer-Supported Collaborative Learning (CSCL) approach was designed for the Systems Seminar course of the Systems Engineering program at University Antonio Jose Camacho (UNIAJC) in Cali (Colombia). The purpose is to make object-oriented programming (OOP) learning not an individual process but a collective one where students play different roles to solve a software-based problem (from requirements specification to software development). This proposal was evaluated though an experts' review and results show that this approach may be good starting point to implement CL activities in other engineering fields of computer science.
Professor Kristen Nygaard (1926-2002) was a multi-talented scientist whose achievements were amply honoured in his later years. For general readers of Computer Science history Nygaard will be recognized as the creator...
详细信息
ISBN:
(数字)9783642151996
ISBN:
(纸本)9783642151989
Professor Kristen Nygaard (1926-2002) was a multi-talented scientist whose achievements were amply honoured in his later years. For general readers of Computer Science history Nygaard will be recognized as the creator with Professor Ole-Johan Dahl of the SIMULA programming languages and object-oriented programming. But Nygaard also had a social and political engagement that over the years brought him from a liberal-democratic to a socialist position where solidarity and empowerment were the major chords. This paper gives a condensed descriptive tour of the life of this many-sided computer scientist with an emphasis on how the scientific and political sides of Nygaard worked hand in hand, leading to his active cooperation with the trade unions and making him a strong advocator of the Scandinavian School of System Development and Participatory Design.
This paper explores the impact of adaptive navigation support on student work with parameterized questions in the domain of object-oriented programming. In the past, we developed QuizJET system, which is able to gener...
详细信息
ISBN:
(纸本)9783642046353
This paper explores the impact of adaptive navigation support on student work with parameterized questions in the domain of object-oriented programming. In the past, we developed QuizJET system, which is able to generate and assess parameterized Java programming questions. More recently, we developed JavaGuide system, which enhances QuizJET questions with adaptive navigation support. This system introduces QuizJET and JavaGuide and reports the results of classroom studies, which explored the impact of these systems and assessed an added value of adaptive navigation Support. The results of the studies indicate that adaptive navigation support encourages Students use parameterized questions more extensively. Students are also 2.5 times more likely to answer parameterized questions correctly with adaptive navigation support than without Such support. In addition, we found that adaptive navigation support especially benefit weaker students helping to close the gap between strong and weak students.
暂无评论