咨询与建议

限定检索结果

文献类型

  • 78 篇 期刊文献
  • 17 册 图书
  • 10 篇 会议

馆藏范围

  • 105 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 87 篇 工学
    • 66 篇 计算机科学与技术...
    • 54 篇 软件工程
    • 20 篇 电气工程
    • 12 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 4 篇 材料科学与工程(可...
    • 2 篇 网络空间安全
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 轻工技术与工程
    • 1 篇 林业工程
  • 15 篇 理学
    • 14 篇 数学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
  • 5 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 105 篇 programming meth...
  • 15 篇 general software...
  • 13 篇 programming lang...
  • 8 篇 software enginee...
  • 7 篇 program verifica...
  • 6 篇 abstract data ty...
  • 5 篇 program correctn...
  • 5 篇 structured progr...
  • 4 篇 data abstraction
  • 4 篇 software reliabi...
  • 4 篇 data types
  • 3 篇 computer science
  • 3 篇 derivation of pr...
  • 3 篇 algorithms
  • 3 篇 data abstraction...
  • 3 篇 program transfor...
  • 3 篇 correctness
  • 3 篇 program specific...
  • 3 篇 answer set progr...
  • 3 篇 verification

机构

  • 3 篇 univ nottingham ...
  • 2 篇 cornell univ dep...
  • 2 篇 nc state univers...
  • 2 篇 university of bo...
  • 2 篇 univ texas austi...
  • 1 篇 tech univ denmar...
  • 1 篇 univ cordoba dep...
  • 1 篇 univ maryland in...
  • 1 篇 department of co...
  • 1 篇 national geodeti...
  • 1 篇 free university ...
  • 1 篇 department of el...
  • 1 篇 department of co...
  • 1 篇 univ novi sad in...
  • 1 篇 coventry univ pr...
  • 1 篇 univ bielefeld f...
  • 1 篇 aalto univ dept ...
  • 1 篇 questance nl-971...
  • 1 篇 italian institut...
  • 1 篇 univ victoria de...

作者

  • 2 篇 lifschitz vladim...
  • 2 篇 chung yc
  • 2 篇 laurie williams
  • 2 篇 feijen whj
  • 2 篇 gries david
  • 2 篇 fan mh
  • 2 篇 gries d
  • 2 篇 huang ch
  • 2 篇 backhouse roland
  • 2 篇 ken schwaber
  • 2 篇 morgan c
  • 1 篇 mills hd
  • 1 篇 wulf wa
  • 1 篇 liskov barbara
  • 1 篇 zhang xuejie
  • 1 篇 hibbard tn
  • 1 篇 taki k
  • 1 篇 michael e. caspe...
  • 1 篇 skowron a
  • 1 篇 brusey james

语言

  • 94 篇 英文
  • 6 篇 其他
  • 5 篇 中文
检索条件"主题词=programming methodology"
105 条 记 录,以下是11-20 订阅
排序:
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 progra... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Agile Technologies in Open Source Development (Premier Reference Source)  1
收藏 引用
2009年
作者: Barbara Russo
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... 详细信息
来源: 评论
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 pr... 详细信息
来源: 评论
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 parametr... 详细信息
来源: 评论
Clean Code: A Handbook of Agile Software Craftsmanship  1
收藏 引用
2008年
作者: Robert C. Martin
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 ha... 详细信息
来源: 评论
The Software Project Manager's Bridge to Agility (Agile Software Development Series)  1
收藏 引用
丛书名: The agile software development series
2008年
作者: Michele Sliger Stacia Broderick
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 c... 详细信息
来源: 评论
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 a... 详细信息
来源: 评论
Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly))  1
收藏 引用
丛书名: Theory in Practice
2007年
作者: Andy Oram Greg Wilson
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论