MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Programming as a Discipline?" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

Meta-Programming with Names and Necessity
by Aleksandar Nanevski, Frank Pfenning — 2002
…-mail: {aleks,fp}@(email omitted);) Abstract Meta-programming is a discipline of writing programs in a certain…
Cited by 28 (2 self) – Add To MetaCart

An Interaction-based Language and its Typing System
by Kaku Takeuchi, Kohei Honda, Makoto Kubo — 1994 — In PARLE’94, volume 817 of LNCS
…-Verlag, 1994. may well be based on a type discipline, which ensures well-typed programs to behave in a…
Cited by 66 (9 self) – Add To MetaCart

Panel: The Personal Software Process in Computing Curricula
by Tom Hilburn, Jed Coxon, Mike Mccracken, Massood Towhidnejad, David Umphress — 1997 — PROCEEDINGS SOFTWARE ENGINEERING EDUCATION AND TRAINING
… by Watts Humphrey [l] to address the need for individual software engineers to acquire a disciplined…
Add To MetaCart

Extreme Programming Installed
by Ronald E. Jeffries, Ann Anderson, Chet Hendrickson, Chapter Circle Of Life — 2000
… Extreme Programming . . . . . . . . . . . . . . . . 9 Extreme Programming is a discipline of software…
Cited by 68 (0 self) – Add To MetaCart

Integrating the Personal Software Process (PSP) across the Undergraduate Curriculum
by Massood Towhidnejad Thomas
… engineers to develop high quality small-scale programs in a disciplined, effective manner. The PSP…
Add To MetaCart

Incorporating Software Quality Assurance In Computer Science Education: An Experiment
by Massood Towhidnejad — 2002
… small-scale programs in a disciplined, effective manner. The PSP is designed to help engineers organize…
Add To MetaCart

Hierarchical N-Body Simulations in Haskell
by Pablo E. Martínez López, Pablo E. Mart'inez L'opez
… setting is the subject of this work. Functional Programming is a discipline of programming based…
Add To MetaCart

METATEM: A Framework for Programming in Temporal Logic
by Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough, Richard Owens — 1989 — In REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (LNCS Volume 430
…METATEM: A Framework for Programming in Temporal Logic * Howard Barringer + , Michael Fisher…
Cited by 78 (19 self) – Add To MetaCart

Software services: Scientific challenge or industrial hype
by José Luiz Fiadeiro — 2004 — In Proceedings ICTAC
… problems, and object-oriented programming as a discipline based on the packaging of data and functionality…
Cited by 1 (0 self) – Add To MetaCart

Evolution of Rule-Based Programs
by Ralf Lämmel — 2004
… transformations as a tool to express the programmer’s intentions about changing programs in a disciplined…
Cited by 5 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB