Last update: Wed Sep 26 02:07:32 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{TenEyck:1998:SAD,
author = "James {Ten Eyck} and G. Sampath and Richard
Goldstone",
title = "Specification of an algorithm design system",
journal = j-SIGCSE,
volume = "30",
number = "3",
pages = "232--235",
month = sep,
year = "1998",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/290320.283552",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 16:56:32 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "This paper describes an Internet based system for
studying the design of algorithms and the structure of
mathematical proofs. The Algorithm Design System
consists of a framework for the construction and
maintenance of the learning environment by a
distributed group of contributors, and a set of web
pages, produced by the contributors, that form the
learning environment used by students of algorithm
analysis and design. The framework of the system that
we describe allows for the material used by students to
grow dynamically in a distributed environment and
provides constraints to ensure the uniformity of form
and quality of content of the end product. The paper
discusses both the architecture of the system and the
content of the pages that it produces.",
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
- allow,
23(2)51,
23(3)36,
23(4)41,
23(4)51,
24(1)163,
24(1)192,
24(1)207,
24(1)286,
26(1)46,
26(1)160,
26(1)183,
26(1)193,
26(1)198,
26(3)45,
27(1)19,
27(1)39,
27(1)61,
27(1)66,
27(1)146,
27(1)278,
27(2)31,
27(4)51,
28(1)107,
28(1)112,
28(2)31,
28(2)40,
28(3)2,
29(1)77,
29(2)35,
29(3)31,
29(3)45,
30(1)1,
30(1)45,
30(1)53,
30(1)102,
30(1)145,
30(1)176,
30(1)267,
30(1)272,
30(1)277,
30(1)297,
30(1)341,
30(1)370,
30(3)86,
30(3)175,
30(3)199,
30(3)203,
30(3)295,
30(3)310,
30(4)46,
31(1)68,
31(1)286,
31(1)301,
31(1)336,
31(2)48,
31(2)65,
31(3)29,
31(3)99,
31(3)139,
31(3)151,
31(3)209
- architecture,
22(2)5,
22(3)39,
23(2)29,
24(1)163,
24(1)168,
24(1)286,
24(2)7,
24(3)57,
24(4)27,
25(1)151,
25(2)19,
25(2)38,
26(1)183,
26(1)243,
26(1)349,
26(1)399,
26(3)45,
26(4)9,
26(4)59,
27(1)19,
27(1)71,
27(1)141,
28(1)14,
28(1)47,
28(1)290,
28(1)329,
28(z)33,
29(1)126,
29(1)229,
29(1)253,
29(1)267,
29(3)42,
29(3)71,
29(4)45,
30(1)370,
31(2)62,
31(3)99,
31(3)196,
31(3)208,
31(4)19
- consist,
22(4)5,
25(2)59,
27(1)178,
28(1)47,
28(1)175,
28(1)300,
28(3)9,
29(3)1,
30(3)37,
30(3)310,
31(1)105,
31(1)296,
31(3)88,
31(3)206
- constraint,
22(2)52,
22(3)25,
24(4)15,
27(2)7,
28(1)363,
28(2)49,
29(3)59,
30(1)97,
31(1)100,
31(1)155,
31(1)232,
31(4)56,
31(4)87
- construction,
22(3)2,
24(1)138,
25(1)151,
25(4)61,
26(1)339,
26(1)349,
27(1)263,
27(1)345,
28(3)60,
29(1)179,
29(1)248,
29(3)130,
30(1)341,
30(3)162,
31(1)87,
31(1)105,
31(1)110,
31(3)17
- content,
22(2)34,
22(4)5,
24(1)5,
24(1)87,
24(1)255,
24(4)43,
25(2)31,
26(1)36,
26(1)150,
26(1)160,
26(3)58,
26(4)5,
27(1)39,
27(1)273,
27(4)43,
28(1)73,
28(1)88,
28(1)93,
28(1)160,
28(2)49,
28(2)56,
28(3)12,
28(4)25,
28(4)55,
29(1)101,
29(1)111,
29(1)320,
29(1)325,
29(3)42,
29(3)114,
29(3)136,
29(4)58,
30(1)58,
30(1)87,
30(1)107,
30(1)166,
30(1)302,
30(1)370,
30(2)28,
30(2)61,
30(3)25,
30(3)32,
30(3)117,
30(3)228,
30(3)249,
30(3)254,
31(1)237,
31(2)42,
31(2)55,
31(2)86,
31(3)107,
31(3)127,
31(4)48
- distributed,
22(1)94,
22(1)176,
23(1)246,
23(4)13,
24(1)38,
24(2)35,
25(1)247,
26(1)76,
26(4)17,
27(1)71,
27(1)82,
28(1)14,
28(1)63,
28(1)214,
28(1)333,
28(z)229,
29(1)63,
29(1)219,
29(1)371,
29(2)54,
29(3)51,
29(3)62,
30(1)20,
30(1)217,
30(3)86,
30(3)286,
30(4)18,
31(1)68,
31(2)62,
31(3)13,
31(3)91,
31(3)103,
31(3)206,
31(4)121
- dynamically,
28(3)26,
29(3)24,
30(1)302,
30(3)69,
30(3)254
- end,
24(1)63,
24(1)304,
24(2)7,
25(4)2,
27(1)159,
28(1)78,
29(1)238,
30(1)25,
30(1)92,
30(1)126,
30(3)125,
30(3)223,
31(1)184,
31(1)247,
31(4)35
- ensure,
26(1)169,
27(1)48,
27(1)292,
29(1)111,
29(1)233,
30(1)25,
30(1)45,
30(3)90,
31(1)296
- form,
23(4)27,
24(1)19,
24(1)102,
24(1)286,
26(1)238,
26(1)300,
26(1)366,
27(1)19,
27(1)350,
27(2)41,
28(1)112,
28(1)195,
29(1)15,
29(1)20,
29(1)126,
29(1)229,
29(1)340,
29(1)345,
29(1)390,
29(3)6,
29(3)27,
29(3)71,
29(3)94,
29(3)111,
29(4)38,
29(4)54,
30(1)35,
30(1)117,
30(1)222,
30(1)297,
30(1)382,
30(1)383,
30(3)37,
30(3)51,
30(3)81,
30(3)98,
30(3)153,
30(3)162,
30(3)178,
30(3)206,
30(3)254,
30(4)51,
31(1)336,
31(2)17,
31(3)111,
31(3)135,
31(3)167,
31(3)180,
31(3)208,
31(4)87
- framework,
23(1)119,
24(2)2,
26(1)16,
26(1)36,
26(1)41,
26(1)198,
27(1)253,
28(1)290,
28(1)358,
28(z)116,
29(1)1,
29(1)39,
29(1)53,
29(1)360,
29(4)54,
30(1)6,
30(1)48,
30(1)87,
30(1)153,
30(3)5,
30(3)64,
30(3)105,
30(3)122,
30(3)295,
31(1)95,
31(1)217,
31(1)271,
31(2)73,
31(2)86,
31(3)17,
31(3)171,
31(4)66
- grow,
24(3)11,
28(2)25,
31(1)341
- internet,
23(2)51,
23(4)51,
25(1)48,
28(1)107,
28(1)280,
28(2)62,
28(z)81,
28(z)96,
28(z)101,
28(z)107,
28(z)147,
28(z)218,
28(z)230,
29(1)20,
29(1)96,
29(2)31,
29(3)1,
29(3)31,
29(3)111,
29(4)51,
30(1)68,
30(1)145,
30(1)302,
30(3)18,
30(3)46,
30(3)130,
30(3)171,
30(3)209,
30(3)269,
30(3)270,
30(3)275,
30(4)61,
31(1)12,
31(1)165,
31(3)179,
31(3)193,
31(3)196,
31(3)204,
31(3)206,
31(3)207,
31(4)79
- maintenance,
26(1)66,
27(4)57,
28(1)214,
28(1)280,
30(4)59,
31(3)163
- mathematical,
22(1)22,
25(1)20,
25(1)78,
25(4)5,
26(1)290,
27(1)199,
27(1)263,
27(1)355,
28(z)231,
29(1)238,
29(1)258,
29(4)57,
30(1)77,
30(1)97,
30(1)202,
30(1)252,
30(1)350,
30(1)365,
30(3)130,
31(1)110,
31(2)28,
31(3)175,
31(4)32,
31(4)35
- page,
22(3)7,
28(z)90,
28(z)101,
29(1)53,
29(3)62,
30(1)1,
30(1)267,
30(1)302,
30(3)69,
30(3)310,
31(1)227,
31(3)185,
31(3)193
- produce,
23(3)31,
23(3)57,
23(4)23,
24(1)197,
24(1)230,
24(1)304,
26(2)19,
27(1)248,
28(1)160,
28(1)358,
29(1)310,
29(1)320,
29(1)355,
30(1)171,
30(3)55,
30(3)105,
31(1)31,
31(1)100,
31(1)247,
31(2)48
- produced,
24(1)192,
25(3)52,
26(1)150,
28(1)214,
28(1)358,
29(1)48,
29(1)345,
29(2)17,
30(1)97,
31(3)131,
31(3)159,
31(4)61
- product,
24(1)220,
26(1)349,
27(1)56,
28(1)214,
28(2)21,
29(1)58,
29(1)121,
29(1)126,
29(1)310,
29(3)51,
29(3)133,
30(1)126,
31(1)31,
31(3)60,
31(3)159,
31(3)163,
31(3)199,
31(3)206,
31(4)101
- proof,
27(1)307,
27(3)53,
29(1)258,
30(1)207,
31(1)53,
31(1)110,
31(1)336
- quality,
22(2)59,
23(3)57,
24(1)304,
24(2)29,
25(2)29,
26(1)145,
26(1)309,
27(2)44,
28(4)59,
28(z)133,
29(1)58,
29(1)277,
29(1)330,
29(1)340,
29(1)371,
29(2)31,
29(3)21,
29(3)31,
29(3)51,
29(3)94,
30(1)345,
30(3)98,
30(3)311,
30(4)5,
31(1)78,
31(1)122,
31(1)370,
31(3)60,
31(3)68,
31(3)111,
31(3)182,
31(3)199,
31(3)205,
31(4)79,
31(4)87
- set,
22(4)37,
24(1)92,
24(1)142,
24(1)163,
24(1)197,
24(1)202,
24(1)230,
24(1)299,
24(2)55,
24(3)53,
24(4)11,
24(4)27,
25(2)51,
26(1)160,
26(1)203,
26(1)208,
26(1)319,
26(4)59,
27(1)19,
27(1)56,
27(1)76,
27(1)146,
27(1)204,
27(1)214,
27(1)248,
27(1)297,
27(1)345,
27(3)39,
27(3)47,
27(3)50,
28(1)4,
28(1)47,
28(1)53,
28(1)242,
28(1)300,
28(1)358,
28(2)43,
29(1)53,
29(1)150,
29(1)243,
29(1)258,
29(1)310,
29(1)360,
29(3)57,
29(3)100,
29(4)45,
29(4)57,
30(1)20,
30(1)25,
30(1)87,
30(1)121,
30(1)166,
30(1)185,
30(3)18,
30(3)117,
30(3)139,
30(3)213,
30(3)243,
30(3)254,
30(3)260,
30(3)310,
30(4)5,
30(4)46,
31(1)48,
31(1)266,
31(1)316,
31(2)17,
31(2)73,
31(2)84,
31(3)99,
31(3)103,
31(3)107,
31(3)131,
31(3)155,
31(3)159,
31(3)163,
31(3)200,
31(3)206
- specification,
23(1)25,
23(3)36,
24(1)207,
25(1)189,
26(1)21,
26(1)111,
26(1)300,
26(3)22,
27(1)24,
27(1)228,
27(1)307,
27(1)312,
27(3)53,
28(1)150,
29(1)310,
29(1)315,
29(1)396,
29(4)38,
30(1)6,
30(1)166,
30(3)37,
30(3)55,
31(1)68,
31(1)100,
31(1)184,
31(3)68,
31(4)70
- studying,
22(1)206,
23(1)162,
24(2)35,
24(4)15,
26(1)71,
26(1)83,
26(1)290,
26(3)17,
27(1)1,
27(3)15,
28(1)73,
28(z)233,
29(1)106,
29(1)272,
30(1)341,
30(3)94,
30(3)185,
30(3)302,
31(3)151,
31(3)209,
31(4)42