Who Builds a House without Drawing Blueprints?
The author reflects on the process of programming, focusing on the the need for software specifications in computer programming. Topics include the author's assertion that programmers need to think about their programs in broader terms than just code; the type of specifications that should be writte...
| Publicado en: | Communications of the ACM Vol. 58; no. 4; pp. 38 - 42 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Apr2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=101821272&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 101821272 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Apr2015 vid: 58 iid: 4 pid: 68 pub: Association for Computing Machinery artinfo: ui: 101821272 10.1145/2736348 ppf: 38 ppct: 4 formats: tig: atl: Who Builds a House without Drawing Blueprints? aug: au: Lamport, Leslie affil: Principal researcher, Microsoft Research su: Computer programming Software requirements specifications Computer specifications Mathematics Mathematical notation Code review (Computer science) sug: subj: Computer programming Software requirements specifications Computer specifications Mathematics Mathematical notation Code review (Computer science) ab: The author reflects on the process of programming, focusing on the the need for software specifications in computer programming. Topics include the author's assertion that programmers need to think about their programs in broader terms than just code; the type of specifications that should be written for varying degrees of project complexity, such as multithreaded or distributed programs; and the need for specification-writing classes in higher education. The use of mathematics and mathematical notation in checking and testing programs is also discussed. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|