The Fumble Programmer

机译：笨拙的程序员

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper reflects on the need for formality, discipline and humility in programming. Starting with the work of Turing, Dijkstra and Humphrey, this paper goes on to cover our experience with the Personal Software Process, formal programming with SPARK, and the impact of putting the two together.

机译：本文反映了编程中对形式，纪律和谦虚的需求。从Turing，Dijkstra和Humphrey的工作开始，本文将继续介绍我们在个人软件过程，SPARK的正式编程以及将两者放在一起所产生的影响方面的经验。

著录项

来源
《Safety-critical systems symposium》|2018年|143-154|共12页
会议地点
作者
Roderick Chapman;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Using a predictive rating system for computer programmers to optimise recruitment: Using ratings to optimise programmer recruitment [J] . Bracewell Paul J., Patel Ankit K., Blackie Evan J., Journal of Cases on Information Technology . 2017,第3期

机译：使用预测性评分系统为计算机程序员优化招聘：使用评分来优化程序员招聘
2. Josh Carter’s New Programmer’s Survival Manual (Pragmatic Programmers) [J] . Linux Journal . 2012,第214期

机译：乔什·卡特（Josh Carter）的《新程序员生存手册》（实用程序员）
3. One programmer's extension is another programmer's abuse. [J] . Kode Vicious ACM Queue: Architecting Tomorrow s Computing . 2012,第12期

机译：一个程序员的扩展是另一位程序员的滥用。
4. The Fumble Programmer [C] . Roderick Chapman Safety-critical systems symposium . 2018

机译：摸索的程序员
5. An Industry Study Isuzu and General Motor's Joint Venture Touchdown or Fumble. [D] . Handelman, Kenneth J. 2003

机译：行业研究五十铃和通用汽车的合资公司达阵或失败。
6. Avoiding Fumbles: Online Patient Handoff Training [O] . Jack Wells, Dena Higbee, Jen Doty, 2020

机译：避免摸索：在线患者切换培训
7. DEVELOPMENT OF A NATURAL GAS SYSTEMS ANALYSIS MODEL (GSAM) VOLUME I - SUMMARY REPORT VOLUME II - USER'S GUIDE VOLUME IIIA - RP PROGRAMMER'S GUIDE VOLUME IIIB - SRPM PROGRAMMER'S GUIDE VOLUME IIIC - E&P PROGRAMMER'S GUIDE VOLUME IIID - D&I PROGRAMMER'S GUIDE [O] . 2001

机译：开发天然气系统分析模型（Gsam）第一卷 - 总结报告第二卷 - 用户指南第二卷 - Rp程序员指南第二卷 - sRpm程序员指南第二卷--E＆amp; p程序员指南第二卷--D＆amp; I程序员指南

The Fumble Programmer

摘要

著录项

相似文献

相关主题

期刊订阅