Journal articles on the topic 'Programming language and software engineering, n.e.c'

Problem solving skills are very important in supporting social development. Children with problem solving skills can build healthy relationships with their friends, understand the emotions of those around them, and see events with other people's perspectives. The purpose of this study was to determine the implementation of playing unplugged coding programs in improving early childhood problem solving skills. This study used a classroom action research design, using the Kemmis and Taggart cycle models. The subjects of this study were children aged 5-6 years in Shafa Marwah Kindergarten. Research can achieve the target results of increasing children's problem-solving abilities after going through two cycles. In the first cycle, the child's initial problem-solving skills was 67.5% and in the second cycle it increased to 80.5%. The initial skills of children's problem-solving increases because children tend to be enthusiastic and excited about the various play activities prepared by the teacher. The stimulation and motivation of the teacher enables children to find solutions to problems faced when carrying out play activities. So, it can be concluded that learning unplugged coding is an activity that can attract children's interest and become a solution to bring up children's initial problem-solving abilities. Keywords: Early Childhood, Unplugged Coding, Problem solving skills References: Akyol-Altun, C. (2018). Algorithm and coding education in pre-school teaching program integration the efectiveness of problem-solving skills in students. Angeli, C., Smith, J., Zagami, J., Cox, M., Webb, M., Fluck, A., & Voogt, J. (2016). A K-6 Computational Thinking Curriculum Framework: Implications for Teacher Knowledge. Educational Technology & Society, 12. Anlıak, Ş., & Dinçer, Ç. (2005). Farklı eğitim yaklaşımları uygulayan okul öncesi eğitim kurumlarına devam eden çocukların kişilerarası problem çözme becerilerinin değerlendirilmesi. Ankara Üniversitesi Eğitim Bilimleri Fakülte Dergis. Aranda, G., & Ferguson, J. P. (2018). Unplugged Programming: The future of teaching computational thinking? Pedagogika, 68(3). https://doi.org/10.14712/23362189.2018.859 Arinchaya Threekunprapa. (2020). Patterns of Computational Thinking Development while Solving Unplugged Coding Activities Coupled with the 3S Approach for Self_Directed Learning. European Journal of Educational Research, 9(3), 1025–1045. Arı, M. (2003). Türkiye’de erken çocukluk eğitimi ve kalitenin önemiNo Title. Erken Çocuklukta Gelişim ve Eğitimde Yeni Yaklaşımlar. Armoni, M. (2012). Teaching CS in kindergarten: How early can the pipeline begin? ACM Inroads, 3(4), 18–19. https://doi.org/10.1145/2381083.2381091 Aydoğan, Y. (2004). İlköğretim ikinci ve dördüncü sınıf öğrencilerine genel problem çözme becerilerinin kazandırılmasında eğitimin etkisinin incelenmesi. Bell, T., Alexander, J., Freeman, I., & Grimley, M. (2009). Computer Science Unplugged: School students doing real computing without computers. 10. Berk, L. E. (2013). Bebekler ve çocuklar: Doğum öncesinden orta çocukluğa. N. Işıkoğlu Erdoğan, Çev. Bers, M. U. (2018). Coding, playgrounds, and literacy in early childhood education: The devel_opment of KIBO robotics and Scratch Jr. IEEE. Brackmann, C. P., Moreno-León, J., Román-González, M., Casali, A., Robles, G., & Barone, D. (2017). Development of computational thinking skills through unplugged activities in primary school. ACM International Conference Proceeding Series, 65–72. https://doi.org/10.1145/3137065.3137069 Brennan, K., & Resnick, M. (2012). New frameworks for studying and assessing the development of computational thinking. 25. Deek, F. P. (1999). The software process: A parallel approach through problem solving and program development. Computer Science Education. Demi̇Rer, V., & Sak, N. (2016). Programming Education and New Approaches Around the World and in Turkey. 26. Dereli-İman. (2014). Değerler eğitimi programının 5-6 yaş çocukların sosyal gelişimine etkisi: Sosyal beceri, psiko-sosyal gelişim ve sosyal problem çözme becerisi. Kuram ve Uygulamada Eğitim Bilimleri. Doğru, M., Arslan, A., & Şeker, F. (2011). Okul öncesinde uygulanan fen etkinliklerinin 5-6 yaş çocukların problem çözme becerilerine etkisi. Uluslararası Türkiye Eğiti Araştırmaları Kongresi. Erickson, A. S. G., Noonan, P., Zheng, C., & Brussow, J. A. (2015). The relationship between self-determination and academic achievement for adolescents with intellectual disabilities. Research in Developmental Disabilities, 36, 45–54. Fee, S. B., & Holland-Minkley, A. M. (2010). Teaching computer science through problems, not solutions. Computer Science Education, 20(2), 129–144. https://doi.org/10.1080/08993408.2010.486271 Futschek, G., & Moschitz, J. (2010). Developing algorithmic thinking by inventing and playing algo_rithms. Gretter, S., & Yadav, A. (2016). Computational Thinking and Media & Information Literacy: An Integrated Approach to Teaching Twenty-First Century Skills. Grover, S., & Pea, R. (2013). Computational thinking in k-12: A review of the state of the field. Educational Researcher. Harrop, W. (2018). Coding for children and young adults in libraries: A practical guide for librarians. 45. Hazzan, O., Lapidot, T., & Ragonis, N. (2011). Guide to Teaching Computer Science. Springer London. https://doi.org/10.1007/978-0-85729-443-2 Horn, M. S., Crouser, R. J., & Bers, M. U. (2012). Tangible interaction and learning: The case for a hybrid approach. Personal and Ubiquitous Computing, 16(4), 379–389. https://doi.org/10.1007/s00779-011-0404-2 Hsu, T.-C., Chang, S.-C., & Hung, Y.-T. (2018). How to learn and how to teach computational thinking: Suggestions based on a review of the literature. Computers & Education, 126, 296–310. https://doi.org/10.1016/j.compedu.2018.07.004 Ismail, M. N., Ngah, N. A., & Umar, I. N. (2010). Instructional strategy in the teaching of computer programming: A need assessment analyses. TOJET: The Turkish Online Journal of Educational Technology. Ismail, M. N., Ngah, N. A., & Umar, I. N. (2010). Instructional Strategy in The Teaching of Computer Programming: A Need Assessment Analyses. The Turkish Online Journal of Educational Technology, 9(2), 7. Jitendra, A. K., Petersen-Brown, S., Lein, A. E., Zaslofsky, A. F., Kunkel, A. K., Jung, P.-G., & Egan, A. M. (2013). Teaching Mathematical Word Problem Solving: The Quality of Evidence for Strategy Instruction Priming the Problem Structure. Journal of Learning Disabilities, 48(1), 51–72. https://doi.org/10.1177/0022219413487408 Joohi Lee. (2019). Coding in early childhood. Contemporary Issues in Early Childhood. Kalyuga, S., Renkl, A., & Paas, F. (2010). Facilitating flexible problem solving: A cognitive load perspective. Educational Psychology Review. Kemmis, S., McTaggart, R., & Nixon, R. (2014). The Action Research Planner. Springer Singapore. https://doi.org/10.1007/978-981-4560-67-2 Kesicioğlu, O. S. (2015). Okul öncesi dönem çocukların kişilerarası problem çözme becerilerinin incelenmesi. Eğitim ve Bilim. Koksal Akyol, A. ve Didin, E. (2016). Ahlak gelisimi [Moral development]. In Cocuk Gelisimi icinde [In Child Development]. Lazakidou, G., & Retalis, S. (2010). Using computer supported collaborative learning strategies for helping students acquire self-regulated problem-solving skills in mathematics. Computers & Education, 54(1), 3–13. https://doi.org/10.1016/j.compedu.2009.02.020 Looi, C.-K., How, M.-L., Longkai, W., Seow, P., & Liu, L. (2018). Analysis of linkages between an unplugged activity and the development of computational thinking. Computer Science Education, 28(3), 255–279. https://doi.org/10.1080/08993408.2018.1533297 McClure, E. R., Guernsey, L., Clements, D. H., Bales, S. N., Nichols, J., Kendall-Taylor, N., & Levine, M. H. (2017). Grounding science, technology, engineering, and math education in early childhood. 68. McLennan, D. P. (2017). Creating coding stories and games. Teaching Young Children. McNerney, TimothyS. (2004). From turtles to Tangible Programming Bricks: Explorations in physical language design. Personal and Ubiquitous Computing, 8(5). https://doi.org/10.1007/s00779-004-0295-6 Mittermeir, R. T. (2013). Algorithmics for preschoolers—A contradiction? Montemayor, J., Druin, A., Chipman, G., Farber, A., & Guha, M. L. (2004). Tools for children to create physical interactive storyrooms. Computers in Entertainment, 2(1), 12–12. https://doi.org/10.1145/973801.973821 Pane, J. F. (2002). A Programming System for Children that is Designed for Usability. 204. Papanastasiou, G., Drigas, A., Skianis, C., Lytras, M., & Papanastasiou, E. (2018). Virtual and augmented reality effects on K-12, higher and tertiary education students’ twenty-29 first century skills. Pellegrino, J. W., & Hilton, M. L. (2012). Education for Life and Work: Developing Transferable Knowledge and Skills in the 21st Century. Pila, S., Aladé, F., Sheehan, K. J., Lauricella, A. R., & Wartella, E. A. (2019). Learning to code via tablet applications: An evaluation of Daisy the Dinosaur and Kodable as learning tools for young children. Computers & Education, 128, 52–62. https://doi.org/10.1016/j.compedu.2018.09.006 Root, J., Saunders, A., Spooner, F., & Brosh, C. (2017). Teaching Personal Finance Mathematical Problem Solving to Individuals with Moderate Intellectual Disability. Career Development and Transition for Exceptional Individuals, 40(1), 5–14. https://doi.org/10.1177/2165143416681288 Scanlan, D. A. (1989). Structured flowcharts outperform pseudocode: An experimental comparison. IEEE Software, 6(5), 28–36. https://doi.org/10.1109/52.35587 Sheehan, K. J., Pila, S., Lauricella, A. R., & Wartella, E. A. (2019). Parent-child interaction and children’s learning from a coding application. Computers & Education, 140, 103601. https://doi.org/10.1016/j.compedu.2019.103601 Shute, V. J., Sun, C., & Asbell-clarke, J. (2017). Demystifying computational thinking. Educational Research Review. Sigelman, C. K., & Rider, E. A. (2012). Life-span Human Development (7th ed.). Cengage Learning. Sullivan, A., & Bers, M. U. (2016). Robotics in the early childhood classroom: Learning outcomes from an 8-week robotics curriculum in pre-kindergarten through second grade. International Journal of Tech_nology and Design Education, 26, 3–20. Sullivan, A. A., Bers, M. U., & Mihm, C. (2017). International conference on com_putational thinking education. Imagining, Playing, and Coding with KIBO: Using Robot_ics to Foster Computational Thinking in Young ChildreImagining, Playing, and Coding with KIBO: Using Robot_ics to Foster Computational Thinking in Young Children. Sullivan, A., Elkin, M., & Bers, M. U. (2015). KIBO robot demo: Engaging young children in programming and engineering. Proceedings of the 14th International Conference on Interaction Design and Children, 418–421. https://doi.org/10.1145/2771839.2771868 Threekunprapa, A., & Yasri, P. (n. d.). (2020). The role of augmented reality based unplugged computer programming approach in the effectiveness of computational thinking. Uysal, A. & Kaya-Balkan, İ. (2015). Sosyal beceri eğitimi alan ve almayan okul öncesi çocukların, sosyal beceri ve benlik kavramı düzeyleri açısından karşılaştırılması. Psikoloji Çalışmaları. Vorderman, C. (2017). Computer coding for kids: A unique step-by-step visual guide, from binary code to building games. Voronina, L. V., Sergeeva, N. N., & Utyumova, E. A. (2016). Development of algorithm skills in preschool children. Procedia-Social and Behavioral Sciences, 233, 155-159. Wang, D., Han, H., Zhan, Z., Xu, J., Liu, Q., & Ren, G. (2015). A problem solving oriented intelligent tutoring system to improve students’ acquisition of basic computer skills. Comput. Educ., 81, 102–112. Wang, D., Zhang, C., & Wang, H. (2010). Proceedings of the 10th international conference on interaction design and children. T-Maze: A Tangible Programming Tool for Children. Wang, Danli, Zhang, C., & Wang, H. (2011). T-Maze: A tangible programming tool for children. Proceedings of the 10th International Conference on Interaction Design and Children - IDC ’11, 127–135. https://doi.org/10.1145/1999030.1999045 Woods, D. R., Hrymak, A. N., Marshall, R. R., Wood, P. E., Crowe, C. M., Hoffman, T. W., Wright, J. D., Taylor, P. A., Woodhouse, K. A., & Bouchard, C. G. K. (1997). Developing Problem Solving Skills: The McMaster Problem Solving Program. Journal of Engineering Education, 86(2), 75–91. https://doi.org/10.1002/j.2168-9830.1997.tb00270.x Yıldırım, A. (2014). Okul öncesinde yaratıcı problem çözme etkinliklerinin yaratıcılığa etkisi (5 yaş örneği). Hacettepe University, Ankara, Turkey. Yohanes. (2018). Mengajarkan Computational Thinking dan Coding Pada Anak-Anak. Amazing Grace. https://blog.compactbyte.com/2018/05/26/mengajarkan-computational-thinking-dan-coding-pada-anak-anak/ Yu, K.-C., Fan, S.-C., & Lin, K.-Y. (2015). Enhancing Students’ Problem-Solving Skills Through Context-Based Learning. International Journal of Science and Mathematics Education, 13(6), 1377–1401. https://doi.org/10.1007/s10763-014-9567-4 Yuksel, H. S. (2019). Experiences of Prospective Physical Education Teachers on Active Gaming within the Context of School-Based Physical Activity. European Journal of Educational Research, 8(1). https://doi.org/10.12973/eu-jer.8.1.199 Zvarych, I., Kalaur, S. M., Prymachenko, N. M., Romashchenko, I. V., & Romanyshyna, O. Ia. (2019). Gamification as a Tool for Stimulating the Educational Activity of Students of Higher Educational Institutions of Ukraine and the United States. European Journal of Educational Research, 8(3). https://doi.org/10.12973/eu-jer.8.3.875

Problem. The subject of the study is an interactive mobile application in Java. To perform this work, the following tasks were set: analysis of programming environments and languages of development; analysis of methods for developing the logic and interface of the mobile application; development of an interactive mobile application in Java. Goal. The aim of the work is to develop a mobile application for learning a foreign language for the Android operating system, whose interface and logic will be modern, user-friendly and accessible to users. Methodology. The general concept of a mobile application for learning a foreign language is as follows: learning a foreign language offline, versatile learning (words, grammar), the presence of a motivational unit, simple design. The object of research is the process of building an interactive mobile application in Java for the Android operating system. In the course of the work, a study of programming languages and environments for the development of mobile applications was conducted. Programming languages such as: Java, C ++, C # were considered. Programming environments such as Android Studio, NetBeans and Eclipse were also analyzed. As a result, the Java programming language and Android Studio programming environment were chosen for the development of the mobile application. Two types of markup were selected: LinearLayout; ConstraintLayout. Results. The mobile application for learning a foreign language for the Android operating system was developed in Android Studio in two programming languages: Java (logic) and XML (interface). The aim to provide the application with modern interface and logic, to make it user-friendly and accessible to users was completed. Originality. Contribution has been made to the field of using smartphones for learning foreign languages. The sphere of using smartphones has been expanded with the use of all modern trends to the creation of mobile applications for learning foreign languages. Practicalvalue. Considering that the number of potential users will only increase in the nearest future, the developed mobile application for learning a foreign language is an ideal platform for educating those who want to develop and learn foreign languages for themselves, as well as for work, communication and travel.

Config is a software component of the Graphical R-Matrix Atomic Collision Environment. Its development is documented as a case study combining several software engineering techniques: formal specification, generic programming, object-oriented programming, and design by contract. It is specified in VDM++; and implemented in C++, a language which is becoming more than a curiosity amongst the scientific programming community. C++supports object orientation, a powerful architectural paradigm in designing the structure of software systems, and genericity, an orthogonal dimension to the inheritance hierarchies facilitated by object oriented languages. Support in C++ for design by contract can be added in library form. The combination of techniques make a substantial contribution to the overall software quality.

Abstract C language programming is more and more favoured by the majority of technical personnel in embedded systems. The application of C language technology in computer software programming can effectively avoid unnecessary language logic problems, ensure the smooth progress of programming work and effectively improve the quality and efficiency of programming. For the development of C language embedded system, the programming ideas of system software are explained, the functional module division based on hierarchical design is given, and the realization methods of project organization, program framework design, module reuse design, etc. in the software development process are clarified. To solve the contradiction between C language flexibility and application development engineering. Although it is introduced for the ARM platform, the basic experience and algorithms are also suitable for software design on other embedded platforms.

C Language Programming is one of the main courses for computer science majors’ students. As the first programming language, it is difficult to learn and teach for both of students and teachers. In our traditional teaching methods, we had to introducing statements and syntaxes, in addition to some simple examples. However, this method showed the lack of logic system training in the programming approach and the students taught by this mode were not so competent for handling problems occurring in programming. Therefore, the teaching method of C Language programming needs reforming. After years of experiencing the new teaching modes, we come to a conclusion that teaching C Language Programming should be based on the programming approach, importing the software engineering ideas into teaching, and practicing Case Studies and Project teaching mode, i.e, teaching students in accordance with their aptitude. This teaching mode has brought us great achievements so far.

The N-Version Programming (NVP) approach applies the idea of design diversity to obtain fault-tolerant software units, called N-Version Software (NVS) units. The effectiveness of this approach is examined by the software diversity achieved in the member versions of an NVS unit. We define and formalize the concept of design diversity and software diversity in this paper. Design diversity is a property naturally applicable to the NVP process to increase its fault-tolerance attributes. The baseline design diversity is characterized by the employment of independent programming teams in the NVP. More design diversity investigations could be enforced in the NVP design process, including different languages, different tools, different algorithms, and different methodologies. Software diversity is the resulting dissimilarities appearing in the NVS member versions. We characterize it from four different points of view that are designated as: structural diversity, fault diversity, tough-spot diversity, and failure diversity. Our goals are to find a way to quantify software diversity and to investigate the measurements which can be applied during the life cycle of NVS to gain confidence that operation will be dependable when NVS is actually employed. The versions from a six-language N-Version Programming project for fault-tolerant flight control software were used in the software diversity measurement.

On basis of ventilator dimensionless performance curve and specific speed, a ventilator selection software is studied on purpose of improving the efficiency of ventilator selection. Utilizing programming technology, a database is built which consists of ventilator type, performance parameter, outline dimensions, etc. Graphical interface is programmed using C# language and performance curve is generated and analyzed by the block of MATLAB. Mixed programming method is used to integrate the above two different programming tools, which shortens software development cycle. Analysis result shows that the software developed by the authors meets application requirements and the selected ventilator type is qualified to be adopted.

The CH programming language is designed to be a superset of C. CH bridges the gap between C and FORTRAN; it encompasses all the programming capabilities of FORTRAN 77 and consists of features of many other programming languages and software packages. Unlike other general-purpose programming languages, CH is designed to be especially suitable for applications in mechanical systems engineering. Because of our research interests, many programming features in CH have been implemented for design automation, although they are useful in other applications as well. In this paper we will describe these new programming features for design automation, as they are currently implemented in CH in comparison with C and FORTRAN 77.

The paper discusses whether (and how) to teach assembly coding as opposed to (or in conjunction with) higher programming languages as part of a modern electrical engineering curriculum. We describe the example of a very simple cooperative embedded real-time operating system, first programmed in C and then in assembler. A few lines of C language code are compared with the slightly longer assembly code equivalent, and the advantages and drawbacks are discussed. The example affords students a much deeper understanding of computer architecture and operating systems. The course is linked to other courses in the curriculum, which all use the same hardware and software platform; this lowers prices, reduces overheads and encourages students to reuse parts of a written code in subsequent courses. A student learns that badly written and poorly documented code is very difficult to reuse.

The location of vehicle license plate is the important component of realization intelligent traffic system.While programming locaton of car license plate.Visual C++ language,a software development platform,is widely used.Matlab Compiler language is simple and easy to use and has strong ability of Graphics processing. Accordingly ,This paper presents a new method based on the Visual C++ and Matlab mixed programming of image processing,Image processing for vehicle license plate. And introduced the way to achieve application of this method in the image processing.Experimental evidence,this method has great application value.

The objective of this work is to apply metabolic algorithm to the various items involved during the software development process. The metabolic algorithm is introduced in the rewriting mechanism of membrane or P system considering many time varying functions. Rules for requirement evolution, reaction between items in the membrane, communications between data items, process speed-up and abort rule are being proposed. The metabolic algorithm is applied for the transformation of user requirements into system requirements which can be further segregated into functional as well as non-functional requirements. The requirement elicitation is illustrated and verified to obtain the most expected requirement objects using C# programming language.

Accidents on oil and gas pipelines, accompanied by fluid leakage, cause economic and environmental damage. The task of the chief mechanics is to prevent accidents and monitor the operation of the equipment. A prerequisite for the timely accidents control in the oil and gas industry and the elimination of their consequences is the prompt determination of the location of leaks and tie-ins. To solve this problem, a large number of methods that differ in sensitivity, external immunity, speed and accuracy of determining the coordinates of leak sites and tie-ins have been developed and applied. Frequency characteristics are used to solve a number of typical problems of research and processing of equipment failure signals. A variant of the implementation of the fast Fourier transform in the C++ programming language and the coding language of the Verilog programmable logic integrated circuit is proposed. When performing the work, Visual Studio software from Microsoft and Quartus from Intel (Altera) are used. A comparison of the results of processing several signals in the above programs is presented. When implemented in a programmable logic integrated circuit, the work is performed at the model level using the built-in intellectual property core (IP function), while in C++ the algorithm is implemented manually, which increases the accuracy of its execution. The practical significance of the work is the study and solution of the simplest tasks in the development of modern electronic devices, including for monitoring the operation of equipment in the oil and gas industry of rapid response, in the Verilog hardware description language and comparison with an alternative model in the programming language. Excerpts of the codes of both programs are presented. The FFT is illustrated (step by step), as well as the signals before and after processing are presented. This work can be used to teach students of higher educational institutions in the field of development, debugging and coding of electronic and radio-electronic devices, as well as in the creation and design of real devices in production. Familiarization and study of this programming language are conducted within the walls of one of the leading engineering universities of the Russian Federation, the Bauman Moscow State Technical University.

This is the first paper using C++ to develop an interface for the newly-published Multiple-point geostatistics (Snesim) in petroleum industry. The Snesim is programmed in Fortran language and is encapsulated to DLL(dyanamic link library) , and the integration of Fortran DLL and C++ is then programmed. The hybrid programming with C++ and Fortran both utilizes the merits of the friendly interface of C++ and the powerful computation ability of Fortran. The small software by this method is developed and put into use in reservoir geostatistical modeling and got much economical effects.

Abstract In this paper, the form of modifications of the existing sequential code written in C or C++ programming language for the calculation of various kind of structures using the explicit form of the Finite Element Method (Dynamic Relaxation Method, Explicit Dynamics) in the NEXX system is introduced. The NEXX system is the core of engineering software NEXIS, Scia Engineer, RFEM and RENEX. It has the possibilities of multithreaded running, which can now be supported at the level of native C++ programming language using standard libraries. Thanks to the high degree of abstraction that a contemporary C++ programming language provides, a respective library created in this way can be very generalized for other purposes of usage of parallelism in computational mechanics.

Electric power distribution systems play an important role in electric power systems, in which automation intelligent distribution terminal units are critical for the performance of power distribution systems. The software of an automation intelligent electric power distribution terminal unit based on digital signal processor is designed in the paper, a way of admixture programming with C language and assembly language. In this manner, real-time requirement on the electric power distribution system will be satisfied, the reliability and stability of the software are ensured as while. It has a broad application prospects in electric power systems.

AbstractThis paper presents an application of functional programming in the field of molecular biology: exploring the conformations of nucleic acids. TheNucleic Acid three-dimensional structure determination problem(NA3D) and a constraint satisfaction algorithm are formally described. Prototyping and experimental development using the Miranda functional programming language, over the last four years, are discussed. A Prolog implementation has been developed to evaluate software engineering and performance criteria between functional and logic programming. A C++ implementation has been developed for distribution purpose and to solve large practical problems. This system, called MC-SYM for ‘Macromolecular Conformation by SYMbolic generation’, is used in more than 50 laboratories, including academic and government research centres and pharmaceutical companies.

This paper describes the cold rolling database system based on Web platform and the relevant technology of this system. Adopt tree-tier B/S architecture,ASP.NET technology, C# programming language. By communicating in different data storage of application , a dynamic, execute, interactive, highly efficient network application software has been built.

Quantum programming languages (QPL) fill the gap between quantum mechanics and classical programming constructions, simplifying the development of quantum applications. However, most QPL addresses the inherent quantum programming problem, neglecting quantum computer implementation constraints. We present a runtime architecture for classical-quantum execution that mitigates the limitation of interaction between classical and quantum computers originated from the cloud-based model of quantum computation provided by several vendors, which implies a quantum computer processing in batch. In the proposed runtime architecture, we introduce (i) runtime quantum code generation to enable generic quantum programming and dynamic quantum execution; and (ii) the concept of futures to handle dynamic interaction between classical and quantum computers. To support our proposal, we have implemented the Ket Quantum Programming framework that features a Python-embedded classical-quantum programming language named Ket, the C++ quantum programming library Libket, and Ket Bitwise (quantum computing) Simulator. The last one improves over the bitwise representation, making the simulation time not dependent on the number of qubits but the amount of superposition and entanglement of simulation.

Programming languages are a vital domain for Computer and Information Technology engineering. The programming languages like C, C++, Java, Python, Mobile Application Development, and Web Technologies are important programming courses in CSE and IT curriculum. Understanding the programming courses includes a basic understanding of the syntax of programming language, logical & critical thinking to solve the problem, use of various editors to write and execute the program. Effective delivery of the programming course creates a great deal of influence on student’s interest in programming and software development. The students lose their interest in programming due to the inefficient delivery of these courses which leads to a gap in technical competency required by the IT sector. The current Covid 19 pandemic exposed the limitation of traditional teaching methods for programming courses. Teaching such programming courses on online mode becomes a big challenge for faculty by considering the skillset required to inculcate amongst the students for learning programming courses. The primary objective of this paper is to overcome these challenges by the effective use of a pedagogical approach for teaching programming courses. The various active learning methods and tools are discussed in this paper that was used to teach the programming language. The result shows that by implementation of such methods & tools you can retain the interest of students in programming courses and thus increase their performance and improve the skillset required in IT industry. Keywords— Computer Programming, Activity-based learning, Visualization tools, logic building, Critical thinking, Continuous Assessment.

Abstract Although current computer-aided software engineering tools support developers in composing a program, there is no doubt that more flexible supportive tools are needed to address the increases in the complexity of programs. This need can be met by automating the intellectual activities that are carried out by humans when composing a program. This paper aims to automate the composition of a programming language code from pseudocode, which is viewed here as a translation process for a natural language text, as pseudocode is a formatted text in natural English language. Based on this view, a new automatic code generator is developed that can convert pseudocode to C# programming language code. This new automatic code generator (ACG), which is called CodeComposer, uses natural language processing (NLP) techniques such as verb classification, thematic roles, and semantic role labeling (SRL) to analyze the pseudocode. The resulting analysis of linguistic information from these techniques is used by a semantic rule-based mapping machine to perform the composition process. CodeComposer can be viewed as an intelligent computer-aided software engineering (I_CASE) tool. An evaluation of the accuracy of CodeComposer using a binomial technique shows that it has a precision of 88%, a recall of 91%, and an F-measure of 89%.

This paper presents a method for measuring total station coordinate traverse, and the method of using indirect adjustment and rigorous indirect adjustment with restrictions Based on Visual Studio 2010 programming environment ,use C # programming language,GDI + graphics processing and software engineering technology to research related program design.The Program is designed to achieve the automation, intelligence and high precision of outcome traverse adjustment.

In science and engineering using edge-embedded software, it is necessary to demonstrate the validity of results; therefore, the software responsible for operating an edge system is required to guarantee its own validity. The aim of this study is to guarantee the validity of the sampled-time filter and time domain as fundamental elements of autonomous edge software. This requires the update law of a sampled-time filter to be invoked once per every control cycle, which we guaranteed by using the proposed domain specific language implemented by a metaprogramming design pattern in modern C++ (C++11 and later). The time-domain elements were extracted from the software, after which they were able to be injected into the extracted software independent from the execution environment of the software. The proposed approach was shown to be superior to conventional approaches that only rely on the attention of programmers to detect design defects. This shows that it is possible to guarantee the validity of edge software by using only a general embedded programming language such as modern C++ without auxiliary verification and validation toolchains.

Applying software reuse to many Embedded Real-Time (ERT) systems poses significant challenges to industrial software processes due to the resource-constrained and real-time requirements of the systems. Autonomous Mobile Robot (AMR) system is a class of ERT systems, hence, inherits the challenge of applying software reuse in general ERT systems. Furthermore, software reuse in AMR systems is challenged by the diversities in terms of robot physical size and shape, environmental interaction and implementation platform. Thus, it is envisioned that component-based software engineering will be the suitable way to promote software reuse in AMR systems with consideration to general requirements to be self-contained, platform-independent and real-time predictable. A framework for component-oriented programming for AMR software development using PECOS component model is proposed in this paper. The main features of this framework are: (1) use graphical representation for components definition and composition; (2) target C language for optimal code generation with resource-constrained micro-controller; and (3) minimal requirement for run-time support. Real-time implementation indicates that, the PECOS component model together with the proposed framework is suitable for resource constrained embedded AMR systems software development.

Introduction: Chlorophyll Fluorescence (Fv/Fm) detects damage in photosystem II (PSII) in plants exposed to stress (biotic and/or abiotic). Objective: In this context, Fv/Fm for the diagnosis of the effect of N deficiency and light in tomato plants (Solanum lycopersicum) was evaluated. Methods: We used the software R to analyze data from an experiment consisted of two light treatments (high and low) and two Hoagland nutritive solutions (N deficiency: (-)N; and complete solution: C). Twenty tomato plants within the two light treatments, with two nutrient levels ((-)N and C) were used. For four weeks, weekly measurements for height (H), leaf number (NL), and Fv/Fm were made. On the fourth week, the dry mass partitioning (root: RMR; stem: SMR; and leaves: LMR) and chlorophyll concentration (a, b, a/b, and total) was measured. Results: We found statistically significant differences between treatments for H, NL and Fv/Fm (KW> 14,5, g.l.= 3,76, P<0,01), but no differences for chlorophyll concentration (F<2,2; g.l.=1, 16, P>0,05). In both light conditions it was higher LMR in C treatment, but with lower RMR compared to (-)N. Statistically significant correlations (% Spearman, P<0,05) between Fv/Fm and LMR, RMR, and SMR (-76%, 69%, and 37%, respectively) were found. Conclusion: Overall, we can emphasize that the Fv/Fm is a sensitive variable to the stress caused by nitrogen and light deficiency, whose progress of stress time-course can assess. Finally, Fv/Fm proved to be an indicator of the dry mass partition of stress induced by N deficiency and could be implemented as diagnostic in breeding programs.

Despite the importance of sparse matrices in numerous fields of science, software implementations remain difficult to use for non-expert users, generally requiring the understanding of the underlying details of the chosen sparse matrix storage format. In addition, to achieve good performance, several formats may need to be used in one program, requiring explicit selection and conversion between the formats. This can be both tedious and error-prone, especially for non-expert users. Motivated by these issues, we present a user-friendly and open-source sparse matrix class for the C++ language, with a high-level application programming interface deliberately similar to the widely-used MATLAB language. This facilitates prototyping directly in C++ and aids the conversion of research code into production environments. The class internally uses two main approaches to achieve efficient execution: (i) a hybrid storage framework, which automatically and seamlessly switches between three underlying storage formats (compressed sparse column, red-black tree, coordinate list) depending on which format is best suited and/or available for specific operations, and (ii) a template-based meta-programming framework to automatically detect and optimise the execution of common expression patterns. Empirical evaluations on large sparse matrices with various densities of non-zero elements demonstrate the advantages of the hybrid storage framework and the expression optimisation mechanism.

This thesis study on algorithms of auto-generating engineering geology histogram, For example: the hierarchy model of drilling histogram, rendering algorithm of lithologic columnar and the rendering algorithm column separator. MapGIS was secondary exploitation platformand , and Borland C++ Builder 6.0 was programming language. Through called MapGIS’ secondary exploitation components directly and used algorithms mentioned in this paper, engineering geology histograms was auto-generated. Being validated by practical engineering geology data, the software system not only runs steadily and generates plot rapidly, but also the result is exact, generating histograms is slinky and concordant.

Software engineering is the manner of making use of engineering studies and alertness packages to the design, improvement and renovation of software program. For software program builders or college students majoring in data engineering, the software program renovation manner is a totally complicated activity. Software renovation manner charges account for 40% to 80% of the whole software program engineering manner. The software program renovation manner is resulting from based programming, inadequate understanding domains, and application documentation. In this study, researchers attempted to apply the Java programming language and c / c ++ to deal with supply code truncation. After finishing this manner, this system code may be divided into code and remarks. This report could be used to gain data approximately the manner of knowledge this system from the software program renovation manner. For supply code slicing, the writer makes use of normal expressions, specifically textual content processing strategies or patterns. Using normal expressions can accelerate the manner of locating remarks to your application. The end result of this study is to construct software primarily based totally on open supply code (loose license) so that scholars and trendy programmers can use it to assist apprehend this system. According to the effects of the researchers' testing, the recuperation price is 100% and the accuracy is 100%.

Ch is an embeddable C/C++ interpreter. It was developed to allow software developers to use one language, anywhere and everywhere, for any programming task. Ch supports C99, a latest C standard ratified in 1999, and contains salient features for two and three dimensional plotting and numerical computing for applications in engineering and science. Developed in Ch, Ch Control System Toolkit provides a control class with member functions for object-based interactive modeling, analysis, and design of linear time-invariant control systems. The software package, available for downloading on the web, has been widely used in industry to solve practical engineering problems and in universities for instructional improvement. The design and implementation of Ch Control System Toolkit are described in this paper. Two application examples of control system design and analysis using Ch Control System Toolkit demonstrate its power and simplicity.

Control systems for autonomous robots are concurrent, distributed, embedded, real-time and data intensive software systems. A real-world robot control system is composed of tens of software components. For each component providing robotic functionality, tens of different implementations may be available. The difficult challenge in robotic system engineering consists in selecting a coherent set of components, which provide the functionality required by the application requirements, taking into account their mutual dependencies. This challenge is exacerbated by the fact that robotics system integrators and application developers are usually not specifically trained in software engineering. In various application domains, software product line (SPL) development has proven to be the most effective approach to face this kind of challenges. In a previous paper [D. Brugali and N. Hochgeschwender, Managing the functional variability of robotic perception systems, in First IEEE Int. Conf. Robotic Computing, 2017, pp. 277–283.] we have presented a model-based approach to the development of SPL for robotic perception systems, which integrates two modeling technologies developed by the authors: The HyperFlex toolkit [L. Gherardi and D. Brugali, Modeling and reusing robotic software architectures: The HyperFlex toolchain, in IEEE Int. Conf. Robotics and Automation, 2014, pp. 6414–6420.] and the Robot Perception Specification Language (RPSL) [N. Hochgeschwender, S. Schneider, H. Voos and G. K. Kraetzschmar, Declarative specification of robot perception architectures, in 4th Int. Conf. Simulation, Modeling, and Programming for Autonomous Robots, 2014, pp. 291–302.]. This paper extends our previous work by illustrating the entire development process of an SPL for robot perception systems with a real case study.

In order to quantify the design and simulation of various types of composite microstructure, through the Visual C++ programming language developed software 3D-ProDesign, the software for the computer to become real, complex and diverse, "mass" level three-dimensional composite material microstructure structure "samples", in the simulation process of these samples compare actual composite material component objects state , spatial orientation, spatial distribution, crystallographic orientation ,(designed can independent control of the information of the software module), and to be the microstructure of the geometric details of the simulation of an automatic forming, and can be any combination of the basic module is constructed based fiber such as polycrystalline particles enhanced composite material mixed variety of complex models of materials microstructure model, simulation model has been used in material microstructure micromechanical response calculated.

Abstract The purpose of this study was to develop a thermometry software tool for temperature monitoring during laser-induced interstitial thermotherapy (LITT). C++ programming language and several libraries including DICOM Toolkit, Grassroots DICOM library, Insight Segmentation and Registration Toolkit, Visualization Toolkit and Quasar Toolkit were used. The software’s graphical user interface creates windows displaying the temperature map and the coagulation extent in the tissue, determined by the magnetic resonance imaging (MRI) thermometry with the echo planar imaging sequence and a numerical simulation based on the radiation and heat transfer in biological tissues, respectively. The software was evaluated applying the MRI-guided LITT to ex vivo pig liver and simultaneously measuring the temperature through a fiber-optic thermometer as reference. Using the software, the temperature distribution determined by the MRI method was compared with the coagulation extent simulation. An agreement was shown between the MRI temperature map and the simulated coagulation extent. Furthermore, the MRI-based and simulated temperatures agreed with the measured one – a correlation coefficient of 0.9993 and 0.9996 was obtained, respectively. The precision of the MRI temperature amounted to 2.4°C. In conclusion, the software tool developed in the present study can be applied for monitoring and controlling the LITT procedure in ex vivo tissues.

This work is focused on creating an open-source software-based solution for monitoring traffic transmitted through gigabit passive optical network. In this case, the data are captured by the field-programmable gate array (FPGA) card and reassembled using parsing software from a passive optical network built on the International Telecommunication Unit telecommunication section (ITU-T) G.984 gigabit-capable passive optical network GPON recommendation. Then, the captured frames are converted by suitable software into GPON frames, which will be further processed for analysis. Due to the high transfer rate of GPON recommendations, the work describes the issue of writing to the Mongo database system. In order to achieve the best possible results and minimal loss of transmitted frames, a series of tests were performed. The proposed test scenarios are based on different database writing approaches and are implemented in the Python and C# programming languages. Based on our results, it has been shown that the high processing speed is too high for Python processing. Critical operations must be implemented in the C# programming language. Due to rapid application development, Python can only be used for noncritical time-consuming data processing operations.

Let A and B be two groups of up to n elements distributed on the first row of an n × n reconfigurable mesh, and CA,B a subset of the cartesian product A × B satisfying some unknown condition C. Only one broadcasting step is needed in order to compute CA,B's elements. However, the problem of moving CA,B's elements to the first row in optimal time (so that they can be further processed) is not trivial. The conditional cartesian product (CCP) problem is to move CA,B's elements to the first row in [Formula: see text] steps. This requires optimizing the cartesian product operation such that CA,B's elements will be optimally scattered in the mesh, so that O(n) elements can be retrieved in a single step as opposed to [Formula: see text] elements needed if the cartesian product is not optimized). We give a deterministic algorithm that for any A, B, C solves this problem in [Formula: see text] steps, and an "adaptive" randomized algorithm whose optimality is verified by experimental results. Note that the CCP is a case where we overcome the inherent limitation of the reconfigurable mesh, namely, the inability to perform fast routing of packets located in a small area. We also present the model of production systems, in which computation is realized by executing cartesian productions of subsets in a common element space. Production systems are useful for database applications, expert systems, and can even be used as a general parallel programming language. Solving the CCP problem allows us to devise an efficient implementation for production systems on the reconfigurable mesh. In this way the reconfigurable mesh is shown to be an attractive architecture for database machines and for parallel programming as well.

The aim of this study is to present an approach to the introduction into pipeline and parallel computing, using a model of the multiphase queueing system. Pipeline computing, including software pipelines, is among the key concepts in modern computing and electronics engineering. The modern computer science and engineering education requires a comprehensive curriculum, so the introduction to pipeline and parallel computing is the essential topic to be included in the curriculum. At the same time, the topic is among the most motivating tasks due to the comprehensive multidisciplinary and technical requirements. To enhance the educational process, the paper proposes a novel model-centered framework and develops the relevant learning objects. It allows implementing an educational platform of constructivist learning process, thus enabling learners’ experimentation with the provided programming models, obtaining learners’ competences of the modern scientific research and computational thinking, and capturing the relevant technical knowledge. It also provides an integral platform that allows a simultaneous and comparative introduction to pipelining and parallel computing. The programming language C for developing programming models and message passing interface (MPI) and OpenMP parallelization tools have been chosen for implementation.

In the paper, the spot-color was divided into ten color areas based on the theory of Munsell color system, then, the model samples in IGT was produced according to each color area. After measuring and analyzing the data of the proofs, Gravure spot-color matching based on masking equation by the means of ten color areas was established. Finally, the paper validated the precision of Gravure spot-color matching model by the method of color difference. The functional module of Gravure spot-color matching in the commercial spot-color matching system was developed using C++ programming language and MySQL Database. The running result of spot-color matching software indicated that the Gravure spot-color matching system based on the proposed method is easy to come true by computer programming, and the color difference between matching color and target color is suitable range (△E≤6 ).

In this paper the tool DSL (SDA: Sistema Didáctico de Aprendizaje, by its acronym in Spanish) is presented. This tool was designed for the Multiple Attention Center located at Santa Ana Xalmimilulco, Huejotzingo, Puebla, with the aim to help in the in the educative process, as didactic auxiliary in the cognitive process corresponding to the subjects of math and Spanish in the center by means of automation. The main aim is the production of an educational software, focused to didactic of basic cognitive functions. This skills and abilities it is develop in an environment of special education and taking as a base the specialized bibliography of the own Multiple Attention Center. The system was done in C#, taking in advantage the object oriented programming and the interface of the environment of development. Moreover the software it was developed by means of the prototypes paradigm, using Unified Modelling Language, UML, which is a graphic language to visualize, specify, build and document a system, backed up by the OMG (object Management Group). It offer a standard in order to describe a “plane” of the system (model),including the conceptual aspects such as business process and functions of the system, and concrete aspects as expressions of programming languages, data base schemas and reusable components. The results obtained as product of the development of this system was valued by the CAM’s personal. The system developed it is found currently operating in the installations of the center. It is a software with adequate characteristics to the environment, flexible, usable and verifiable that complies with the characteristics of an educational software fully. In future works it is could achieve the realization of software packages portables to other platforms and adaptable to run into web.

The proposed study discusses about the real-time experience of blended teaching for the students of the Faculty of Mathematics and Programming Technologies in the subject "Computer Architecture" based on the use of distance learning instrumental system DL.GSU.BY and special software complexes developed at the F. Skorina State University under the guidance of author. Special software packages include: HLCCAD - software system for designing, modeling and debugging the functional architectures of digital devices; Winter, a software system for developing and debugging programs in assembler and C for various microcontrollers; С-MPDL – firmware description language for computer architecture components; constructor of training and control flash tasks. The proposed method of conducting lectures and practical classes, as well as the organization of students' independent work and an assessment monitoring system that orients students toward a permanent increase in the assessment and quality of knowledge, skills, and abilities throughout the academic semester, are described.

The formula that life process follows is a major scientific mystery during centuries. Some people put programming thoughts into this field like Gates brought the idea that “Human DNA is like a computer program but far, far more advanced than any software we’ve ever created”[1]. Here we proposed a more specific hypothesis on this topic as that DNA is a set of p-code[2] and the enzymes which control chemical reactions and transport processes in cell metabolism are the basic instructions. Based on this hypothesis, some program models were developed successfully in this work to simulate the key processes of life phenomena: gene expression, cell division and differentiation, and life evolution. The results of these simulations show that there is a high level of similarity between life phenomena and computer programs; the process of cell differentiation and evolution of life can be explained in a programming way. These models also suggest that reflection technology[3, 4] is essential to life process. Besides, C-value paradox, N-value paradox[5] and pseudogene as well as some other biological problems could be also explained by these programming models. These conclusions imply that life phenomena are consistent with the concept of “process” in computer fields.

An approach for incorporating embedded simulation and analysis capabilities in complex simulation codes through template-based generic programming is presented. This approach relies on templating and operator overloading within the C++ language to transform a given calculation into one that can compute a variety of additional quantities that are necessary for many state-of-the-art simulation and analysis algorithms. An approach for incorporating these ideas into complex simulation codes through general graph-based assembly is also presented. These ideas have been implemented within a set of packages in the Trilinos framework and are demonstrated on a simple problem from chemical engineering.

Abstract. Ongoing digitalization in metrology and the ever-growing complexity of measurement systems have increased the effort required to create complex software for uncertainty estimation. To address this issue, a general structure for uncertainty estimation software will be presented in this work. The structure was derived from the Virtual Coordinate Measuring Machine (VCMM), which is a well-established tool for uncertainty estimation in the field of coordinate metrology. To make it easy to apply the software structure to specific projects, a supporting software library was created. The library is written in a portable and extensible way using the C++ programming language. The software structure and library proposed can be used in different domains of metrology. The library provides all the components necessary for uncertainty estimation (i.e., random number generators and GUM S1-compliant routines). Only the project-specific parts of the software must be developed by potential users. To verify the usability of the software structure and the library, a Virtual Planck-Balance, which is the digital metrological twin of a Kibble balance, is currently being developed.

Over time, industrial equipment, particularly in the oil, gas, and petrochemical industries, is subjected to various forms of degradation and damage that can affect its structural integrity. Most of the Codes and Standards pertaining to components do not address the issues of degradation and damage. As such, performing a Fitness For Service (FFS) assessment is recommended to make run-repair-replace decisions of an in-service component that may be flawed or damaged. In this study, FFS Master –Fitness For Service (FFS) evaluation software –was developed according to the 3rd Edition of the API579-1/ASME FFS-1. The software coding was written using C# programming language with SQL server database. This software is developed specifically for low strength ferritic steel pressurized components with hydrogen induced cracking (HIC), giving the user the ability to accurately assess if system components can continue to operate in their current service condition.

Semantic Web according to the vision of the W3C is the future of WWW (or Web). It is an extension of the current Web through standards by the W3C. Data of the Semantic Web has well-defined meanings, can be understood by devices and allows machines and people to work in collaboration. Ontologies are vital components of the Semantic Web infrastructure and are more often recognized as the backbone of the Semantic Web. Although numerous developments occur in the field of developing ontologies along the lines with the Semantic Web implementation, but standardizing the process models, tools and methodologies need to be improved in the future. In literature, experts in ontology engineering have stated that setting a methodology for developing ontology applications with support of integrated tools is an essential task for ontology engineering to be succeeded. In this paper, an e-campus ontology for educational purposes is designed and implemented, and mainly focused on the learning hierarchy of C-sharp programming language. A hybrid methodology based on software engineering approaches for developing ontologies is presented. Finally, the developed methodology is applied on the implemented ontology.

There is a growing concern about how to mitigate climate change, in which the production and use of energy has a great impact as one of the largest sources of global greenhouse gases (GHG). Buildings are responsible for a large percentage of these emissions. Therefore, there has been an increase in research in this area, in order to reduce their consumption and increase their efficiency. One of the major simulation programs used in optimization research is EnergyPlus. The purpose of this software is the complete energy simulation of a building, although it lacks tools to analyze its results and, above all, to manage and edit its simulations. For this reason, we developed an application programming interface (API) that serves to merge two areas which are highly demanded by researchers: energy building simulation (using EnergyPlus) and tools for the management and design of research experiments (in this case, MATLAB®). The developed API allows the user to perform complex simulations using EnergyPlus in a simple way, as it allows the editing of each simulation and the analysis of the simulation results through MATLAB®. In addition, it enables the user to simultaneously run multiple simulations, using either all computer core processors or a selection of them (i.e., allowing parallel computing), reducing the simulation time. The API was developed in the C# language, such that it can be used with any software that can import . N E T libraries.

Java is receiving increasing attention as the most popular platform for distributed computing. However, programmers are still reluctant to embrace Java as a tool for writing scientific and engineering applications due to its still noticeable performance drawbacks compared with other programming languages such as Fortran or C. In this paper, we present a hybrid Java/Fortran implementation of a parallel particle-in-cell (PIC) algorithm for plasma simulations. In our approach, the time-consuming components of this application are designed and implemented as Fortran subroutines, while less calculation-intensive components usually involved in building the user interface are written in Java. The two types of software modules have been glued together using the Java native interface (JNI). Our mixed-language PIC code was tested and its performance compared with pure Java and Fortran versions of the same algorithm on a Sun E6500 SMP system and a Linux cluster of Pentium~III machines.

Introduction. Identification of dental implant system in undocumented patients is a major challenge for dentists due to the vast variety of tools and technologies that are used in dental care. It also takes a long time to identify the type of connection or length and diameter of implant. To obtain accurate and timely information, it is necessary to have a Dental Implant Registry (DIR). In the present study, a DIR was designed, developed, and evaluated at the Dental Implant Research Center of Tehran University of Medical Sciences. Materials and Methods. This is an applied, developmental, and cross-sectional study that was conducted between 2018 and 2020. In the present study, after determining the objectives of DIR system, its conceptual model was designed by EDraw Max 7.9 software. Then, the registry was developed in Visual Studio 2018 environment with the C# programming language and, finally, it was evaluated by Nielsen’s ten principles of usability assessment. Results. After creating the registry, its data entry search and report functions were tested. Also, in the exploratory evaluation, the highest number of problems related to the principles of system clarity and compatibility between the system and real world was identified. Conclusion. The web-based DIR created in C# programming language has the ability to gather data, provide report with different access levels, and send text messages to patients for follow-up. This tool enables physicians to quickly identify the components of dental implant. The web-based DIR also provides support for health research, quality assessment, and dental performance assessment.

We present a DPLL SAT solver, which we call TrueSAT, developed in the verification-enabled programming language Dafny. We have fully verified the functional correctness of our solver by constructing machine-checked proofs of its soundness, completeness, and termination. We present a benchmark of the execution time of TrueSAT and we show that it is competitive against an equivalent DPLL solver implemented in C++, although it is still slower than state-of-the-art CDCL solvers. Our solver serves as a significant case study of a machine-verified software system. The benchmark also shows that auto-active verification is a promising approach to increasing trust in SAT solvers, because it combines execution speed with a high degree of trustworthiness.

Distribution of wealth of a deceased person among the heirs is a critical and complicated problem in Islamic jurisprudence system. In a Muslim society, the demand of a wealth calculation system is very high and plays a pivotal role in day-to-day life of Muslim families. In this paper, we propose a structured and well-defined software solution that employs structured software engineering approach using Data Flow Diagram (DFD), structure chart and program description language (PDL). The proposed system distributes shares among the heirs based on Islamic rules. Many such systems have been built by different govt agencies of different Muslim majority countries. Many of those systems are error prone and are not well defined from the software engineering perspective. In many cases, the software architecture of such systems is undisclosed and their applicability in many complex deceased-heir relationship provides wrong calculation. The proposed solution on the other hand, makes the successful use of software engineering approach to interpret Islamic Inheritance rules in a more manageable, scalable and maintainable fashion. The system is rigorously tested on different complex scenarios and the results are verified by Muslim family lawyers. The system is developed using C programming language and we make the source code open.

The paper presents educational tools for students of an undergraduate course in synchronous generators and excitation systems. Laboratory exercises are based on the work with a laboratory model which consists of a digital control system and a synchronous generator connected to the power network. The code development is supported by two software tools where the code can be developed in the C or C++ programming language or in a graphical environment. In the Electrical Machines Laboratory, the presented laboratory model allows students to develop the code for excitation control, to learn how a conventional excitation control structure and various types of power system stabilisers function, to carry out experiments with a step change in the active power reference or voltage reference, and to record generator responses. The proposed approach offers students the opportunity to apply the knowledge they have acquired in lectures through practical work in the laboratory.