This paper has an introductory nature. It sets the scene for the three papers in the thematic session "structured Data Tools". We discuss interaction and coordination in general and look more specifically at...
详细信息
ISBN:
(纸本)9783540489283
This paper has an introductory nature. It sets the scene for the three papers in the thematic session "structured Data Tools". We discuss interaction and coordination in general and look more specifically at the XML data format and the dataflow driven coordination language Reo.
A different way of summarizing linked data structures that has been worst case time bounds was proposed. Unbounded data structures were summarized by taking advantage of structure present in the original program. High...
详细信息
A different way of summarizing linked data structures that has been worst case time bounds was proposed. Unbounded data structures were summarized by taking advantage of structure present in the original program. High-degree polynomials are the worst-case time bounds for a naive algorithm, but for the expected (sparse) case an efficient algorithm was implemented. The quality of information obtained by the analysis to obtain useful information about linked data structures is expected to be better than that obtained by existing techniques.
Database search for images containing icons with specific mutual spatial relationships can he facilitated by an appropriately structured index. For the case of images containing subsets each of which consist of three ...
详细信息
Solutions to the Dutch National Flag Problem have been given by Dijkstra [1] and Meyer [3]. Dijkstra starts with a simple program and arrives at an improved program by refinement. Both of the algorithms given by Dijks...
详细信息
The purpose of programming course is not only to teach students the syntax of certain language, but also indicate them scientific thoughts and methods. Teachers in C language classroom should instill engineering thoug...
详细信息
ISBN:
(纸本)9780769536002
The purpose of programming course is not only to teach students the syntax of certain language, but also indicate them scientific thoughts and methods. Teachers in C language classroom should instill engineering thought in students subtly. This article contributes approaches to this subject. First, leading students to form good programming style is helpful to their future engineering practice;Then, pay attention to choose meaningful teaching cases with great practicability to train students' project thought and team consciousness;Moreover, focus on structured programming, guiding learners to solve a problem by stepwise refinement, Furthermore thought of Data Structures & Algorithm Analysis as well as Software Engineering should be instilled, through which we can lead students to write better code with both validity and efficiency, develop their programming mind effectively in a scientific and easy way.
Programmable Controllers (PLC) are being increasingly used in control systems for Nuclear Power Plants. A PLC, qualified for safety applications, is attractive because it saves a lot of time in verification and valida...
详细信息
ISBN:
(纸本)9781467347372
Programmable Controllers (PLC) are being increasingly used in control systems for Nuclear Power Plants. A PLC, qualified for safety applications, is attractive because it saves a lot of time in verification and validation effort as compared to development of embedded control systems. We developed a tool, ST to MISRA-C translator, required for developing application program using structured Text (ST) in a qualified PLC. The syntax and semantics of ST programming language is defined in the IEC 61131-3 standard. During the development of the translator, we found some issues with ST language syntax and semantics not pointed out by other researchers. These issues are discussed in this paper along with proposed changes in the ST language grammar for its unambiguous parsing.
The programming language Alphard is designed to provide support for both the methodologies of “well-structured” programming and the techniques of formal program verification. Language constructs allow a programmer t...
详细信息
Unlike PASCAL, most versions of BASIC, and especially those available on microcomputers, lack adequate control structures for the practice of structured programming. However, BASIC remains one of the most frequently l...
详细信息
We present and discuss a tool that checks the correctness of simple programs constructed according to the structured programming method. The tool is intended to provide interesting feedback to students learning the pr...
详细信息
ISBN:
(纸本)1595930558
We present and discuss a tool that checks the correctness of simple programs constructed according to the structured programming method. The tool is intended to provide interesting feedback to students learning the programming method: it detects programming and/or reasoning errors and it provides typical counter-examples. We argue that our system is better adapted to our pedagogical context than other verification tools and we report on preliminary experiments with the tool in a third year programming course. Copyright 2006 ACM.
structured programming is the single most important technique currently used in developing software which is both reliable and inexpensive. 11 , 27 It has been observed by various researchers that programmer productiv...
详细信息
暂无评论