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...
详细信息
Pervasive Grid Computing Platforms include centralized computing nodes (e.g. parallel servers) as well as decentralized and mobile devices. Pervasive Grid applications include data-and computing-intensive components w...
详细信息
ISBN:
(纸本)9780769539393
Pervasive Grid Computing Platforms include centralized computing nodes (e.g. parallel servers) as well as decentralized and mobile devices. Pervasive Grid applications include data-and computing-intensive components which can be mapped also onto decentralized and mobile nodes. The effective and practical success of this mapping resides also in deriving proper configurations of applications which consider the limited memory capabilities of those resources. In this paper we target this issue by showing how we can study and configure the memory requirements of an Emergency Management application. We present our solutions by using the ASSISTANT programming model for Pervasive Grid applications.
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.
The structured design and testing of application software is an important element of GMP compliance. Because application software is custom-developed, one cannot rely on 'market hardness' as an indicator of so...
详细信息
ISBN:
(纸本)1556174640
The structured design and testing of application software is an important element of GMP compliance. Because application software is custom-developed, one cannot rely on 'market hardness' as an indicator of software quality. structured design provides a means for understanding complex problems and evaluating system requirements. Communication among users, designers and implementers is facilitated. Valuable and usable documentation is produced. There are many existing CASE tools which can assist in the structured design approach. The many benefits of structured programming toward the end of validation are discussed within this paper.
We introduce a novel method of indexing graph databases in order to facilitate subgraph isomorphism and similarity queries. The index is comprised of two major data structures. The primary structure is a directed acyc...
详细信息
The PL/I language's facilities for handling exceptional conditions are analyzed. The description is based on the new PL/I standard. Special attention is given to fine points which are not well known. The analysis ...
详细信息
Software has progressed to the point where failure can cause danger or even loss of life. This heralds the need for a similar framework of design control in the more tried and proven fields of engineering. This paper ...
详细信息
We address two problems of technical authors in structured environments: (1) Structure definitions of the SGML school are limiting: they require one primary hierarchy and do not cater for link types and (2) Real-life ...
详细信息
We address two problems of technical authors in structured environments: (1) Structure definitions of the SGML school are limiting: they require one primary hierarchy and do not cater for link types and (2) Real-life structure definitions are too large to be comprehended easily. As solutions, we propose graph types and usage templates. The edge types and inheritance of the proposed graph type model are useful modeling tools. We give examples for structures that can be expressed more precisely and with gain for the author using graph structures. There are also graphical tools available to define graph types and to specify operations on graphs. Templates can be used as a simple parameterization mechanism. A template illustrates the usual usage of a substructure, as opposed to the minimal one required by a structure definition, or the maximal one allowed by it. We also present a prototype authoring application based on these ideas.
This paper studies a class of logical constraints that enforce pre-determined hierarchical relationships among the variables under a unified formulation. We consider the cases where subsets of variables form layers in...
详细信息
暂无评论