Exploiting Iostreams to Integrate a GUI Into a Command Driven Application

Malloy, Brian A.; McGregor, John D.; Hughes, S.

doi:10.1080/1206212x.2001.11441646

Cited by 2 publications

(3 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A CASE STUDY In this section, we report on the efficiency improvement that we achieved by applying the four correctness preserving transformations (CPTs) t o a cryptography application [22]. All executions that we report were executed on a 500 MHz Dell Optiplex, running the Linux Red Hat 6.1 operating system.…”

Section: The Ba Transformationmentioning

confidence: 99%

“…Section IV contains the four CPTs and the proofs of correctness. In Section V we present the results of our case study where we apply the CPTs to a cryptography application [22], showing a dramatic increase in efficiency with only a single application of the CPTs. Finally, in Section VI, we draw conclusions.…”

Section: Introductionmentioning

confidence: 99%

“…Our experience shows that CPTs can facilitate generation of more efficient code while guaranteeing the preservation of original behavior. Our ongoing work includes the application of the CPTs to other sections of the cryptography application, and reusing the CPTs in other applications [21], [22].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

The application of correctness preserving transformations to software maintenance

Gibson

Dowling²,

Malloy³

2000

Proceedings International Conference on Software Maintenance ICSM-94

View full text Add to dashboard Cite

Abstract-The size and complexity of hardware and software systems continues t o grow, making the introduction of subtle errors a more likely possibility. A major goal of software engineering is t o enable developers t o construct systems that operate reliably despite increased size and complexity. One approach t o achieving this goal is through formal methods: mathematically based languages, techniques and tools for specifying and verifying complex software systems. In this paper, we apply a theoretical tool that is supported by many formal methods, the correctness preserving transformation (CPT), t o a real software engineering problem: the need for optimization during the maintenance of code. We present four program transformations and a model t h a t forms a framework for proof of correctness. We prove the transformations correct and then apply them t o a cryptography application implemented in CS+. Our experience shows that CPTs can facilitate generation of more efficient code while guaranteeing the preservation of original behavior.

show abstract

Section: The Ba Transformationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

The application of correctness preserving transformations to software maintenance

Gibson

Dowling²,

Malloy³

2000

Proceedings International Conference on Software Maintenance ICSM-94

View full text Add to dashboard Cite

show abstract

Development of a graphical interface programmed with Matlab App Designer for the analysis of the SCR thyristor using a sinusoidal signal source for its single-phase configuration

González-Galindo,

Vazquez Rios,

Flores Delgado

et al. 2022

JMQM

View full text Add to dashboard Cite

A graphical interface programmed with MATLAB App Designer was developed for the analysis of the SCR thyristor using an alternating current source with a single-phase sinusoidal signal. As a first step, the mathematical analysis was made to design the graph of the firing angle in a circuit made up of an SCR. Following this, programming was carried out to calculate the intersection points of the zero crossing for the simulation in a more interactive way, where the user makes changes in the parameters in order to alter the oscillations and obtain the graphic behavior of the load and the thyristor visually. This program allows students to use it intuitively along with the view of the calculations, graphs, and to control the trigger signal on the interface without making use of virtual simulators and measurement equipment available on the market at a high cost. This facilitates the teaching-learning abilities in the subjects of computer fundamentals, applied programming and power electronics. This graphical interface allows the development of theoretical-practical activities in person and at a distance, to the design of electronic circuits.

show abstract

Exploiting Iostreams to Integrate a GUI Into a Command Driven Application

Cited by 2 publications

References 0 publications

The application of correctness preserving transformations to software maintenance

The application of correctness preserving transformations to software maintenance

Development of a graphical interface programmed with Matlab App Designer for the analysis of the SCR thyristor using a sinusoidal signal source for its single-phase configuration

Contact Info

Product

Resources

About