咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 104 篇 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

语言

  • 93 篇 英文
  • 6 篇 其他
  • 5 篇 中文
检索条件"主题词=Programming methodology"
104 条 记 录,以下是71-80 订阅
Agile Development with ICONIX Process  1st ed.
收藏 引用
2005年
作者: Don Rosenberg Mark Collins-Cope Matt Stephens
来源: 评论
Introductory education in computer science
收藏 引用
Education and Computing 1991年 第1-2期7卷 73-86页
作者: Habermann, A. Nico Carnegie-Mellon University Pittsburgh PA 15213 United States
There is room for improvement in the way introductory computer science is taught. In general, most of the available time is spent on teaching programming language syntax and very little on studying examples of good pr... 详细信息
来源: 评论
Achievements in answer set programming
Achievements in answer set programming
收藏 引用
33rd International Conference on Logic programming colocated with the 23rd International Conference on Principles and Practice of Constraint programming / 20th International Conference on Theory and Applications of Satisfiability Testing
作者: Lifschitz, Vladimir Univ Texas Austin Austin TX 78712 USA
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Agile Java(TM): Crafting Code with Test-Driven Development
收藏 引用
丛书名: Robert C. Martin Series
2005年
作者: Jeff Langr
Master Java 5.0 and TDD Together: Build More Robust, Professional SoftwareMaster Java 5.0, object-oriented design, and Test-Driven Development (TDD) by learning them together. Agile Java weaves all three into a single... 详细信息
来源: 评论
Extreme programming for Web Projects
收藏 引用
2002年
作者: Doug Wallace Joel Aufgang Isobel Raggett
From the Book: Estimating the time and costs of web projects has been my obsession for over five years. Starting with wild guestimates and little success I was quickly attracted to the analysis practices of the Ration... 详细信息
来源: 评论
Test Driven Development: By Example  1
收藏 引用
丛书名: Addison-Wesley Signature Series
2002年
作者: Kent Beck
From the Book: Clean code that works is Ron Jeffries' pithy phrase. The goal is clean code that works, and for a whole bunch of reasons: Clean code that works is a predictable way to develop. You know when you are... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Pair programming Illuminated
收藏 引用
2002年
作者: Laurie Williams Robert Kessler
From the Book: This purpose of this book is to provide you with lots of information on pair programming. If you are already pairing, then the book will give you additional insights and techniques to make your pairing ... 详细信息
来源: 评论
Managing Agile Projects  illustrated edition
收藏 引用
丛书名: Robert C. Martin series
2005年
作者: Sanjiv Augustine
PRAISE FOR MANAGING AGILE PROJECTS"In the hands of another, this class of material could become incoherent, but Sanjiv has enough intellectual power to ground his subject...Fans of APM and those who prefer new id... 详细信息
来源: 评论