Journal articles: 'Programming language and software engineering'

1

Wileden, Jack. "Programming languages and software engineering." ACM Computing Surveys 28, no. 4es (December 1996): 202. http://dx.doi.org/10.1145/242224.242482.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Fastovets, Valentyna. "Developing mobile software for foreign language learning." Bulletin of Kharkov National Automobile and Highway University, no. 94 (December 16, 2021): 155. http://dx.doi.org/10.30977/bul.2219-5548.2021.94.0.155.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

3

Abowd, Gregory. "Software engineering and programming language considerations for ubiquitous computing." ACM Computing Surveys 28, no. 4es (December 1996): 190. http://dx.doi.org/10.1145/242224.242471.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Severance, Charles. "Bertrand Meyer: Software Engineering and the Eiffel Programming Language." Computer 45, no. 9 (September 2012): 6–8. http://dx.doi.org/10.1109/mc.2012.299.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Holtz, Neal M., and William J. Rasdorf. "An evaluation of programming languages and language features for engineering software development." Engineering with Computers 3, no. 4 (December 1988): 183–99. http://dx.doi.org/10.1007/bf01202140.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Maley, David, and Ivor Spence. "Config: A Case Study in Combining Software Engineering Techniques." Scientific Programming 8, no. 2 (2000): 59–71. http://dx.doi.org/10.1155/2000/401540.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

7

Kargar, Masoud, Ayaz Isazadeh, and Habib Izadkhah. "Multi-programming language software systems modularization." Computers & Electrical Engineering 80 (December 2019): 106500. http://dx.doi.org/10.1016/j.compeleceng.2019.106500.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Gusarovs, Konstantins. "An Analysis on Java Programming Language Decompiler Capabilities." Applied Computer Systems 23, no. 2 (December 1, 2018): 109–17. http://dx.doi.org/10.2478/acss-2018-0014.

Full text

Abstract:

Abstract Along with new artifact development, software engineering also includes other tasks. One of these tasks is the reverse engineering of binary artifacts. This task can be performed by using special “decompiler” software. In the present paper, the author performs a comparison of four different Java programming language decompilers that have been chosen based on both personal experience and results of a software developer survey.

APA, Harvard, Vancouver, ISO, and other styles

9

Garg, Rakesh, and Supriya Raheja. "Fuzzy Distance-Based Approach for the Assessment and Selection of Programming Languages." International Journal of Decision Support System Technology 15, no. 1 (January 1, 2023): 1–19. http://dx.doi.org/10.4018/ijdsst.315761.

Full text

Abstract:

The desire to develop software with more and more functionalities to make human work easier pushes the industry towards developing various programming languages. The existence of the various programming languages in today's scenario raises the need for their evaluation. The motive of this research is the development of a deterministic decision support framework to solve the object-oriented programming (OOP) language's selection problem. In the present study, OOP language's selection problem is modeled as a multi-criteria decision-making, and a novel fuzzy-distance based approach is anticipated to solve the same. To demonstrate the working of developed framework, a case study consisting of the selection of seven programming languages is presented. The results of this study depict that Python is the most preferred language compared to other object-oriented programming languages. Selection of OOP languages helps to select the most appropriate language, which provides better opportunities in the business domain and will result in high success for engineering students.

APA, Harvard, Vancouver, ISO, and other styles

10

Baklan, Ihor, and Oleksandr Ocheretianyi. "Analysis of modern software solutions for creating problem-oriented programming languages." System technologies 4, no. 135 (April 5, 2021): 50–60. http://dx.doi.org/10.34185/1562-9945-4-135-2021-06.

Full text

Abstract:

Recent research and publications.Support systems for designing programming languages (SPPMP) as a means to create problem-oriented languages were popularized by Martin Fowler in 2010. Such tools provide efficient design, reuse, and support for languages and their integrated development tools. SPPMPs enable a wide range of engineers to develop new languages and, as a result, create a new level of language engineering where sets of syntactically and semantically integrated languages can be developed with relatively little effort. This can lead to the emergence of programming environments with many paradigms and metalanguages focused on creating a language [2, 3], which can solve important problems of software engineering.The aim of the study. Thus, there is a need to study the effectiveness of existing systems to support the design of programming languages to obtain quality criteria for the design process of problem-oriented programming languages. You also need to find out which design support systems best support the effective development of problem-oriented languages.Main material of the study.To make a qualitative comparison of existing systems for supporting the design of programming languages, it is necessary to define criteria for comparison. We propose to compare these tools according to the requirements that classify the product as modern software. Our main parameters are: the ability to create problem-oriented languages, support for integrated development tools, support for language combination, support for making changes to the created language, providing basic language testing capabilities, integration with other software engineering tools. A separate point that is an indicator of the high level of development of design support systems is the availability of metrics for evaluating the initial result. This feature is absent for classical integrated development tools as their main focus is on software development without domain domain specification. This situation makes any comparison of the resulting products impossible because for a web application the server response in 3 seconds may be too high and for a web platform for processing large data it is the shortest server response time. The criteria described above will be used to evaluate the following SPPMP: tef tcs and emf.Conclusions. The study compares the support systems for designing programming languages that are focused on working with problem-oriented languages. The advantages of these systems are the focus on working with specific areas to describe the notations of programming languages. The systems allow you to create the necessary tools to work with the designed programming languages and provide basic improvements in the design process. The disadvantages of these systems are the lack of similarity in the operation of systems and products that the developer receives at the exit. Another important drawback is the lack of any metrics for assessing the quality of created languages.

APA, Harvard, Vancouver, ISO, and other styles

11

Bergin, Tim. "History of programming languages and software engineering." ACM SIGPLAN Notices 35, no. 3 (March 2000): 31. http://dx.doi.org/10.1145/351159.351168.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Belov, G. V., and N. M. Aristova. "On the Potential of the Julia Programming Language for Solving Scientific and Engineering Problems." Herald of the Bauman Moscow State Technical University. Series Instrument Engineering, no. 2 (131) (June 2020): 27–43. http://dx.doi.org/10.18698/0236-3933-2020-2-27-43.

Full text

Abstract:

The paper provides a brief description of the Julia language and discusses several libraries and software packages written in this language and designed to solve various scientific and engineering problems. The Julia language has been developed relatively recently, but our analysis of existing publications indicates its growing popularity. We limited the scope of the paper to review only those few libraries and software packages that may be useful to researchers and engineers who develop software simulations and conduct numerical experiments. Specifically, we did not consider dedicated libraries for economic, biological and medical applications. At present, there exists a large number of programming languages, each of them developed to overcome the limitations of the ones already available. Each language has its advantages and disadvantages and is suited best for a particular purpose. The objective of our paper is to familiarise the reader with the potential of the Julia programming language for solving scientific and engineering problems

APA, Harvard, Vancouver, ISO, and other styles

13

Lambert, Tim, Peter Lindsay, and Ken Robinson. "Using Miranda as a first programming language." Journal of Functional Programming 3, no. 1 (January 1993): 5–34. http://dx.doi.org/10.1017/s0956796800000575.

Full text

Abstract:

AbstractThe functional programming language Miranda has been used as a first programming language at the University of NSW since the beginning of 1989, when a new computer engineering course and a revised computer science course were introduced. This paper explains the reasons for choosing the language, and describes the subject in which Miranda is introduced. Examples of the presentation of the material, and of exercises and assignment used in the course, are given. Finally, an assessment of the experience is given.

APA, Harvard, Vancouver, ISO, and other styles

14

Jia, Ying, Be Jun Shen, Tian Yu Yu, and Jian Gang Zhu. "An End-User Oriented Visual Programming Language." Applied Mechanics and Materials 513-517 (February 2014): 2141–44. http://dx.doi.org/10.4028/www.scientific.net/amm.513-517.2141.

Full text

Abstract:

With the promotion of IT applications and the rise of Web 2.0, mass users' individual requirements continue to emerge. How to quickly meet increasing development and maintenance requirements has been a critical problem of software development. Is it possible for end-users to develop software? This paper chooses Web information systems as the research field, studies the end-user programming technology, and designs an end-user oriented visual domain-specific language VUDSL for university Web information systems. VUDSL programming tools are also implemented, to support end-users without the knowledge of software engineering to develop target information systems by visual programming.

APA, Harvard, Vancouver, ISO, and other styles

15

van den Brand, Mark, Paul Klint, and Chris Verhoef. "Re-engineering needs generic programming language technology." ACM SIGPLAN Notices 32, no. 2 (February 1997): 54–61. http://dx.doi.org/10.1145/251621.251633.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Savidis, Anthony, and Constantine Stephanidis. "Automated user interface engineering with a pattern reflecting programming language." Automated Software Engineering 13, no. 2 (April 2006): 303–39. http://dx.doi.org/10.1007/s10515-006-7740-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Sun, Yong Hou, Ren Sheng Lai, Jing Zhang, and Bing Kuang. "Parameter Transfer Method of Mixed-Language Programming." Advanced Materials Research 201-203 (February 2011): 281–85. http://dx.doi.org/10.4028/www.scientific.net/amr.201-203.281.

Full text

Abstract:

The mixed-language programming is using two kinds of programming language or more to develop application. During the process of handling many engineering problems, the complex computation is often needed. So the method of mixed-language programming is often used in developing project software. MATLAB is high-performance numerical computation software, and VC++ is a considerably mature application development platform. They are often use in mix programming. During the process of VC++ and MATLAB mixed-language programming, when it calls algorithm function written in MATLAB in the VC++ environment, sometimes the parameters could not be easily passed to objective function. In this paper, a method resolving the parameters transfer of objective function is proposed. That is in the declaration of algorithm function canceling the objective function as one of its parameters, and adding the parameters of the objective function to the parameter of the algorithm function. Finally, a case of parallelism error evaluation system is given to illustrate feasibility of proposed method.

APA, Harvard, Vancouver, ISO, and other styles

18

Zhao, Yikun. "Research on Application of Computer Recognition Technology in C Language Programming Modeling System." Journal of Physics: Conference Series 2083, no. 4 (November 1, 2021): 042024. http://dx.doi.org/10.1088/1742-6596/2083/4/042024.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

19

Gunter, Carl, John Mitchell, and David Notkin. "Strategic directions in software engineering and programming languages." ACM Computing Surveys 28, no. 4 (December 1996): 727–37. http://dx.doi.org/10.1145/242223.242283.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Shelekhov, V. I. "Automata-based Software Engineering with Event-B." Programmnaya Ingeneria 13, no. 4 (April 20, 2022): 155–67. http://dx.doi.org/10.17587/prin.13.155-167.

Full text

Abstract:

A new automata-based programming language has been built by extending the Event-B specification language. When developing models in Event-B, it becomes possible to use automata-based methods in addition to the popular refinement method. Automata-based software engineering, supported by deductive verification in Event-B, can be successfully used for the development of control systems in critical infrastructure with a high cost of error. A model of the Event-B specification in the automata-based programming language is constructed. The Event-B specification is a chain of machine refinements. The machine is defined by a non-deterministic composition of events. An event is the equivalent of a simple conditional statement without else branch. In automata-based software engineering, in addition to non-deterministic composition, a number of other compositions are allowed. The main one is a hypergraphic composition with respect to control states. Parallel process composition, object-oriented and aspect-oriented compositions are also possible. A process can be called from another process. It is possible to send and receive messages. There are different time actions. It is not difficult to rewrite an automata-based program into the Event-B specification. The automata-based software engineering with Event-B is demonstrated by the example of the problem of traffic control on the bridge from the Event-B system manual. A simpler solution with verification in the Rodin tool is proposed. The effectiveness of Event-B verification methods is confirmed by finding three non-trivial errors in our solution.

APA, Harvard, Vancouver, ISO, and other styles

21

Shelekhov, V. I. "Automata-based Software Engineering with Event-B." Programmnaya Ingeneria 13, no. 4 (April 20, 2022): 155–67. http://dx.doi.org/10.17587/prin.13.155-167.

Full text

Abstract:

A new automata-based programming language has been built by extending the Event-B specification language. When developing models in Event-B, it becomes possible to use automata-based methods in addition to the popular refinement method. Automata-based software engineering, supported by deductive verification in Event-B, can be successfully used for the development of control systems in critical infrastructure with a high cost of error. A model of the Event-B specification in the automata-based programming language is constructed. The Event-B specification is a chain of machine refinements. The machine is defined by a non-deterministic composition of events. An event is the equivalent of a simple conditional statement without else branch. In automata-based software engineering, in addition to non-deterministic composition, a number of other compositions are allowed. The main one is a hypergraphic composition with respect to control states. Parallel process composition, object-oriented and aspect-oriented compositions are also possible. A process can be called from another process. It is possible to send and receive messages. There are different time actions. It is not difficult to rewrite an automata-based program into the Event-B specification. The automata-based software engineering with Event-B is demonstrated by the example of the problem of traffic control on the bridge from the Event-B system manual. A simpler solution with verification in the Rodin tool is proposed. The effectiveness of Event-B verification methods is confirmed by finding three non-trivial errors in our solution.

APA, Harvard, Vancouver, ISO, and other styles

22

BROWNE, JAMES C., ALLEN EMERSON, MOHAMED G. GOUDA, DANIEL P. MIRANKER, ALOYSIUS MOK, LANCE OBERMEYER, FURMAN HADDIX, RWO-HSI WANG, and SARAH CHODROW. "MODULARITY AND RULE-BASED PROGRAMMING." International Journal on Artificial Intelligence Tools 04, no. 01n02 (June 1995): 201–18. http://dx.doi.org/10.1142/s0218213095000115.

Full text

Abstract:

In this paper we describe a purely declarative method for introducing modularity into forward-chaining, rule-based languages. The method is enforced by the syntax of the language and includes the ability to parameterize the rule groups. We also describe the Venus programming environment, which implements the presented ideas. Drawing from two of three Venus applications developed to date, we illustrate how this form of modularity contributes directly to the resolution of certain software engineering problems associated with rule languages. We also discuss key implementation details and present performance data.

APA, Harvard, Vancouver, ISO, and other styles

23

Fazio, P., and K. Gowri. "Structural analysis software and the C programming language." Computers & Structures 25, no. 3 (January 1987): 463–65. http://dx.doi.org/10.1016/0045-7949(87)90138-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Sierra, Antonio J. "Tool for Validation Software Projects in Programming Labs." International Journal of Engineering Pedagogy (iJEP) 2, no. 2 (April 26, 2012): 6. http://dx.doi.org/10.3991/ijep.v2i2.2080.

Full text

Abstract:

<span style="font-size: 10.0pt; font-family: "Times New Roman","serif"; mso-fareast-font-family: "Times New Roman"; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;" lang="EN-US">This work shows a testing tool used in Fundamentals of Programming II laboratory in Telecommunication Technologies Engineering Degree at University of Sevilla to check the student project. This tool allows students to test the proper operation of their project in autonomous way. This is a flexible and useful tool for testing the project because the tool identifies when the student has carried out a project that meet the given specifications of the project. This implies a high rate of success when the student delivers its project.</span>

APA, Harvard, Vancouver, ISO, and other styles

25

Demurjian, Steven A., Thomas J. Peters, George McA Beshers, Heidi J. C. Ellis, and Greg Nichols. "The (Non)Importance of a Programming Language in a Software Engineering Course." Computer Science Education 3, no. 1 (January 1992): 35–52. http://dx.doi.org/10.1080/0899340920030104.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Pavanasam, Velayutham, and Chandrasekaran Subramaniam. "Metabolic Algorithm for Software Requirement Engineering." Advanced Materials Research 267 (June 2011): 639–44. http://dx.doi.org/10.4028/www.scientific.net/amr.267.639.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

27

Cheng, H. H. "Extending C and FORTRAN for Design Automation." Journal of Mechanical Design 117, no. 3 (September 1, 1995): 390–95. http://dx.doi.org/10.1115/1.2826691.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

28

Rock, S. T. "Developing robot programming languages using an existing language as a base—A viewpoint." Robotica 7, no. 1 (January 1989): 71–77. http://dx.doi.org/10.1017/s0263574700005051.

Full text

Abstract:

SUMMARYThe development of robot languages has followed a pattern similar to that of conventional programming languages, where robot languages have been based on an existing programming language. This paper first identifies the use of an existing base as one way of developing robot programming languages, and discusses the areas of difficulty in this approach. Then, on-line and off-line programming of robots is discussed and the requirements of robot programming languages that are different to those of non-specialised programming languages are presented. A discussion and evaluation of some programming languages in terms of their appropriateness for use as the base for an intelligent robot programming language is presented. This leads to the conclusion that no current language forms an adequate base for intelligent robot programming languages. What is needed as a base is a language for use in the artificial intelligence domain, that incorporates real-time facilities.

APA, Harvard, Vancouver, ISO, and other styles

29

Mitchell, Charles Z. "Engineering VAX Ada for a multi-language programming environment." ACM SIGPLAN Notices 22, no. 1 (January 1987): 49–58. http://dx.doi.org/10.1145/390012.24215.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Lin, Zehao, Guodun Li, Jingfeng Zhang, Yue Deng, Xiangji Zeng, Yin Zhang, and Yao Wan. "XCode : Towards Cross-Language Code Representation with Large-Scale Pre-Training." ACM Transactions on Software Engineering and Methodology 31, no. 3 (July 31, 2022): 1–44. http://dx.doi.org/10.1145/3506696.

Full text

Abstract:

Source code representation learning is the basis of applying artificial intelligence to many software engineering tasks such as code clone detection, algorithm classification, and code summarization. Recently, many works have tried to improve the performance of source code representation from various perspectives, e.g., introducing the structural information of programs into latent representation. However, when dealing with rapidly expanded unlabeled cross-language source code datasets from the Internet, there are still two issues. Firstly, deep learning models for many code-specific tasks still suffer from the lack of high-quality labels. Secondly, the structural differences among programming languages make it more difficult to process multiple languages in a single neural architecture. To address these issues, in this article, we propose a novel Cross -language Code representation with a large-scale pre-training ( XCode ) method. Concretely, we propose to use several abstract syntax trees and ELMo-enhanced variational autoencoders to obtain multiple pre-trained source code language models trained on about 1.5 million code snippets. To fully utilize the knowledge across programming languages, we further propose a Shared Encoder-Decoder (SED) architecture which uses the multi-teacher single-student method to transfer knowledge from the aforementioned pre-trained models to the distilled SED. The pre-trained models and SED will cooperate to better represent the source code. For evaluation, we examine our approach on three typical downstream cross-language tasks, i.e., source code translation, code clone detection, and code-to-code search, on a real-world dataset composed of programming exercises with multiple solutions. Experimental results demonstrate the effectiveness of our proposed approach on cross-language code representations. Meanwhile, our approach performs significantly better than several code representation baselines on different downstream tasks in terms of multiple automatic evaluation metrics.

APA, Harvard, Vancouver, ISO, and other styles

31

Lee, Ang Wee, Nayef Mohamed Ghasem, and Mohamed Azlan Hussain. "Utilization of Mathematical Software Packages in Chemical Engineering Research." ASEAN Journal of Chemical Engineering 5, no. 2 (December 1, 2005): 125. http://dx.doi.org/10.22146/ajche.50180.

Full text

Abstract:

Using Fortran taken as the starting point, we are now on the sixth decade of high-level programming applications. Among the programming languages available, computer algebra systems (CAS) appear to be a good choice in chemical engineering can be applied easily. Until the emergence of CAS, the assistance from a specialized group for large-scale programming is justified. Nowadays, it is more effective for the modern chemical engineer to rely on his/her own programming ability for problem solving. In the present paper, the abilities of Polymath, Maple, Matlab, Mathcad, and Mathematica in handling differential equations are illustrated for differential-algebraic equations, large system of nonlinear differential equations, and partial differential equations. The programming of solutions with these CAS are presented, contrasted, and discussed in relation to chemical engineering problems. Keywords: Computer algebra systems (CAS),computer simulation,Mathcad, Mathematica,Mathlab and numerical methods.

APA, Harvard, Vancouver, ISO, and other styles

32

Guha, Radha. "IMPACT OF ARTIFICIAL INTELLIGENCE AND NATURAL LANGUAGE PROCESSING ON PROGRAMMING AND SOFTWARE ENGINEERING." International Research Journal of Computer Science 7, no. 9 (September 14, 2020): 238–49. http://dx.doi.org/10.26562/irjcs.2020.v0709.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Ward, R. D., and D. Sleeman. "Learning to use the S.1 knowledge engineering tool." Knowledge Engineering Review 2, no. 4 (December 1987): 265–76. http://dx.doi.org/10.1017/s026988890000415x.

Full text

Abstract:

AbstractIt is often claimed that it is easy to write expert systems. This claim was examined by monitoring experienced programmers learning to use the S.I knowledge engineering tool. Their achievements and difficulties were examined using a framework that has emerged from previous research into novices learning to use standard programming languages. Even though the experienced programmers all had several years' experience of programming in more than one standard language, there were similarities between their difficulties in learning to use S.I and the difficulties of complete novices learning to program in standard languages.The experienced programmers were however able to overcome their initial difficulties fairly quickly, but it is argued that complete novices would not find it so easy to do so. Also the experienced programmers did take time to develop a repertoire of schemeta for representing different kinds of factual, judgemental and procedural knowledge. It was concluded that in S.1, as with other programming languages and softwares tools, it is easy to learn how to do simple things, but difficult, even for experienced programmers to learn how to do more complex things.No criticism of S.1 is implied. S.1 was found to be a suitable vehicle for introducing non-trivial knowledge engineering concepts, and we believe that similar difficulties would occur in learning to use other knowledge engineering tools.

APA, Harvard, Vancouver, ISO, and other styles

34

Du, Hao Cui, and Jian De Fan. "Research of Education Reform in C Programming Language." Advanced Materials Research 926-930 (May 2014): 4553–56. http://dx.doi.org/10.4028/www.scientific.net/amr.926-930.4553.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

35

Pisarenko, I. V., K. N. Alekseev, and A. K. Melnikov. "RESOURCE-INDEPENDENT REPRESENTATION OF SORTING NETWORKS IN Set@l PROGRAMMING LANGUAGE." Vestnik komp'iuternykh i informatsionnykh tekhnologii, no. 185 (November 2019): 53–60. http://dx.doi.org/10.14489/vkit.2019.11.pp.053-060.

Full text

Abstract:

The development of scalable parallel programs for high-performance computer systems with reconfigurable and hybrid architectures is an important problem in the field of modern supercomputer engineering. Resource-independent applied software in the high-level COLAMO programming language describes only the limited number of the algorithm implementations for some configurations due to the inductive principle of the information graph forming. However, the creation of efficient resource-independent parallel software requires programming tool that supports both induction and reduction of calculations. To solve the problem, we propose the application of the Set@l programming language based on the aspect-oriented programming paradigm and set-theoretical code representation. According to the aspect-oriented concept, Set@l describes an algorithm for the problem solution and its parallelizing and other implementation features as separated program modules – source code and various aspects. The programming language being considered has much in common with traditional set-theory-based languages such as SETL, SETLX and SETL2, but Set@l introduces the essential classification of collections by parallelism, definiteness, orderliness and other criteria. In contrast to the high-level COLAMO programming language, Set@l specifies the full information graph of a computational problem in the absolutely parallel form and describes the reduction principles for all configurations of a computer system as independent aspects of a program. In this paper, we demonstrate that the aspect-oriented sorting program in the Set@l language defines different types of quadratic sorting networks and various methods of their partition and reduction.

APA, Harvard, Vancouver, ISO, and other styles

36

Ito, Takayoshi, Takeshi Nakatani, Stefanus Harjo, Hiroshi Arima, Jun Abe, Kazuya Aizawa, and Atsushi Moriai. "Application Software Development for the Engineering Materials Diffractometer, TAKUMI." Materials Science Forum 652 (May 2010): 238–42. http://dx.doi.org/10.4028/www.scientific.net/msf.652.238.

Full text

Abstract:

The Engineering Materials Diffractometer Application Kit called EMAKi has been developed to control the Engineering Materials Diffractometer, TAKUMI, and treat data obtained by it. It is expected that TAKUMI will be widely used by not only academic users but also industrial users. We have designed EMAKi to be user-friendly interface for novice users by graphical user interface (GUI). In addition, adopting Python programming language for its development has enabled advanced users to control the diffractometer flexibly and treat the data easily. During instrumentation commissioning and running user programs, the software has demonstrated useful.

APA, Harvard, Vancouver, ISO, and other styles

37

Furia, Carlo A., Richard Torkar, and Robert Feldt. "Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality." ACM Transactions on Software Engineering and Methodology 31, no. 3 (July 31, 2022): 1–38. http://dx.doi.org/10.1145/3490953.

Full text

Abstract:

Statistical analysis is the tool of choice to turn data into information and then information into empirical knowledge. However, the process that goes from data to knowledge is long, uncertain, and riddled with pitfalls. To be valid, it should be supported by detailed, rigorous guidelines that help ferret out issues with the data or model and lead to qualified results that strike a reasonable balance between generality and practical relevance. Such guidelines are being developed by statisticians to support the latest techniques for Bayesian data analysis. In this article, we frame these guidelines in a way that is apt to empirical research in software engineering. To demonstrate the guidelines in practice, we apply them to reanalyze a GitHub dataset about code quality in different programming languages. The dataset’s original analysis [Ray et al. 55 ] and a critical reanalysis [Berger et al. 6 ] have attracted considerable attention—in no small part because they target a topic (the impact of different programming languages) on which strong opinions abound. The goals of our reanalysis are largely orthogonal to this previous work, as we are concerned with demonstrating, on data in an interesting domain, how to build a principled Bayesian data analysis and to showcase its benefits. In the process, we will also shed light on some critical aspects of the analyzed data and of the relationship between programming languages and code quality—such as the impact of project-specific characteristics other than the used programming language. The high-level conclusions of our exercise will be that Bayesian statistical techniques can be applied to analyze software engineering data in a way that is principled, flexible, and leads to convincing results that inform the state-of-the-art while highlighting the boundaries of its validity. The guidelines can support building solid statistical analyses and connecting their results. Thus, they can help buttress continued progress in empirical software engineering research.

APA, Harvard, Vancouver, ISO, and other styles

38

He, Tao, Yu Xiang Sun, and Liu Wang. "Research and Development on Centrifugal Ventilator Selection Software." Advanced Materials Research 756-759 (September 2013): 2111–14. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.2111.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

39

Huang, Dong. "The Application of MATLAB in Higher Vocational Engineering Mechanics Teaching." Advanced Materials Research 889-890 (February 2014): 1667–71. http://dx.doi.org/10.4028/www.scientific.net/amr.889-890.1667.

Full text

Abstract:

Higher Vocational Education in engineering mechanics specific issues to illustrate the application of engineering mechanics MATLAB language teaching. Engineering mechanics for complex calculations and mapping problem, using MATLAB software programming to solve, to stimulate students interest in learning, greatly improving the learning efficiency, enhance students' ability to solve engineering problems.

APA, Harvard, Vancouver, ISO, and other styles

40

Roldan-Molina, Gabriela R., Jose R. Mendez, Iryna Yevseyeva, and Vitor Basto-Fernandes. "Ontology Fixing by Using Software Engineering Technology." Applied Sciences 10, no. 18 (September 11, 2020): 6328. http://dx.doi.org/10.3390/app10186328.

Full text

Abstract:

This paper presents OntologyFixer, a web-based tool that supports a methodology to build, assess, and improve the quality of ontology web language (OWL) ontologies. Using our software, knowledge engineers are able to fix low-quality OWL ontologies (such as those created from natural language documents using ontology learning processes). The fixing process is guided by a set of metrics and fixing mechanisms provided by the tool, and executed primarily through automated changes (inspired by quick fix actions used in the software engineering domain). To evaluate the quality, the tool supports numerical and graphical quality assessments, focusing on ontology content and structure attributes. This tool follows principles, and provides features, typical of scientific software, including user parameter requests, logging, multithreading execution, and experiment repeatability, among others. OntologyFixer architecture takes advantage of model view controller (MVC), strategy, template, and factory design patterns; and decouples graphical user interfaces (GUI) from ontology quality metrics, ontology fixing, and REST (REpresentational State Transfer) API (Application Programming Interface) components (used for pitfall identification, and ontology evaluation). We also separate part of the OntologyFixer functionality into a new package called OntoMetrics, which focuses on the identification of symptoms and the evaluation of the quality of ontologies. Finally, OntologyFixer provides mechanisms to easily develop and integrate new quick fix methods.

APA, Harvard, Vancouver, ISO, and other styles

41

Patil, Prof Ashwini, Prof Dadaso Mane, and Prof Nitish Shinde. "Incorporating Visualization Tools and Active Learning Approach for Programming Courses." Journal of Engineering Education Transformations 35, S1 (January 1, 2022): 92–102. http://dx.doi.org/10.16920/jeet/2022/v35is1/22014.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

42

Ngo, Hieu Khanh, and Grolleau Emmanuel. "DARTSVIEW, A TOOLKIT FOR DARTS IN LABVIEW." Science and Technology Development Journal 12, no. 14 (August 15, 2009): 69–76. http://dx.doi.org/10.32508/stdj.v12i14.2341.

Full text

Abstract:

DARTS (Design Approach for Real Time Systems) [4] is a software design method for real time systems. LabVIEW (Laboratory Virtual Instrument Engineering Workbench) is a graphical application development environment developed by National Instruments Corporation based on the dataflow representation of the "G" language [6][2]. LabVIEW is implicitly multithreaded and has high level functions for communication/synchronization, allowing it to be used as a programming language for control/command and soft real-time applications. In order to help a designer to develop a real-time application, we propose the library DARTSVIEW, which simplifies the passage from the conception of a "multitasking" application to the implementation [8). One can use DARTSVIEW in different phases of the life cycle of real-time system software. The last version of DARTSVIEW, allows to define in XML several real-time programming normalized languages, and to generate a part of the code for different specific programming languages (Ada, POSIX 1003.1, VxWorks, OSEK/VDX, etc.). The flexibility introduced by the use of XML allows a designer also to generate some code targeting real-time scheduling analysis tools in order to achieve the temporal validation. The objective of this article is to present an overview of DARTSVIEW, a Toolkit for DARTS in LabVIEW, the role of DARTSVIEW in the software.

APA, Harvard, Vancouver, ISO, and other styles

43

WEIß, GERHARD. "Agent orientation in software engineering." Knowledge Engineering Review 16, no. 4 (December 2001): 349–73. http://dx.doi.org/10.1017/s026988890100025x.

Full text

Abstract:

Agent-Oriented Software Engineering (AOSE) is rapidly emerging in response to urgent needs in both software engineering and agent-based computing. While these two disciplines coexisted without remarkable interaction until some years ago, today there is rich and fruitful interaction among them and various approaches are available that bring together techniques, concepts and ideas from both sides. This article offers a guide to the broad body of literature on AOSE. The guide, which is intended to be of value to both researchers and practitioners, is structured according to key issues and key topics that arise when dealing with AOSE: methods and frameworks for requirements engineering, analysis, design, and implementation; languages for programming, communication and coordination and ontology specification; and development tools and platforms.

APA, Harvard, Vancouver, ISO, and other styles

44

Bryant, Barrett, Jeff Gray, Marjan Mernik, Peter Clarke, Robert France, and Gabor Karsai. "Challenges and directions in formalizing the semantics of modeling languages." Computer Science and Information Systems 8, no. 2 (2011): 225–53. http://dx.doi.org/10.2298/csis110114012b.

Full text

Abstract:

Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) for supporting model-driven engineering. Even though these tools facilitate the automation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools.

APA, Harvard, Vancouver, ISO, and other styles

45

Koster, Alexis. "Academic Programs Adequate For The Software Profession?" American Journal of Business Education (AJBE) 3, no. 3 (March 1, 2010): 35–38. http://dx.doi.org/10.19030/ajbe.v3i3.396.

Full text

Abstract:

According to the Bureau of Labor Statistics, close to 1.8 million people, or 77% of all computer professionals, were working in the design, development, deployment, maintenance, and management of software in 2006. The ACM model curriculum for the BS in computer science proposes that about 42% of the core body of knowledge be dedicated to software engineering, including programming. An examination of the curriculum of a typical computer science department shows that, excluding programming courses, no courses specific to software engineering are required for the BS, although several are available as elective courses. Academics typically resist the demands of the industry, in part because some of them are for specific software tools, design methods, or programming languages whose use does not last. Under market pressure, more required software engineering courses may slowly be included in the curriculum. The usual solution is for businesses to offer their software professionals needed courses in software engineering.

APA, Harvard, Vancouver, ISO, and other styles

46

Liu, Yu Bin, and Xin Fa Dong. "Research on the IDE of Visual Programming Language." Advanced Materials Research 219-220 (March 2011): 140–43. http://dx.doi.org/10.4028/www.scientific.net/amr.219-220.140.

Full text

Abstract:

This paper proposes a new method for visual programming. Make full use of visual graph and visual studio, which are popular environment for visual interface development, the author developed some controls with some properties and events in visual graph, and then re-edit them in visual studio as the basic controls. With these basic controls people can do their visual programming without inputting work of text codes. Even a common developer can gain the software what they need by using some graphical component like building blocks. This may greatly improve development efficiency and avoid code rewriting greatly.

APA, Harvard, Vancouver, ISO, and other styles

47

Chapman, Roderick. "Panellist position statement: some industrial experience with program verification." Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 363, no. 1835 (September 6, 2005): 2393–94. http://dx.doi.org/10.1098/rsta.2005.1652.

Full text

Abstract:

As the only obvious ‘industrial’ member of the panel, I would like to introduce myself and the work I am involved with. Praxis is a practising software engineering company that is well known for applying so-called ‘Formal Methods’ in the development of high-integrity software system. We are also responsible for the Spark programming language and verification tools ( John Barnes with Praxis High Integrity Systems 2003 ). Spark remains one of the very few technologies to offer a sound verification system for an industrially usable imperative programming language. Despite the popular belief that ‘no one does formal methods’, we (and our customers) regularly employ strong verification techniques on industrial-scale software systems. I would like to address three main points:

APA, Harvard, Vancouver, ISO, and other styles

48

J, Junaidi. "Working process of TU 3a CNC frais machine using software system." International Journal of Engineering & Technology 9, no. 3 (August 5, 2020): 658. http://dx.doi.org/10.14419/ijet.v9i3.29682.

Full text

Abstract:

This workpiece process is: to find out how to transfer images from Auto CAD software to the Q plus CELL Milling Cnc software, and to find out how to transfer programs from the CNC Milling QELL KELLER software to the TU 3A CNC milling machine. The making of this workpiece uses three main media, namely Auto CAD 2000 software, CNC Milling KELLER Q plus software, and TU 3A CNC milling machine. The process of making the workpiece starts from making the workpiece design in Auto CAD software which is then stored on the CDR via DFX data. The design of the workpiece contained in the CDR is then transferred to CNC Millling KELLER Q plus software via Geometry. in Geometry, the design of the workpiece is dimensioned. Completed from the Geometry the workpiece design is included in the Work plan to be processed so that it can be simulated to move to a CNC program to convert the graphical language into a numeric language so that it can be read by a CNC machine. The programming results from the CNC KELLER Q plus software are then recorded to be executed on the CNC TU 3A milling machine to obtain the workpiece in accordance with the design in AutoCAD. Programming results from CNC Milling KELLER Q plus software cannot be directly used on the TU 3A milling machine (EMCO), because the programming language used is different. Programming language in CNC Milling KELLER Q plus software uses the DIN 66025 standard, while the CNC TU 3A (EMCO) milling machine uses ISO standards, so it needs to be converted first.

APA, Harvard, Vancouver, ISO, and other styles

49

Ackley, David H., and Elena S. Ackley. "The ulam Programming Language for Artificial Life." Artificial Life 22, no. 4 (November 2016): 431–50. http://dx.doi.org/10.1162/artl_a_00212.

Full text

Abstract:

Traditional digital computing demands perfectly reliable memory and processing, so programs can build structures once then use them forever—but such deterministic execution is becoming ever more costly in large-scale systems. By contrast, living systems, viewed as computations, naturally tolerate fallible hardware by repairing and rebuilding structures even while in use—and suggest ways to compute using massive amounts of unreliable, merely best-effort hardware. However, we currently know little about programming without deterministic execution, in architectures where traditional models of computation—and deterministic ALife models such as the Game of Life—need not apply. This expanded article presents ulam, a language designed to balance concurrency and programmability upon best-effort hardware, using lifelike strategies to achieve robust and scalable computations. The article reviews challenges for traditional architecture, introduces the active-media computational model for which ulam is designed, and then presents the language itself, touching on its nomenclature and surface appearance as well as some broader aspects of robust software engineering. Several ulam examples are presented; then the article concludes with a brief consideration of the couplings between a computational model and its physical implementation.

APA, Harvard, Vancouver, ISO, and other styles

50

Dejanović, Igor, Mirjana Dejanović, Jovana Vidaković, and Siniša Nikolić. "PyFlies: A Domain-Specific Language for Designing Experiments in Psychology." Applied Sciences 11, no. 17 (August 25, 2021): 7823. http://dx.doi.org/10.3390/app11177823.

Full text

Abstract:

The majority of studies in psychology are nowadays performed using computers. In the past, access to good quality software was limited, but in the last two decades things have changed and today we have an array of good and easily accessible open-source software to choose from. However, experiment builders are either GUI-centric or based on general-purpose programming languages which require programming skills. In this paper, we investigate an approach based on domain-specific languages which enables a text-based experiment development using domain-specific concepts, enabling practitioners with limited or no programming skills to develop psychology tests. To investigate our approach, we created PyFlies, a domain-specific language for designing experiments in psychology, which we present in this paper. The language is tailored for the domain of psychological studies. The aim is to capture the essence of the experiment design in a concise and highly readable textual form. The editor for the language is built as an extension for Visual Studio Code, one of the most popular programming editors today. From the experiment description, various targets can be automatically produced. In this version, we provide a code generator for the PsychoPy library while generators for other target platforms are planned. We discuss the language, its concepts, syntax, some current limitations, and development directions. We investigate the language using a case study of the implementation of the Eriksen flanker task.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Programming language and software engineering'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles