A method for design of embedded real-time systems is described. We discuss how the method separates concerns and at what points theory is applied. We also report on our experience from teaching the method to engineers...
详细信息
A method for design of embedded real-time systems is described. We discuss how the method separates concerns and at what points theory is applied. We also report on our experience from teaching the method to engineers from several Danish companies and their experience in using the method in real development projects.
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.
AbstractA total of 64 references to papers, books and conference proceedings on the subject of software reliability have been selected. Each of these references is provided with an annotation consisting of a paragraph...
详细信息
AbstractA total of 64 references to papers, books and conference proceedings on the subject of software reliability have been selected. Each of these references is provided with an annotation consisting of a paragraph of commentary. Sections of the bibliography are devoted to requirements definition, programming methodology, certification, fault‐tolerance and reliability modellin
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...
详细信息
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...
详细信息
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.
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.
暂无评论