Since Java is one of the most popular languages in the academic and research community a lot of robust and effective scientific libraries have been developed. However, the utilisation of these libraries is very awkwar...
详细信息
Since Java is one of the most popular languages in the academic and research community a lot of robust and effective scientific libraries have been developed. However, the utilisation of these libraries is very awkward especially for the average scientist that does not expertise in software development. The study presents the framework that has constructed for the utilisation of Java scientific libraries within the ScalaLab environment. The flexibility and extensibility of the Scala language allows the implementation of simple, coherent and efficient Matlab-like interfaces to those libraries. Moreover, other specialised Java libraries can be exploited much more easily and productively from within ScalaLab with the toolbox import mechanism that this work describes. Additionally, the system offers facilities such as on-line help, code completion, graphical control of the class-path and a specialised text editor with code colouring facilities that greatly facilitate the development of scientific software.
Bounded existential types are a powerful language feature for modeling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in current object-oriented langu...
详细信息
Bounded existential types are a powerful language feature for modeling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in current object-oriented languages: the subtyping relation is already undecidable for very restrictive settings. This paper considers two subtyping relations defined by extracting the features specific to existentials from current language proposals (JavaGI, WildFJ, and Scala) and shows that both subtyping relations are undecidable. One of the two subtyping relations remains undecidable even if bounded existential types are restricted to the equivalent of interface types. With the goal of regaining decidable type checking for the JavaGI language, the paper also discusses various restrictions including the elimination of bounded existentials from the language as well as possible amendments to regain some of their features.
Developing parallel applications is notoriously difficult, but it\'s even more complex for desktop applications. The added difficulties primarily come from their interactive nature, where users largely perceive th...
详细信息
Developing parallel applications is notoriously difficult, but it\'s even more complex for desktop applications. The added difficulties primarily come from their interactive nature, where users largely perceive their performance. Desktop applications are typically developed with graphical toolkits that in turn have limitations in regards to multithreading. This article explores desktop applications\' structure, the threading model\'s limitations, and the parallelization of a desktop application using object-oriented and GUI-aware concepts.
Methods and approaches behind technology enhanced learning (TEL) in programming courses at a university level encourage continuous research in the last 20 years. Still there is no generally applicable way that would g...
详细信息
Methods and approaches behind technology enhanced learning (TEL) in programming courses at a university level encourage continuous research in the last 20 years. Still there is no generally applicable way that would guarantee success. In this paper some experiences gathered during years of a technology-enhanced approach in teaching object-oriented programming (OOP) at two universities in two countries are presented and compared. Emphasis is given on the technology-enhanced educational tools that were selected or developed by the two institutions for teaching OOP. Different traditions and independent development at both institutions allow us to draw generally applicable conclusions and recommendations.
ISO/IEC 19505-1:2012 defines the Unified Modeling Language (UML), revision 2. The objective of UML is to provide system architects, software engineers, and software developers with tools for analysis, design, and impl...
详细信息
标准号:
ISO/IEC 19505-1-2012
ISO/IEC 19505-1:2012 defines the Unified Modeling Language (UML), revision 2. The objective of UML is to provide system architects, software engineers, and software developers with tools for analysis, design, and implementation of software-based systems as well as for modeling business and similar processes.
In maintenance, assuring code quality and operation, software metrics is widely used by the various software organizations. Software metrics quantify different types of software complexity like size metrics, control f...
详细信息
ISBN:
(纸本)9781457715808;9781457715839
In maintenance, assuring code quality and operation, software metrics is widely used by the various software organizations. Software metrics quantify different types of software complexity like size metrics, control flow metrics and data flow metrics. These software complexities must be continuously calculated, followed and controlled. One of the main objectives of software metrics is that measures static and dynamic metrics analysis. It is always considered that high degree of complexity in a fragment is bad in comparison to a low degree of complexity in a fragment. Software metrics can be used in different phases of the software lifecycle. In this paper we will discuss the different metrics and comparison between both static and dynamic metrics. We try to evaluate and analyze different aspects of software static and dynamic metrics in regression testing which offers of estimating the effort needed for testing.
ISO/IEC 19505-2:2012 defines the Unified Modeling Language (UML), revision 2. The objective of UML is to provide system architects, software engineers, and software developers with tools for analysis, design, and impl...
详细信息
标准号:
ISO/IEC 19505-2-2012
ISO/IEC 19505-2:2012 defines the Unified Modeling Language (UML), revision 2. The objective of UML is to provide system architects, software engineers, and software developers with tools for analysis, design, and implementation of software-based systems as well as for modeling business and similar processes.
Current trend of systems of virtual learning is development of mobile communications in the technological level, and integration of constructivist approaches to education in the educational level of. Constructivist pe...
详细信息
ISBN:
(纸本)9781457717475
Current trend of systems of virtual learning is development of mobile communications in the technological level, and integration of constructivist approaches to education in the educational level of. Constructivist pedagogy in addition to the benefits of digital communication points to the problem of the virtual learning such as missing forms of social interactions of elements that are common in the real school environment, lack of immediate feedback for students and teachers, and other aspects. The current concept inclined to more general system approach of virtual university, such comprehensive set of digital communication solutions with a focus on education. Virtual university cannot therefore be understood only as a computer system with access to the text and exercises that students complete by ticking presented options. The paper focuses on solution of distance learning course in programming, especially on elimination the problems associated with the practical skill and techniques of structured and object-oriented programming.
In this paper, we describe a research project that investigates how far freshmen at the University (without any programming background) are able to learn object-oriented programming with as little (human) instruction ...
详细信息
ISBN:
(纸本)9781450305006
In this paper, we describe a research project that investigates how far freshmen at the University (without any programming background) are able to learn object-oriented programming with as little (human) instruction as possible. We designed specific tasks for programming assignments and supporting worksheets that contained the only information input that the students received during the courses. We examined the program code the students produced in order to assess the quality of their products. The surprising result was that most of the students were able to write quite satisfying programs. Additionally, a cluster analysis of the results showed that there are two different types of students: the ones that accept and apply the object-oriented concepts quite willingly, while the others prefer to program in a more traditional, procedural style.
In this paper,the artificial intelligence control technology is used in sewage treatment plants, we use fuzzy control method in the sewage treatment process, we use the dynamic fuzzy control in the water quality of th...
详细信息
ISBN:
(纸本)9783037851333
In this paper,the artificial intelligence control technology is used in sewage treatment plants, we use fuzzy control method in the sewage treatment process, we use the dynamic fuzzy control in the water quality of the sewage treatment process parameters, on this basis, we completed the automatic control system software design, the upper control software we use the WinCC configuration,the next bit control softwarewe use the STEP7 5.1. We use the object-oriented programming idea to improve the efficiency of automatic control software. We developed the application communication protocol between the upper and lower computer layer, the next crew and the host computer can run independently when they are not connected,when the communication connects again, you can pass the parameters of the system from each other to avoid the loss of valid data. The central control system monitors the plant process and equipment operation all the time, the remote control substitutes for the original analog console, it is important simulation parameters to trend display, allowing the operator to better control water quality.
暂无评论