Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (198)
- City University of New York (CUNY) (63)
- Chapman University (17)
- Loyola University Chicago (13)
- University of Dayton (13)
-
- Portland State University (10)
- University of Texas at El Paso (8)
- California Polytechnic State University, San Luis Obispo (7)
- Old Dominion University (7)
- University of Malaya (7)
- San Jose State University (5)
- California State University, San Bernardino (4)
- Technological University Dublin (4)
- The University of Akron (4)
- University of Arkansas, Fayetteville (4)
- Fordham University (3)
- Montclair State University (3)
- Purdue University (3)
- St. Mary's University (3)
- University of Nevada, Las Vegas (3)
- Brigham Young University (2)
- Dakota State University (2)
- Embry-Riddle Aeronautical University (2)
- Fort Hays State University (2)
- Kennesaw State University (2)
- LSU New Orleans (2)
- Liberty University (2)
- Minnesota State University Moorhead (2)
- Southern Adventist University (2)
- Southern Methodist University (2)
- Keyword
-
- Refactoring (25)
- Software engineering (25)
- Model Check (22)
- Java (19)
- Programming (16)
-
- Programming languages (16)
- Deep learning (14)
- Java 8 (12)
- Linear Temporal Logic (10)
- Software Engineering (10)
- Static analysis (10)
- Empirical studies (9)
- Python (9)
- Computer science (8)
- Default methods (8)
- Imperative programs (8)
- Label Transition System (8)
- Software (8)
- Software evolution (8)
- Software maintenance (8)
- Streams (8)
- Computational thinking (7)
- Computer Science (7)
- Empirical study (7)
- Automated refactoring (6)
- Large language models (6)
- Operational Semantic (6)
- Software tools (6)
- Typestate analysis (6)
- Android (5)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (184)
- Publications and Research (51)
- Journal of Computer Science Integration (16)
- Computer Science Faculty Publications (13)
- Computer Science: Faculty Publications and Other Works (12)
-
- Open Educational Resources (9)
- Computer Science Faculty Publications and Presentations (8)
- Departmental Technical Reports (CS) (8)
- Dissertations and Theses Collection (Open Access) (8)
- Student Works (2000-2009) (7)
- Dissertations and Theses Collection (5)
- Master's Theses (5)
- Faculty Publications (4)
- Williams Honors College, Honors Research Projects (4)
- Computer Science Theses & Dissertations (3)
- Department of Computer Science Faculty Scholarship and Creative Works (3)
- Electrical & Computer Engineering Theses & Dissertations (3)
- Electronic Theses, Projects, and Dissertations (3)
- Master's Projects (3)
- Articles (2)
- Computer Engineering (2)
- Computer Science and Computer Engineering Undergraduate Honors Theses (2)
- Department of Electrical and Computer Engineering Faculty Publications (2)
- Faculty Articles (2)
- Graduate Theses and Dissertations (2)
- Honors Scholar Theses (2)
- LSU New Orleans Theses and Dissertations (2)
- Research & Publications (2)
- Senior Honors Theses (2)
- Student Academic Conference (2)
- Publication Type
- File Type
Articles 421 - 435 of 435
Full-Text Articles in Programming Languages and Compilers
A Case Tool For Code Inspection, Siti Hajar Alias
A Case Tool For Code Inspection, Siti Hajar Alias
Student Works (2000-2009)
Generally, quality and productivity play important roles in every software development life cycle. However, when discussing about quality and productivity, another function that synonym to distinguish these features is software inspection. Software inspection is generally accepted as a useful technique for finding errors in both documents and codes. There are several phases in software inspection and one of it is defect detection phase. This dissertation is to review the role of defect detection phases involved in the software inspection process. Thus, for this project, it focuses on the development of a prototype CASE tool for code inspection called CodeIns. CodeIns …
Development Of Atlas Based Simulation Capability For Automated Testing, Rami Hanbali
Development Of Atlas Based Simulation Capability For Automated Testing, Rami Hanbali
Electrical & Computer Engineering Theses & Dissertations
Computer software is emerging as a powerful tool for controlling a large number of instruments and for the testing of these instruments. The main aim of this work is to provide a software program capable of controlling a large number of engineering instruments at the touch of a button. In addition, the software is to have the capability of connecting the instruments with the desired Unit Under Test. There is great need for such software driven testing in industry, especially for large complex systems. Advantages of such an approach include: (a) automated testing in a very quick and efficient manner; …
Vhdl Implementation For Jawi Character Recognition, Mustafa Norita Adila
Vhdl Implementation For Jawi Character Recognition, Mustafa Norita Adila
Student Works (2000-2009)
Kewujudan tulisan jawi sejak dahulu lagi telah menghasilkan pelbagai karya penting dalam perkembangan islam. Sebagai satu bahasa pengantara, tulisan jawi dianggap penting dalam bidang penulisan. Tidak terhad hanya kepada buku-buku, dokumen-dokumen dan manuskrip-manuskrip yang ditulis dalam tulisan jawi, malah penggunaanya amat meluas dan meliputi keseluruhan bidang. Menyedari kepentingannya, timbul minat saya untuk mengkaji dengan lebih mendalam bagaimana komputer boleh mengenali dan memahami tulisan ini tanpa menggunakan tenaga manusia berdasarkan kepada beberapa kajian yang sedia ada yang telah dijalankan oleb mereka yang pakar dalam teknologi komputer digital. Secara keseluruhan, kajian ini akan membantu memudahkan lagi pengecaman tulisan tangan jawi yang dilakukan …
Development Of Object-Oriented Components For Atm Network Simulation With Emphasis On Schedule Policies In Traffic Shaping, Chee Sum Wong
Development Of Object-Oriented Components For Atm Network Simulation With Emphasis On Schedule Policies In Traffic Shaping, Chee Sum Wong
Student Works (2000-2009)
Asynchronous Transfer Mode (ATM) is considered to be the ground which B-ISDN is to be built. The traffic control of ATM network is important to provide Quality of Service (QoS) for network applications Therefore, different traffic management procedures have been introduced to achieve network performance objectives. Traffic shaping is one of the traffic management mechanisms that able to protect the network and the end-system from congestion probleam. This project focuses on the development for simulation of different scheduling policies in traffic shaping with object-oriented approach. The simulator is designed and implemented to ensure the correctness of scheduling within the network …
Sistem Waktu Solat Dan Tahun Hijrah (Laman Nurani) / Sharifah Haslinda Sayed Boniamin, Sayed Boniamin Sharifah Haslinda
Sistem Waktu Solat Dan Tahun Hijrah (Laman Nurani) / Sharifah Haslinda Sayed Boniamin, Sayed Boniamin Sharifah Haslinda
Student Works (2000-2009)
Sistem Waktu Solat dan Tahun Hijrah ini adalah sistem yang akan memaparkan paparan kalender terkini, pertukaran kalender dari kalender Hijrah ke kalender Gregorian dan sebaliknya, serta paparan bagi waktu solat semasa meng1kut nama bandar atau daerah yang dipilih oleh pengguna.Selain daripada itu, pengguna juga dapat mengetahui perkara atau peristiwa yang penting di dalam Islam mengenai cara sambutan, kenapa diraikan, bila dan bagaimana. Sistem ini dibina berasaskan laman web, ini kerana pengguna akan lebih mudah mendapatkan sistem ini daripada internet berbanding dengan aplikasi perisian. Skop bagi sistem ini adalah merangkumi paparan waktu solat, pertukaran kalender dan juga peristiwa-peristiwa penting dalam Islam. …
Control Application For Client Server/Based: Interactive Puzzle Game, Francis Evelyn
Control Application For Client Server/Based: Interactive Puzzle Game, Francis Evelyn
Student Works (2000-2009)
IPG is a web-enabled application developed through client/server based architecture. Client/server architecture can be define as a design approach that divides the functional processing of an application and distributes it across two or more processing platforms. IPG is design in fulfillment of the client/server environment, which provides the infrastructure of such as middleware, networks, operating systems, hardware that supports the current distributed applications. IPG gives the interactive utility that enables concurrent users in the networked computing. This application supports the gaming features such as winning, loss, and draw, create a new game and many else. IPG also acts and tries …
Web Wordpro, Yeu Wen Wong
Web Wordpro, Yeu Wen Wong
Student Works (2000-2009)
Web WordPro is a Web based application that allows word processing via World Wide Web. The goal of the project is to develop a word processing program that is similar to Notepad or WordPad but the program is applied on the Internet platform. The motivation of the project is the Web WordPro is feasible for implementation because of Web allows widely distribution of information, to a wide audience at a low cost. Almost seven months is allocated to complete the project. Literature review has been carried out on the information that are related to Web and word processing. Web WordPro …
Development Of A Reusable Object Oriented Application Framework For Library Systems Domain, Roy Teck Choye Chew
Development Of A Reusable Object Oriented Application Framework For Library Systems Domain, Roy Teck Choye Chew
Student Works (2000-2009)
The main goal of developing an application framework on an application domain or a business domain is to facilitate development of application systems within the same domain by reusing components through customisation and not from scratch. These components would have to be analysed and designed with reusable features so that they can be reused to develop different applications in the related domain. In the case of an object-oriented application framework in the technical view, it is made up of a set of interrelated abstract (generic) and concrete classes that underlie the components of a domain model and form the domain …
What Is Y2k And How Did The University Of Nevada System Solve It?, Diane R. Dietrich
What Is Y2k And How Did The University Of Nevada System Solve It?, Diane R. Dietrich
UNLV Theses, Dissertations, Professional Papers, and Capstones
The turn of the century change from 1999 to 2000 will create chaos for the world's computer systems. This paper will discuss the causes of the Y2K problem, the reaction to this problem by the University of Nevada System Computer Services and possible repercussions of this problem for Nevada, the United States and the world.
On The Interaction Of Object-Oriented Design Patterns And Programming Languages, Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo
On The Interaction Of Object-Oriented Design Patterns And Programming Languages, Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo
Computer Science: Faculty Publications and Other Works
Design patterns are distilled from many real systems to catalog common programming practice. However, some object-oriented design patterns are distorted or overly complicated because of the lack of supporting programming language constructs or mechanisms. For this paper, we have analyzed several published design patterns looking for idiomatic ways of working around constraints of the implementation language. From this analysis, we lay a groundwork of general-purpose language constructs and mechanisms that, if provided by a statically typed, object-oriented language, would better support the implementation of design patterns and, transitively, benefit the construction of many real systems. In particular, our catalog of …
Exploiting High Performance Fortran For Computational Fluid Dynamics, Volume 919, Ken Hawick, Geoffrey C. Fox
Exploiting High Performance Fortran For Computational Fluid Dynamics, Volume 919, Ken Hawick, Geoffrey C. Fox
Northeast Parallel Architecture Center
We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing systems for computational uid dynamics applications. We discuss the use of intrinsic functions, data distribution directives and explicitly parallel constructs to optimize performance by minimizing communications requirements in a portable manner. In particular we use an implicit method such as the ADI algorithm to illustrate the major issues. We focus on regular mesh problems, since these can be efficiently represented by the existing HPF definition, but also discuss issues arising from the use of irregular …
A Semantic Framework For Understanding The Behavior Of Modules And Classes In Programming Languages, Mahesh Dodani, Benjamin Kok Siew Gan
A Semantic Framework For Understanding The Behavior Of Modules And Classes In Programming Languages, Mahesh Dodani, Benjamin Kok Siew Gan
Research Collection School Of Computing and Information Systems
Recent trends in programming language design and implementation are aimed at integrating the two most important constructs to combat complexity: modules and classes. Both constructs provide encapsulation, a cornerstone of reliable programming. These constructs differ in their approach to building hierarchies: modules define visibility of components while classes define visibility of functionality. How can modules and classes be effectively integrated within a simple programming language? This question captures the essence of developing semantics of these constructs to ensure that they interact in a meaningful way. This paper develops a formal denotational semantic framework for understanding the interaction between classes and …
Applying Metrics To Rule-Based Systems, Paul Doyle, Renaat Verbruggen
Applying Metrics To Rule-Based Systems, Paul Doyle, Renaat Verbruggen
Other
Since the introduction of software measurement theory in the early seventies it has been accepted that in order to control software it must first be measured. Unambiguous and reproducible measurements are considered to be the most useful in controlling software productivity, costs and quality, and diverse sets of measurements are required to cover all aspects of software. This paper focuses on measures for rule-based language systems and also describes a process for developing measures for other non-standard 3GL development tools. This paper uses KEL as an example and the method allows the re-use of existing measures and indicates if and …
Automatically Generating Functional Tests From Specifications - A Knowledge Based Constraint Logical Programming Approach, Ji Chen
Computer Science Theses & Dissertations
Recent experimental results indicate that functional testing is one of the most effective methods in detecting certain classes of faults. Very little work has been done in automating functional testing. This thesis research develops a method, called hierarchical partition, for automating functional testing. The key to our approach is the utilization of a pre-existing knowledge base about the domain of discourse. Several approaches to knowledge organization are discussed along with the resulting effects on the quantity and quality of functional tests produced. This research is an application and development of Generic Constraint Logic Programming and the Knowledge Driven …
Generic Specifications In Lil And In Ada Via Analogies, George Chester Harrison
Generic Specifications In Lil And In Ada Via Analogies, George Chester Harrison
Computer Science Theses & Dissertations
We address the problem of .making verifiable specifications in generic program units in the Ada Programming Language*. We illustrate the methodologies of LIL proposed by Joseph Goguen and Justify the use of such a specification languages using analogy programming originally proposed by Nachum Dershowitz. The work in these areas is new and noticeably incomplete. We address our concern about the reusability of Ada software in a programming environment that includes a specification language like LIL. * Ada is a registered trademark of the U.S. Government (Ada Joint Program Office)