检索结果-内蒙古大学图书馆

An elementary and unified approach to program correctness

FORMAL ASPECTS OF COMPUTING 2010年第5期22卷 611-627页

作者： Bohorquez, Jaime A., V Escuela Colombiana Ingn Bogota Colombia

We present through the algorithmic language DHL (Dijkstra-Hehner language), a practical approach to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra's iterative style of programming with Hehner's recursive predicative programming theory, getting the "best of the two worlds" and without having to recur in any way to higher-order approaches such as predicate transformers, Hoare logic, fixed-point or relational theory.

关键词： Theory of programming programming methodology Program correctness Program verification Algorithms Recursion

来源：评论

学校读者我要写书评

暂无评论

A programming methodology for designing block recursive algorithms

引用

JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 2006年第1期22卷 95-121页

作者： Fan, MH Huang, CH Chung, YC Liu, JS Lee, JZ Feng Chia Univ Dept Informat Engn & Comp Sci Taichung 407 Taiwan Natl Tsing Hua Univ Dept Comp Sci Hsinchu 300 Taiwan Natl Dong Hwa Univ Dept Comp Sci & Informat Engn Hualien 974 Taiwan

In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms. We first express a computational problem in its matrix form. Next, we formulate a matrix equation for the matrix of the computational problem. Then, we try to find a solution of the matrix equation such that the solution is composed of simple matrices. Finally, we recursively factorize the subproblem to obtain a tensor product formula representing an algorithm for the given problem. In this methodology, the operations of a tensor product formula can be mapped to language constructs of high-level programming languages. That is, we can generate computer programs, including programs for parallel computers and distributed-memory multiprocessors, from tensor product formulas. In this paper, we use the parallel prefix problem and the discrete Fourier transform problem as examples to illustrate the methodology and derive various parallel prefix and fast Fourier transform algorithms.

关键词： programming methodology tensor product block recursive algorithm parallel processing distributed processing parallel prefix fast Fourier transform

来源：评论

学校读者我要写书评

暂无评论

Agile Technologies in Open Source Development (Premier Reference Source) 1

引用

2009年

作者： Barbara Russo

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.

关键词： General Miscellaneous Software programming methodology General Software Engineering

来源：评论

学校读者我要写书评

暂无评论

STREAM: A First programming Process

引用

ACM Transactions on Computing Education 2009年第1期9卷 1–29页

作者： Michael E. Caspersen Michael Kolling Aarhus University University of Kent

programming is recognized as one of seven grand challenges in computing education. Decades of research have shown that the major problems novices experience are composition-based---they may know what the individual programming language constructs are, but they do not know how to put them together. Despite this fact, textbooks, educational practice, and programming education research hardly address the issue of teaching the skills needed for systematic development of *** provide a conceptual framework for incremental program development, called Stepwise Improvement, which unifies best practice in modern software development such as test-driven development and refactoring with the prevailing perspective of programming methodology, stepwise refinement. The conceptual framework enables well-defined characterizations of incremental program *** utilize the conceptual framework to derive a programming process, STREAM, designed specifically for novices. STREAM is a carefully down-scaled version of a full and rich agile software engineering process particularly suited for novices learning object-oriented programming. In using it we hope to achieve two things: to help novice programmers learn faster and better while at the same time laying the foundation for a more thorough treatment of more advanced aspects of software engineering. In this article, two examples demonstrate the application of *** STREAM process has been taught in the introductory programming courses at our universities for the past three years and the results are very encouraging. We report on a small, preliminary study evaluating the learning outcome of teaching STREAM. The study indicates a positive effect on the development of students’ process competences.

关键词： Stepwise improvement agile methods programming education programming methodology programming process refactoring stepwise refinement test-driven development

来源：评论

学校读者我要写书评

暂无评论

Datatype-Generic Termination Proofs

引用

THEORY OF COMPUTING SYSTEMS 2008年第3-4期43卷 362-393页

作者： Backhouse, Roland Doornbos, Henk Univ Nottingham Sch Comp Sci & Informat Technol Nottingham NG8 1BB England Questance NL-9711 TS Groningen Netherlands

Datatype-generic programs are programs that are parameterised by a datatype. We review the allegorical foundations of a methodology of designing datatype-generic programs. The notion of F-reductivity, where F parametrises a datatype, is reviewed and a number of its properties are presented. The properties are used to give concise, effective proofs of termination of a number of datatype-generic programming schemas. The paper concludes with a concise proof of the well-foundedness of a datatype-generic occurs-in relation.

关键词： Datatype Generic programming Relation algebra Allegory programming methodology

来源：评论

学校读者我要写书评

暂无评论

Clean Code: A Handbook of Agile Software Craftsmanship 1

引用

2008年

作者： Robert C. Martin

ISBN: (纸本)0132350882;9780132350884

Even bad code can function. But if code isnt clean, it can bring a development organization to its knees. Every year, countless hours and significant resources are lost because of poorly written code. But it doesnt have to be that *** software expert Robert C. Martin, presents a revolutionary paradigm with Clean Code: A Handbook of Agile Software Craftsmanship. Martin, who has helped bring agile principles from a practitioners point of view to tens of thousands of programmers, has teamed up with his colleagues from Object Mentor to distill their best agile practice of cleaning code on the fly into a book that will instill within you the values of software craftsman, and make you a better programmerbut only if you work at *** kind of work will you be doing? Youll be reading codelots of code. And you will be challenged to think about whats right about that code, and whats wrong with it. More importantly you will be challenged to reassess your professional values and your commitment to your craft. Clean Code is divided into three parts. The first describes the principles, patterns, and practices of writing clean code. The second part consists of several case studies of increasing complexity. Each case study is an exercise in cleaning up codeof transforming a code base that has some problems into one that is sound and efficient. The third part is the payoff: a single chapter containing a list of heuristics and smells gathered while creating the case studies. The result is a knowledge base that describes the way we think when we write, read, and clean *** will come away from this book understandingHow to tell the difference between good and bad codeHow to write good code and how to transform bad code into good codeHow to create good names, good functions, good objects, and good classesHow to format code for maximum readability How to implement complete error handling without obscuring code logicHow to unit test and practice test-driven developmentWhat

关键词： programming methodology Quality Control Testing - programming General Software Engineering

来源：评论

学校读者我要写书评

暂无评论

The Software Project Manager's Bridge to Agility (Agile Software Development Series) 1

引用

丛书名： The agile software development series

2008年

作者： Michele Sliger Stacia Broderick

ISBN: (纸本)9780321502759

When software development teams move to agile methods, experienced project managers often struggledoubtful about the new approach and uncertain about their new roles and responsibilities. In this book, two long-time certified Project Management Professionals (PMPRs) and Scrum trainers have built a bridge to this dynamic new paradigm. They show experienced project managers how to successfully transition to agile by refocusing on facilitation and collaboration, not command and control. The authors begin by explaining how agile works: how it differs from traditional plan-driven methodologies, the benefits it promises, and the real-world results it delivers. Next, they systematically map the Project Management Institutes classic, methodology-independent techniques and terminology to agile practices. They cover both process and project lifecycles and carefully address vital issues ranging from scope and time to cost management and stakeholder communication. Finally, drawing on their own extensive personal experience, they put a human face on your personal transition to agile--covering the emotional challenges, personal values, and key leadership traits youll need to succeed. Coverage includes Relating the PMBOKR Guide ideals to agile practices: similarities, overlaps, and differences Understanding the role and value of agile techniques such as iteration/release planning and retrospectives Using agile techniques to systematically and continually reduce risk Implementing quality assurance (QA) where it belongs: in analysis, design, defect prevention, and continuous improvement Learning to trust your teams and listen for their discoveries Procuring, purchasing, and contracting for software in agile, collaborative environments Avoiding the common mistakes software teams make in transitioning to agile Coordinating with project management offices and non-agile teams Selling agile within your teams and throughout your organization For every project manager who wants to become m

关键词： programming methodology Computer Industry - Software General Software Engineering

来源：评论

学校读者我要写书评

暂无评论

Automated verification of weak equivalence within the SMODELS system

引用

THEORY AND PRACTICE OF LOGIC programming 2007年第6期7卷 697-744页

作者： Janhunen, Tomi Oikarinen, Emilia Aalto Univ Dept Comp Sci & Engn Lab Theoret Comp Sci FIN-02150 Espoo Finland

In answer set programming (ASP), a problem at hand is solved by (i) writing a logic program whose answer sets correspond to the solutions of the problem, and by (ii) computing the answer sets of the program using an answer set solver as a search engine. Typically, a programmer creates a series of gradually improving logic programs for a particular problem when optimizing program length and execution time on a particular solver. This leads the programmer to a meta-level problem of ensuring that the programs are equivalent, i.e., they give rise to the same answer sets. To case answer set programming at methodological level, we propose a translation-based method for verifying the equivalence of logic programs. The basic idea is to translate logic programs P and Q under consideration into a single logic program EQT(P,Q) whose answer sets (if such exist) yield counter-examples to the equivalence of P and Q. The method is developed here in a slightly more general setting by taking the visibility of atoms properly into account when comparing answer sets. The translation-based approach presented in the paper has been implemented as a translator called LPEQ that enables the verification of weak equivalence within the SMODELS system using the same search engine as for the search of models. Our experiments with LPEQ and SMODELS suggest that establishing the equivalence of logic programs in this way is in certain cases much faster than naive cross-checking of answer sets.

关键词： answer set programming weak equivalence programming methodology program optimization

来源：评论

学校读者我要写书评

暂无评论

Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly)) 1

引用

丛书名： Theory in Practice

2007年

作者： Andy Oram Greg Wilson

ISBN: (纸本)0596510047;9780596510046

How do the experts solve difficult problems in software development? In this unique and insightful book, leading computer scientists offer case studies that reveal how they found unusual, carefully designed solutions to high-profile projects. You will be able to look over the shoulder of major coding and design experts to see problems through their eyes. This is not simply another design patterns book, or another software engineering treatise on the right and wrong way to do things. The authors think aloud as they work through their project's architecture, the tradeoffs made in its construction, and when it was important to break rules. Beautiful Code is an opportunity for master coders to tell their story. All author royalties will be donated to Amnesty International.

关键词： programming methodology programming - General Miscellaneous General Software Engineering

来源：评论

学校读者我要写书评

暂无评论

The Enterprise and Scrum 1

引用

2007年

作者： Ken Schwaber

From a leader in the agile process movement, learn best practices for moving agile development with Scrum from the skunk works (small team) to the shop floor (the enterprise). Managers get case studies and practical g... 详细信息

ISBN: (纸本)0735623376

关键词： programming methodology Enterprise Application Development Integration General Software Engineering

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：