Teachers need relevant information about learners' activities in order to regulate these activities. In addition, they also have to manage their own work especially their interventions. To do that, they need infor...
详细信息
Teachers need relevant information about learners' activities in order to regulate these activities. In addition, they also have to manage their own work especially their interventions. To do that, they need information about the real impact of their actions, especially their interventions, in order to adjust their behavior and strategies. In this paper, we propose an indicator-based approach to supply teachers with this information both to regulate learners' activities through indicators and to regulate their own tutoring activities through meta-indicators. We conducted experimentations in order to observe the benefits of the supply of this kind of information regarding both teachers' and learners' work.
When software systems grow large during development and maintenance, they may lose their quality and become complex to read, understand and maintain. A software component should be of good quality for the readers of t...
详细信息
When software systems grow large during development and maintenance, they may lose their quality and become complex to read, understand and maintain. A software component should be of good quality for the readers of the code to find its intents clear and the code behavior obvious. When this is the case it will be less costly to maintain the code and when its intent is clear, the code will be reusable, which is one of the key features of object oriented programming. Several software quality metrics have been proposed to measure overall or partial quality of software units such as classes or procedures. Cohesion is one of the most widely used metrics to measure quality of a software unit in terms of the relatedness of its components. This work presents a new cohesion metric based on program slicing and graph theory for units using objectoriented paradigm. One can make a judgment on clarity of intent of the code using the metric we propose here. We aim to find out if a class is cohesive, handling one specific operation. We identify all program statements which constitute operations in the same abstraction domain. When a class has more than one abstraction, this technique suggests a restructuring for generating more cohesive units based on this new cohesion metric.
Musical pattern recognition and classification of the features of Indian Classical Music plays a decisive ingredient in the musicological and ethno-musicological research and development. In the conformist Indian Clas...
详细信息
ISBN:
(纸本)9781467327565
Musical pattern recognition and classification of the features of Indian Classical Music plays a decisive ingredient in the musicological and ethno-musicological research and development. In the conformist Indian Classical Music (ICM) has two basic bare bones, namely, the raga which is the musical scale (classical mode) and the unambiguous rhythm which proceeds as an adornment on the music. We are going to thrash out of the representation and analysis of rhythmic features of Indian Classical Music in object-oriented manner. Inheritance is one of the cornerstones of object-orientedprogramming (OOP) concept. This is a mechanism by which the objects of one class conquer the possessions and the textures of the other class or classes owing to evade the complexities of the feature classification. The numerous formations like single, multilevel and hierarchical models of inheritance are accredited to be modeled and analyzed the rhythmic patterns of Indian Classical Music.
The paper presents an analysis of the owner/component relationships. The same component may be shared by several owners thus causing their vulnerability since state changes in one owner may break the invariant of othe...
详细信息
The paper presents an analysis of the owner/component relationships. The same component may be shared by several owners thus causing their vulnerability since state changes in one owner may break the invariant of other. In order to avoid such situations we introduce the equilibrium predicate that describes all states that an owner can occupy without breaking invariants of other ones. Based on equilibrium predicates we analyze the correctness of the owner-component classes system, their mutual contracts and equilibriums.
This paper presents the development of programs for control electric drive. Prepared programs have been implemented on the DSP using a high-level language. The use of C++ program has enabled a logical division. The us...
详细信息
This paper presents the development of programs for control electric drive. Prepared programs have been implemented on the DSP using a high-level language. The use of C++ program has enabled a logical division. The use of object-orientedprogramming greatly simplified the structure of the program.
Simulation plays a very crucial role to model, study and experiment with any design innovation proposed in the power systems. Since mathematical modeling of power systems leads to tens of thousands of stiff DAEs (diff...
详细信息
ISBN:
(纸本)9781467362184
Simulation plays a very crucial role to model, study and experiment with any design innovation proposed in the power systems. Since mathematical modeling of power systems leads to tens of thousands of stiff DAEs (differential and algebraic equations), the design of power system simulators involve exercising a trade-off between the simulation speed and modeling accuracy. Lack of efficient and detailed simulators forces the designers to experiment their techniques with small test systems and hence, the results obtained from such experiments may not be representative of the results obtained using real-life power systems. In this paper, we present TDPSS, a high speed time domain power system simulator for dynamic security assessment. TDPSS has been designed using object-orientedprogramming framework, and thus, it is modular and extensible. By offering a variety of models of power system components and fast numerical algorithms, it provides the user with the flexibility to experiment with different design options in an efficient manner. We discuss the design of TDPSS to give insights into the simulation infrastructure and also discuss the areas where TDPSS can be extended for parallel contingency analysis. We also validate it against the commercial power system simulators, namely PSSE and DSA Tools. Further, we compare the simulation speed of TPDSS for different numerical algorithms. The results have shown that TDPSS is accurate and also outperforms the commonly used commercial simulator PSSE in terms of its computational efficiency.
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...
详细信息
ISBN:
(纸本)9781467322768
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 systems can be created by means of GN;specifications of properties, connections between software modules, relations between classes and member functions of classes can be defined;properties of software systems can be proven. The paper describes an application of the GN for building models of programs, for defining specifications, describing properties and relationships between program units, for verification of object-oriented programs (OOP). An approach for verification of OOP is presented from methodological point of view. The approach is intended for research and educational purposes.
Learning to program is widely agreed to be a challenging task for many students. Introductory programming units are typically taken by largely diverse student cohorts, with a range of different learning approaches and...
详细信息
Learning to program is widely agreed to be a challenging task for many students. Introductory programming units are typically taken by largely diverse student cohorts, with a range of different learning approaches and prior programming knowledge. With issues such as declining enrolments and high attrition, alternate methods for teaching introductory programming need to be investigated. Constructive alignment is a student-centered model of education that aims to enhance learning through the amalgamation of constructivism and aligned curriculum. Constructive alignment encourages students to adopt deep approaches to learning, which should be beneficial to students in introductory programming. This paper proposes an approach for using constructive alignment with portfolio assessment in the teaching of introductory programming, together with preliminary results and analysis.
Runtime monitoring is a technique usable in all phases of the software development cycle, from initial testing, to debugging, to actually maintaining proper function in production code. Of particular importance are pa...
详细信息
ISBN:
(纸本)9781467310673
Runtime monitoring is a technique usable in all phases of the software development cycle, from initial testing, to debugging, to actually maintaining proper function in production code. Of particular importance are parametric monitoring systems, which allow the specification of properties that relate objects in a program, rather than only global properties. In the past decade, a number of parametric runtime monitoring systems have been developed. Here we give a demonstration of our system, JavaMOP. It is the only parametric monitoring system that allows multiple differing logical formalisms. It is also the most efficient in terms of runtime overhead, and very competitive with respect to memory usage.
Due to the impact that Information and Communication Technologies have in the current society in general, and in academic institutions in particular, there is a growing need for effective creation and management of di...
详细信息
Due to the impact that Information and Communication Technologies have in the current society in general, and in academic institutions in particular, there is a growing need for effective creation and management of digital content. But content authoring is known to be an effort and time consuming task. Digital contents used inside Technology Supported Learning Systems with learning purposes are often referred to as Didactic Resources, or Learning objects if they are annotated with metadata. One of the main advantages of Learning objects is that they can be reused to support learning in different platforms or environments. Along this paper an experiment carried out with ErauzOnt, a system that automatically builds Learning objects from electronic textbooks using Natural Language Processing techniques, ontologies and heuristic reasoning is presented. ErauzOnt was able to gather definitions, examples and exercises for the topics of the object oriented programming subject - a compulsory subject studied at the first year of the Computer Engineering degree at the University of the Basque Country - using as a starting point a textbook written in English.
暂无评论