A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A logical basis for programming methodology
1981
Theoretical Computer Science
Preserved Fulltext
This gives us a logical basis foa programming methodology since the programming concepts such as assignment statements, IIF-statements and WHI[LE-statements are fully explained logically, here '1ogiczAly ...
FIND is stprdied methodologically. ...
Acknowledgment The author would like to express his gratitude to Professor Takeshi Hayashi who gave him a kind criticism. This study was supported by Grant-in-aid (C)458018 of Japan. ...
doi:10.1016/0304-3975(81)90030-x
fatcat:wcgq5uwon5hbnfwppz7xpau6di
Page 3504 of Mathematical Reviews Vol. , Issue 94f
[page]
1994
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
It discusses the design of a concurrent logic programming language, named Conclog, and a methodology for constructing programs in this language. ...
We pro- pose an algorithm for deciding whether a conceptual graph is canonical relative to a given canonical basis. ...
Methods and Methodologies for Developing Answer-Set Programs - Project Description
2010
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Generally, the focus of research will be on methodologies for systematic program development, program testing, and debugging. ...
However, arguably one of the main challenges for a wider acceptance of ASP is the need of tools, methods, and methodologies that support the actual programming process. ...
Testing methodologies Though crucial for the quality of conventional software, there is little work on testing methodologies for logic programs. ...
doi:10.4230/lipics.iclp.2010.154
dblp:conf/iclp/OetschPT10
fatcat:touc6as53fhorktnafjfeqpdei
A decision-support methodology for priority allocation among road users at signalized junctions
2011
Procedia - Social and Behavioral Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper suggests a methodology for performing the selection process. ...
The methodology described in this article for selecting an alternative signal program is based on a definition of Standard Planning Attributes (SPA), which serve as a "data dictionary". ...
The comparison should be performed on the basis of the type of PA implemented within the signal program logic and the PAT assigned for each signal program. ...
doi:10.1016/j.sbspro.2011.08.107
fatcat:uvzuwfnrb5cvxkmpf46fzskrf4
Preface
2006
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
would like to thank everyone who contributed to the success of the meeting including the invited speakers, authors of the contributed papers, members of the AMAST steering committee, and members of the program ...
The paper of van Riemsdijk et al. also contributes to software technology by providing a formal semantics for a high-level metalanguage for programming artificially intelligent agents. • Programming methodology ...
for programs with recursive data structures and while constructs. ...
doi:10.1016/j.tcs.2005.09.063
fatcat:6cc55txyhvfeleetoccn4ss4iy
AEC Collaborative Information Systems: From Requirements to Architecture
[chapter]
1994
Automation and Robotics in Construction Xi
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Section 2 presents the framework and the need for parametric representation and constraint-based reasoning as a unifying methodology. ...
This paper briefly presents the philosophy behind and the basis for a conceptual design of a human-computer architecture to facilitate design, management and coordination in AEC projects. ...
The work presented in this paper has been implemented in a prototype using objectoriented logic programming techniques. Preliminary tests have served to build and refine the architecture. ...
doi:10.1016/b978-0-444-82044-0.50072-2
fatcat:uha3ar7xh5ehlkyigrsjbdgcra
Page 146 of Journal of Research and Practice in Information Technology Vol. 25, Issue 4
[page]
1993
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
/TL, framework provides a basis for modelling the behaviour of a real-time system. ...
., MANNA, Z. and PNUELI, A. (1990): Temporal Proof Methodologies for Real-Time Systems, Proceedings of the 18th Annual ACM Symposium on Principles of Programming Languages, pp. 353- 366, January. ...
A Compiler for Ordered Logic Programs
[article]
2000
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
This paper describes a system, called PLP, for compiling ordered logic programs into standard logic programs under the answer set semantics. ...
In particular, PLP is conceived as a front-end to the logic programming systems dlv and smodels. ...
PLP realizes a further front-end for these systems, handling ordered logic programs. ...
arXiv:cs/0003024v1
fatcat:lsebf4il7zgulb7rxeat7wawna
On the Problem of the Development of Astronomical Refraction Methodology on the Basis of New Technology
1990
Symposium - International astronomical union
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
before us a number of fundamental difficulties in that hundreds of correct solutions to these problems require a systematic approach.The most suitable cybernetics-mathematical composite for solving the ...
intellect (logical-linguistic model). ...
IP address: 207.241.231.82, on 28 Jul 2018 at 05:04:20, subject to the Cambridge Core terms of use, ON THE PROBLEM OF THE DEVELOPMENT OF ASTRONOMICAL REFRACTION METHODOLOGY ON THE BASIS OF NEW TECHNOLOGY ...
doi:10.1017/s0074180900086538
fatcat:4ueywujt5jcv3pfe4hm2nuioia
Modeling of physical phenomena as a methodological means of forming a knowledge structure in physics and programming
2021
ScienceRise Pedagogical Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The methodology of such work is well formulated, especially in the well-known methods of descending step-by-step detailing and in modular programming ...
To bring the theoretical basis to the improvement of the methodic of carrying out laboratory works in physics and computer sciences, a study of psychological and cognitive processes that accompany the ...
These two methodologies are the basis of the practice of structural programming [6] . Let's break the solution of the problem into subtasks: 1. ...
doi:10.15587/2519-4984.2021.237974
fatcat:oigtch4g7fbathf5pn2pbzh2py
Programming logics: An introduction to verification and semantics
1990
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This leads to the conclusion that a book on program verification must have the same semantical basis as books on programming methodology. ...
Such mechanical assistance requires a profound knowledge of programming logics, but programming logics of a certain kind, namely those that are most adequate for human program derivation. ...
doi:10.1016/0167-6423(90)90074-n
fatcat:xti4uef36vgjdk4elsyujmle4m
METHODIK ZUR ENTWICKLUNG ALGORITHMIC DENKEN DER STUDENTEN ZUR PROGRAMMIERUNG IN HOCHSCHULEN
2022
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Magamedov studied the problems of forming a system-logical thinking of a future computer science teacher on object-oriented programming. ...
A model for developing students' programming algorithmic thinking.
http://berlinstudies.de/ 10.5281/zenodo.6326733 ...
doi:10.5281/zenodo.6326732
fatcat:caaivgok3fbzxcr75jjvuzzgse
METHODIK ZUR ENTWICKLUNG ALGORITHMIC DENKEN DER STUDENTEN ZUR PROGRAMMIERUNG IN HOCHSCHULEN
2022
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Magamedov studied the problems of forming a system-logical thinking of a future computer science teacher on object-oriented programming. ...
A model for developing students' programming algorithmic thinking.
http://berlinstudies.de/ 10.5281/zenodo.6338468 ...
doi:10.5281/zenodo.6338468
fatcat:jffv5lf3vvgsvkdnzbk5isk7wa
Page 1580 of Mathematical Reviews Vol. , Issue 92c
[page]
1992
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary: “We describe a methodology for proving termination of logic problems. ...
With this as the basis, we develop a simple method for establishing the termination of logic programs. The simplicity and practicality of the method are illustrated by examples.” ...
Page 3987 of Mathematical Reviews Vol. , Issue 82i
[page]
1982
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Takasu, Satoru; Kawabata, Sukemitsu
A logical basis for programming methodology.
Theoret. Comput. Sci. 16 (1981), no. 1, 43-60. ...
This gives us a logical basis for programming methodology since the programming concepts such as assignment statements, IF-statements and WHILE-statements are fully explained logically; here ‘logically ...
« Previous
Showing results 1 — 15 out of 294,479 results