We review the introductory programming courses of the widely accepted Curricula '68, '78, '1991 and '2001. We note that a one-language, imperative-paradigm approach still prevails, although multi-langu...
详细信息
ISBN:
(纸本)140207266X
We review the introductory programming courses of the widely accepted Curricula '68, '78, '1991 and '2001. We note that a one-language, imperative-paradigm approach still prevails, although multi-language programming systems are already available. We discuss the Kernel Language Approach, which provides a programmer's theory of programming that permits a widening of introductory courses to multi-language, multi-thread programming without loss of depth. We suggest two broad outlines for the removal of the one-language constriction from introductory programming courses. We observe that because of the introduction of dotNET and because of student exposure to net-centric multimedia applications, text-based "Hello World!" examples disappoint the expectations of today's students.
This paper describes an approach to the methodology of answer set programming that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule o...
详细信息
This paper describes an approach to the methodology of answer set programming that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group of rules to the emerging program, we include a comment that states what has been "achieved" so far. This strategy allows us to set out our understanding of the design of the program by describing the roles of small parts of the program in a mathematically precise way.
The field of computing-including its application by programmers, systems analysts and others-suffers tremendously from a lack of use of formal reasoning in everyday work. The problem can be solved, at least partly, by...
详细信息
The ideas behind correctness proofs for programs are outlined, and conventional definitions of assignment, etc., are given. The main part of this paper is the idealized development of a nontrivial program in a discipl...
详细信息
Program errors detected during internal testing of the operating system DOS/VS form the basis for an investigation of error distributions in system programs. Using a classification of the errors according to various a...
详细信息
The analysis of commonalities and differences between agile technology and open source software development is needed to understand how advancement approaches have evolved and whether they produce concrete benefits in...
详细信息
ISBN:
(数字)9781599046839
ISBN:
(纸本)1599046814
The analysis of commonalities and differences between agile technology and open source software development is needed to understand how advancement approaches have evolved and whether they produce concrete benefits in terms of software quality and customer satisfaction. Agile Technologies in Open Source Development explores the overlap between open source and agile technologies, providing valuable strategies for advancement in software. This innovative publication presents a significant resource to assist project managers, engineers, and developers interested in experimenting with new approaches in software expansion.
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...
详细信息
The portable programming language (PPL) is one of a number of recently designed programming languages that enable the user to define new types by giving their representations and operations in terms of those of previo...
详细信息
The first author has been invited to reminisce over almost 20 years of his research into and application of formal methods in software development. The paper deals with model-oriented methods. The title of this paper ...
详细信息
For the first time, we demonstrate a new concept for programming the '1' state in A2RAM based on the impact ionization in the bridge, which can be assisted by the band-to-band tunneling effect in the top part ...
详细信息
ISBN:
(纸本)9781538667903
For the first time, we demonstrate a new concept for programming the '1' state in A2RAM based on the impact ionization in the bridge, which can be assisted by the band-to-band tunneling effect in the top part of the silicon film. This new programming method reduces the programming voltage and writing time, making the A2RAM suitable as IT-DRAM. Evidenced through TCAD simulation, the feasibility in matrix environment is also demonstrated.
暂无评论