Entry Yelowitz:1978:PAS from sigcse1970.bib
Last update: Sun Apr 22 02:03:34 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Yelowitz:1978:PAS,
author = "Lawrence Yelowitz",
title = "A project approach to structure and correctness in
{Pitt}'s second computer science course",
journal = j-SIGCSE,
volume = "10",
number = "3",
pages = "50--54",
month = aug,
year = "1978",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/953028.804232",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sun Nov 18 07:38:06 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1970.bib",
note = "Proceedings of the 9th SIGCSE symposium on Computer
science education.",
abstract = "The introduction of software methodological issues,
including correctness and structure, into the
undergraduate curriculum is aided by the availability
of software projects which are not overwhelming, but
nonetheless, are sufficiently complex to warrant a
disciplined approach. A project covering a
``commercial'' application is described here. The use
and instantiation of abstract program schemas to a
variety of contexts is illustrated, as is a sequence of
incremental additions which preserve correctness at
each stage. Fuller details and a more formal
description of this project, as well as of a project
implementing a propositional logic theorem prover, are
found in [1]. As a first step in appreciating the
general applicability of these software methodological
issues, students should realize that these
methodologies were used in fundamental ways in
developing both projects.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- abstract,
2(1)8,
3(4)46,
5(1)1,
7(1)191,
8(1)137,
8(3)2,
10(1)7,
10(1)177
- addition,
2(3)113,
2(3)118,
3(4)24,
5(1)83,
5(1)102,
5(1)115,
5(1)166,
5(1)177,
6(1)48,
6(1)116,
6(1)184,
6(2)37,
7(1)129,
7(4)53,
8(1)35,
8(1)113,
8(1)313,
8(1)324,
8(3)15,
9(1)1,
9(1)180,
10(1)34,
10(1)86,
10(1)189,
10(1)260,
10(3)31,
10(3)55,
10(3)84,
11(1)45,
11(1)82,
11(1)192,
11(1)202,
11(1)236
- aided,
4(1)53,
10(1)7
- applicability,
6(1)28,
7(1)168,
11(1)127
- appreciating,
10(4)28
- availability,
7(2)84,
8(3)111
- both,
2(4)30,
3(3)15,
4(1)110,
5(1)24,
5(1)121,
5(1)153,
5(1)173,
6(1)11,
6(1)15,
6(1)37,
6(1)40,
6(1)46,
6(1)74,
6(1)125,
6(1)161,
6(4)26,
7(1)1,
7(1)79,
7(1)114,
7(1)123,
7(1)129,
7(1)148,
7(1)172,
8(1)35,
8(1)62,
8(1)69,
8(1)74,
8(1)96,
8(1)182,
8(1)223,
8(1)355,
8(1)371,
8(3)106,
9(1)1,
9(1)6,
9(1)13,
9(1)31,
9(1)77,
9(1)142,
9(1)175,
9(3)28,
9(3)51,
10(1)34,
10(1)96,
10(1)97,
10(1)119,
10(1)177,
10(3)1,
10(3)77,
10(3)80,
10(3)120,
10(3)131,
10(3)136,
11(1)18,
11(1)23,
11(1)70,
11(1)118,
11(1)131,
11(1)140,
11(1)167,
11(1)168,
11(1)195
- commercial,
5(1)21,
5(1)53,
8(1)253,
8(1)298,
9(1)108,
10(1)31,
10(1)65,
10(1)85,
10(1)189
- complex,
5(1)121,
5(1)177,
5(1)181,
6(1)101,
7(1)11,
7(1)47,
8(1)90,
8(1)200,
8(2)36,
8(3)125,
9(1)26,
9(1)31,
9(1)85,
9(3)59,
10(1)178,
10(1)197,
10(3)162,
11(4)49
- context,
3(4)24,
5(1)21,
5(1)134,
6(1)1,
8(1)69,
8(1)86,
8(1)90,
8(1)200,
8(1)223,
8(3)22,
9(1)100,
9(1)157,
10(3)151,
10(3)156,
11(1)2
- correctness,
5(1)83,
7(1)83,
9(1)129,
9(1)142,
11(1)158
- covering,
2(3)118,
5(2)33,
8(1)39,
8(3)4
- described,
3(1)21,
4(2)10,
5(1)21,
5(1)24,
5(1)138,
5(1)177,
6(1)1,
6(1)48,
6(1)59,
6(1)97,
6(1)116,
6(1)152,
7(1)20,
7(1)76,
7(1)83,
7(1)109,
7(1)123,
7(1)157,
7(1)179,
7(1)206,
7(2)78,
7(3)38,
7(3)50,
7(4)47,
8(1)1,
8(1)90,
8(1)100,
8(1)150,
8(1)158,
8(1)260,
8(3)12,
8(3)39,
8(3)95,
8(3)102,
8(3)111,
8(3)184,
8(4)6,
8(4)15,
9(1)31,
9(1)69,
9(1)73,
9(1)104,
9(1)162,
9(3)6,
9(3)30,
9(3)49,
10(1)7,
10(1)27,
10(1)53,
10(1)70,
10(1)87,
10(1)180,
10(1)193,
10(1)197,
10(1)232,
10(1)255,
10(1)282,
10(2)12,
10(3)1,
10(3)16,
10(3)55,
10(3)63,
10(3)84,
10(4)20,
11(1)2,
11(1)6,
11(1)28,
11(1)41,
11(1)45,
11(1)49,
11(1)105,
11(1)149,
11(1)202,
11(1)220,
11(1)240,
11(1)247
- description,
2(1)12,
2(3)113,
2(4)41,
4(1)8,
4(1)97,
5(1)110,
5(1)177,
6(1)33,
6(1)106,
6(1)148,
6(3)36,
6(3)69,
7(1)124,
7(1)133,
7(1)148,
7(1)168,
7(1)179,
7(4)53,
8(1)1,
8(1)39,
8(1)86,
8(1)116,
8(1)247,
8(1)280,
8(1)359,
8(1)393,
8(3)48,
8(3)111,
9(1)6,
9(1)26,
9(1)157,
9(1)168,
10(2)53,
10(3)1,
10(3)73,
10(4)24,
11(1)127,
11(1)141,
11(1)236,
11(2)40,
11(3)11
- detail,
4(1)160,
5(1)9,
7(1)23,
7(1)102,
7(1)133,
7(2)78,
8(1)260,
8(1)275,
8(3)75,
8(3)78,
8(3)102,
10(1)96,
10(3)38,
10(3)55,
11(1)2,
11(1)41,
11(1)155
- developing,
3(1)12,
5(1)38,
5(1)149,
6(1)125,
6(3)91,
7(1)11,
7(1)56,
7(1)65,
7(1)120,
7(2)33,
8(1)116,
8(1)131,
8(1)212,
8(1)280,
8(1)298,
8(3)4,
8(3)98,
8(3)125,
8(3)184,
9(1)88,
9(1)157,
9(1)165,
9(1)180,
9(1)184,
9(3)43,
9(3)66,
9(3)74,
10(1)37,
10(1)41,
10(1)128,
10(1)149,
10(1)179,
10(1)266,
10(3)108,
10(3)120,
11(1)141,
11(1)187
- disciplined,
7(3)38,
8(3)26,
9(1)123,
10(2)34
- each,
2(3)118,
2(4)30,
3(3)15,
4(2)10,
5(1)24,
5(1)26,
5(1)38,
5(1)97,
5(1)166,
5(1)181,
5(2)33,
6(1)15,
6(1)48,
6(1)53,
6(1)97,
6(1)129,
6(4)26,
7(1)31,
7(1)114,
7(1)124,
7(1)187,
7(1)191,
7(1)200,
7(3)58,
8(1)39,
8(1)69,
8(1)96,
8(1)100,
8(1)131,
8(1)158,
8(1)189,
8(1)247,
8(1)253,
8(1)350,
8(1)371,
8(1)382,
8(3)30,
8(3)78,
8(3)92,
8(3)95,
9(1)26,
9(1)37,
9(1)53,
9(1)69,
9(1)113,
9(1)123,
9(1)168,
9(3)56,
9(3)74,
10(1)16,
10(1)32,
10(1)80,
10(1)97,
10(1)178,
10(1)193,
10(3)35,
10(3)45,
10(3)63,
10(3)131,
10(4)28,
11(1)41,
11(1)75,
11(1)136,
11(1)202,
11(1)228,
11(1)232,
11(4)49
- formal,
2(3)34,
5(1)18,
5(2)33,
6(1)47,
6(1)106,
6(1)148,
7(1)40,
7(1)56,
8(1)280,
8(3)89,
9(3)16,
9(3)51,
10(3)16,
10(3)27,
10(3)63,
10(3)156,
11(1)49,
11(1)131
- found,
5(1)83,
6(1)81,
6(1)116,
7(1)7,
7(1)20,
7(1)200,
8(1)69,
8(1)74,
8(1)247,
8(3)75,
9(1)96,
9(1)142,
9(1)168,
9(2)17,
10(1)119,
10(1)260,
10(1)266,
10(3)1,
11(1)10,
11(1)61
- fundamental,
5(1)60,
6(2)45,
6(3)46,
8(1)116,
8(3)30,
8(3)54,
9(1)129,
10(1)255,
10(3)55,
10(3)84,
11(1)28,
11(1)149,
11(1)192
- general,
2(4)30,
4(1)110,
5(1)121,
5(1)145,
7(1)157,
7(1)191,
7(2)78,
7(4)53,
8(1)49,
8(1)86,
8(1)137,
8(1)144,
8(1)200,
8(1)260,
8(1)275,
8(1)355,
8(1)366,
8(1)371,
8(2)28,
8(3)2,
8(3)93,
8(4)8,
9(1)22,
9(1)31,
9(1)69,
9(1)139,
9(1)157,
9(1)180,
9(2)17,
10(1)119,
10(1)180,
10(3)73,
11(1)23,
11(1)118,
11(1)174,
11(1)187,
11(2)27
- here,
3(4)24,
5(1)53,
6(1)101,
6(1)133,
7(1)15,
7(1)20,
7(1)102,
7(1)187,
8(1)69,
8(1)96,
8(1)223,
8(3)102,
9(1)53,
9(1)133,
9(1)151,
9(3)66,
10(1)7,
10(1)132,
10(1)266,
10(3)55,
10(3)93,
11(1)182
- illustrated,
5(1)9,
5(1)38,
6(1)59,
8(1)236,
10(1)80
- implementing,
5(1)41,
5(3)18,
6(1)15,
6(3)91,
7(1)129,
8(1)247,
8(1)335,
9(1)145,
9(1)175,
10(1)178,
10(3)151
- including,
5(1)1,
5(1)2,
5(1)15,
5(1)68,
5(1)77,
6(1)133,
7(1)83,
7(2)21,
7(2)33,
7(2)67,
8(1)39,
8(1)150,
8(1)167,
8(1)266,
8(2)36,
8(3)12,
8(3)102,
9(1)59,
9(1)88,
9(1)142,
9(1)173,
9(3)74,
10(1)53,
10(1)282,
10(3)27,
10(3)67,
10(3)93,
10(3)113
- introduction,
2(3)118,
5(1)21,
5(1)51,
5(1)60,
6(1)37,
6(1)129,
6(1)148,
6(1)184,
6(4)21,
7(1)95,
8(1)24,
8(1)62,
8(1)212,
8(1)247,
9(1)1,
9(1)133,
9(1)168,
10(1)266,
10(2)42,
10(3)35,
10(3)73,
10(3)93,
10(3)108,
10(3)136,
10(4)30,
11(1)6,
11(1)89,
11(1)155,
11(1)158,
11(2)23,
11(4)49
- issue,
2(4)30,
5(1)134,
6(1)47,
6(1)165,
7(1)40,
8(1)236,
8(1)371,
8(3)39,
9(1)1,
9(1)6,
9(1)13,
9(1)22,
9(1)26,
9(1)31,
9(1)37,
9(1)53,
9(1)59,
9(1)63,
9(1)69,
9(1)73,
9(1)77,
9(1)85,
9(1)88,
9(1)93,
9(1)96,
9(1)100,
9(1)104,
9(1)108,
9(1)113,
9(1)119,
9(1)123,
9(1)129,
9(1)133,
9(1)139,
9(1)142,
9(1)145,
9(1)151,
9(1)154,
9(1)157,
9(1)162,
9(1)165,
9(1)168,
9(1)173,
9(1)175,
9(1)178,
9(1)180,
9(1)184,
9(2)1,
9(3)1,
9(3)6,
9(3)10,
9(3)16,
9(3)21,
9(3)28,
9(3)30,
9(3)34,
9(3)39,
9(3)43,
9(3)49,
9(3)51,
9(3)56,
9(3)59,
9(3)63,
9(3)66,
9(3)74,
9(3)79,
10(1)119,
10(1)179,
10(1)183,
10(3)13,
10(3)38,
10(3)113,
11(1)6,
11(1)158,
11(1)195,
11(1)236,
11(4)15
- logic,
6(1)97,
7(1)109,
7(3)77,
8(1)280,
8(1)335,
8(1)350,
8(3)143,
9(1)13,
9(1)26,
10(1)291
- methodology,
4(1)75,
6(1)37,
6(4)26,
7(1)40,
7(1)79,
7(1)83,
7(1)95,
8(1)49,
9(1)22,
9(1)63,
9(1)123,
9(1)133,
9(1)139,
9(1)157,
9(3)66,
10(1)97,
10(1)266,
10(3)131,
11(1)18,
11(1)41,
11(1)54,
11(1)195
- overwhelming,
6(1)101
- realize,
8(1)35,
10(1)34,
10(1)266
- schemas,
10(1)70
- second,
2(3)118,
4(2)10,
4(2)14,
5(1)70,
5(1)97,
5(1)134,
7(1)95,
8(1)182,
8(1)280,
8(3)95,
9(1)37,
9(1)59,
9(1)88,
9(1)133,
9(3)43,
9(3)79,
10(1)97,
10(3)23,
10(3)27,
10(3)45,
10(3)55,
10(3)100,
10(3)113,
10(3)120,
10(3)136,
11(1)187,
11(1)192,
11(1)215,
11(1)236
- sequence,
5(1)125,
6(1)129,
7(1)109,
7(1)148,
8(1)268,
8(1)325,
8(3)61,
8(3)80,
9(1)178,
9(3)6,
10(1)180,
10(3)31,
10(3)45,
10(3)113,
11(1)49,
11(1)187
- should,
2(4)30,
3(1)21,
3(4)24,
4(2)10,
5(1)24,
5(1)26,
5(1)97,
5(1)119,
5(1)181,
5(2)33,
6(1)28,
6(1)47,
6(1)81,
6(1)125,
6(1)133,
6(3)46,
6(4)21,
7(1)7,
7(1)68,
7(1)95,
7(1)168,
7(1)187,
7(3)77,
8(1)11,
8(1)90,
8(1)113,
8(1)137,
8(1)212,
8(1)298,
8(1)350,
8(1)371,
8(2)36,
8(3)4,
8(3)26,
8(3)92,
8(3)93,
9(1)69,
9(1)119,
9(1)123,
9(1)162,
9(2)17,
9(3)6,
9(3)74,
10(1)34,
10(1)97,
10(1)178,
10(1)189,
10(1)282,
10(3)13,
10(3)55,
10(3)63,
10(3)77,
10(3)113,
10(3)131,
11(1)54,
11(1)162,
11(1)168,
11(1)195,
11(2)52,
11(4)31
- stage,
7(1)95,
8(1)350,
11(1)61
- step,
6(1)81,
7(1)47,
8(1)268,
8(1)371,
9(1)168,
10(1)80,
11(1)232
- sufficiently,
8(1)69,
9(1)151,
10(4)24,
11(1)187
- theorem,
5(1)83
- variety,
3(4)24,
4(1)160,
5(1)2,
6(1)6,
6(1)21,
6(1)46,
6(1)47,
6(1)48,
7(1)23,
7(2)67,
8(1)49,
8(1)113,
8(1)144,
8(1)158,
9(1)145,
9(1)168,
9(3)6,
9(3)34,
11(1)61,
11(1)75,
11(1)158,
11(1)215,
11(1)224
- warrant,
7(1)148
- way,
5(1)24,
5(1)153,
6(1)59,
6(1)169,
6(2)45,
6(3)91,
6(4)26,
7(1)7,
7(1)56,
7(1)129,
7(1)158,
7(1)172,
7(1)187,
7(1)191,
7(1)200,
7(3)77,
8(1)62,
8(1)79,
8(1)212,
8(1)268,
8(1)289,
8(1)307,
8(3)26,
8(3)67,
9(1)26,
9(1)31,
9(1)88,
9(1)93,
9(1)100,
9(1)133,
9(1)145,
9(3)21,
9(4)85,
10(1)179,
10(3)156,
10(4)28,
11(1)75,
11(1)240
- well,
2(3)118,
3(4)19,
4(1)110,
4(1)160,
5(1)21,
5(1)38,
5(1)45,
5(1)83,
5(1)138,
5(1)173,
6(1)97,
6(1)161,
7(1)40,
7(1)123,
7(1)133,
7(1)196,
7(3)30,
7(4)25,
7(4)53,
8(1)35,
8(1)90,
8(1)100,
8(1)179,
8(1)192,
8(1)212,
8(1)275,
8(1)280,
8(1)284,
8(2)11,
8(3)54,
9(1)6,
9(1)22,
9(1)53,
9(1)77,
9(1)119,
9(1)180,
9(3)39,
10(1)97,
10(1)179,
10(1)210,
10(3)27,
10(4)20,
11(1)6,
11(1)54,
11(1)61,
11(1)70,
11(1)75,
11(1)131,
11(1)149,
11(1)182,
11(1)202
- were,
2(3)113,
3(1)12,
3(1)21,
3(3)15,
4(1)110,
4(2)10,
5(1)6,
5(1)32,
5(1)60,
5(1)145,
6(1)11,
6(1)40,
6(1)46,
6(1)133,
6(1)165,
6(1)174,
7(1)1,
7(1)31,
7(1)40,
7(1)68,
7(1)86,
7(1)109,
7(1)124,
7(1)133,
7(1)148,
7(1)196,
7(2)84,
7(3)77,
8(1)11,
8(1)74,
8(1)137,
8(1)247,
8(1)267,
8(1)280,
8(1)289,
8(1)342,
8(3)93,
8(3)129,
8(4)26,
9(1)53,
9(1)85,
9(1)96,
9(1)113,
9(1)119,
9(1)151,
9(3)10,
9(3)63,
9(3)79,
9(4)19,
10(1)32,
10(1)35,
10(1)36,
10(1)183,
10(1)189,
10(1)260,
10(2)17,
10(3)67,
10(3)80,
10(3)156,
11(1)10,
11(1)61,
11(1)113,
11(1)158,
11(1)202,
11(1)215,
11(1)245,
11(2)27