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{Gamble:1995:IFS,
author = "R. F. Gamble",
title = "Integrating a formal specification course with a
software projects course via an editing tool",
journal = j-SIGCSE,
volume = "27",
number = "1",
pages = "312--316",
month = mar,
year = "1995",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/199691.199836",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:28 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "This paper reports on a two-course sequence for
undergraduate students that provides them with an
intensive course in formal specification methods and a
traditional software design course. The specification
course provides an appreciation for the use of rigorous
specification methods within the software lifecycle.
The manual nature of developing a formal specification
provides the appropriate justification for the projects
in the software design course in which the students
create useful tools to aid the development of a formal
specification. Within the project course, the students
developed the first prototype of a graphical editor for
building Z specifications. We discuss the building of
the editing tool and its integration into the software
engineering curriculum.",
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
- aid,
22(2)52,
23(3)36,
24(1)87,
24(2)7,
25(4)9,
26(1)169,
26(1)281,
26(3)22,
26(3)51,
27(1)297,
27(3)21,
28(1)175,
29(1)25,
29(1)315,
29(3)8,
29(3)24,
29(3)111,
29(3)120,
29(4)38,
30(1)262,
30(3)302,
30(4)37,
31(1)232,
31(3)193,
31(3)209
- appreciation,
28(4)55,
30(1)68,
30(1)232
- appropriate,
22(2)59,
22(3)7,
23(2)24,
23(2)60,
23(4)41,
24(2)59,
24(4)15,
25(4)21,
26(1)160,
26(4)25,
27(1)173,
27(2)49,
27(4)21,
27(4)51,
28(2)40,
28(z)81,
29(2)11,
29(2)17,
29(3)144,
30(1)45,
30(1)112,
30(1)117,
30(1)126,
30(1)166,
30(1)194,
30(1)252,
30(1)297,
30(1)341,
30(1)365,
30(1)370,
30(4)5,
31(1)232,
31(2)65,
31(2)86,
31(3)48,
31(3)84,
31(4)87,
31(4)106
- building,
22(3)39,
23(2)9,
23(3)7,
24(1)34,
24(1)192,
24(1)207,
24(2)20,
25(4)21,
26(1)102,
27(1)82,
28(1)353,
28(2)31,
29(1)189,
29(1)345,
29(3)51,
29(3)57,
30(1)48,
30(1)92,
30(1)194,
30(1)232,
30(1)341,
30(1)382,
30(1)384,
30(3)5,
30(3)181,
30(3)286,
31(1)48,
31(1)58,
31(1)306,
31(3)84,
31(3)103,
31(3)147,
31(3)159,
31(3)187,
31(3)188,
31(3)196,
31(3)201,
31(3)204
- course, two-,
22(4)5
- create,
22(1)152,
22(2)42,
24(1)76,
24(1)304,
25(2)59,
26(1)198,
26(2)19,
26(4)17,
27(1)297,
29(1)150,
29(1)340,
29(3)31,
29(3)54,
29(3)74,
29(4)34,
29(4)45,
29(4)58,
30(1)92,
30(1)262,
30(1)287,
30(1)341,
30(3)5,
30(3)77,
30(3)308,
30(4)46,
31(1)43,
31(1)286,
31(2)73,
31(3)71,
31(3)99,
31(3)206
- developing,
22(2)52,
22(3)39,
23(4)41,
24(1)81,
24(1)197,
24(1)235,
24(1)240,
24(3)1,
24(3)51,
25(1)279,
25(3)26,
26(1)198,
26(1)268,
26(1)276,
26(1)366,
27(1)141,
27(1)159,
27(1)292,
27(1)345,
28(1)47,
28(1)195,
28(1)290,
28(2)3,
28(3)2,
28(4)15,
29(1)67,
29(1)72,
29(1)189,
29(1)287,
29(1)340,
29(1)371,
29(1)390,
29(1)396,
29(2)11,
29(2)23,
29(3)120,
30(1)1,
30(1)107,
30(1)302,
30(3)64,
30(3)105,
30(4)5,
31(1)68,
31(1)136,
31(1)301,
31(1)370,
31(2)48,
31(3)9,
31(3)29,
31(3)44,
31(3)84,
31(3)91,
31(3)189,
31(3)196,
31(3)206,
31(4)10
- editing,
22(1)267,
26(1)193,
28(1)300,
29(3)40,
31(3)196
- editor,
23(4)51,
24(1)207,
24(1)286,
24(4)49,
25(2)51,
27(1)292,
30(1)237,
31(3)91
- formal,
22(4)37,
23(1)162,
23(3)11,
23(4)41,
24(1)15,
24(1)102,
24(1)207,
26(1)21,
26(1)71,
26(1)121,
26(1)145,
26(1)300,
27(1)141,
27(1)214,
27(1)228,
27(1)248,
27(1)302,
27(1)307,
27(1)398,
27(3)53,
27(3)60,
28(1)150,
28(1)155,
28(1)160,
28(1)266,
28(1)271,
29(1)15,
29(1)67,
29(1)92,
29(1)126,
29(1)253,
29(1)396,
30(1)6,
30(1)166,
30(1)341,
30(1)350,
30(2)31,
30(4)5,
31(1)100,
31(1)331,
31(1)341,
31(1)350,
31(1)351,
31(1)370,
31(2)37,
31(3)52
- graphical,
22(1)12,
24(1)24,
24(1)157,
26(1)46,
26(1)83,
26(1)203,
26(1)366,
27(1)82,
27(1)163,
27(1)199,
27(1)345,
28(1)145,
28(z)36,
29(1)20,
29(1)126,
29(1)335,
29(3)59,
30(1)102,
30(1)237,
30(1)277,
30(1)317,
30(3)181,
31(1)100,
31(1)105,
31(1)271,
31(2)65,
31(3)131,
31(3)196
- integrating,
22(1)268,
22(2)11,
23(1)184,
23(1)205,
24(1)38,
24(4)35,
25(1)198,
25(2)29,
26(1)6,
26(1)21,
26(1)223,
26(1)407,
27(1)131,
27(1)186,
27(1)214,
28(1)19,
28(1)237,
28(1)271,
28(z)72,
28(z)93,
28(z)101,
28(z)107,
28(z)125,
28(z)130,
28(z)229,
28(z)230,
29(1)121,
29(1)233,
29(2)11,
29(2)39,
29(3)42,
30(1)140,
30(1)378,
30(3)105,
30(3)209,
30(3)264,
31(1)132,
31(4)56,
31(4)106
- integration,
23(3)11,
24(1)281,
24(4)35,
25(1)78,
25(2)29,
26(1)6,
26(1)76,
26(1)198,
27(1)126,
27(1)186,
27(1)209,
27(1)364,
28(1)155,
28(1)237,
29(1)360,
29(3)21,
29(3)51,
29(3)65,
30(1)121,
30(1)365,
30(3)153,
30(3)311,
31(1)37,
31(1)160,
31(1)296,
31(1)345,
31(4)10,
31(4)13,
31(4)79,
31(4)121
- intensive,
26(1)319,
26(2)41,
28(1)363,
30(3)203
- justification,
26(1)71
- lifecycle,
27(4)57
- manual,
23(4)53,
26(1)198,
28(z)8,
30(3)134
- nature,
23(2)39,
23(2)45,
24(1)197,
24(3)24,
26(1)41,
26(1)150,
26(1)258,
26(2)2,
26(2)52,
27(1)355,
27(3)50,
28(1)217,
28(1)363,
28(3)55,
29(1)20,
29(1)219,
29(1)243,
29(3)85,
29(3)94,
29(4)25,
30(3)74,
30(3)219,
30(4)46,
31(1)31,
31(1)127,
31(1)296,
31(3)48,
31(3)127,
31(4)56
- prototype,
24(1)81,
24(1)246,
24(2)7,
26(1)188,
26(1)193,
27(1)204,
27(3)39,
27(4)54,
28(1)358,
29(1)179,
29(1)340,
29(3)120,
30(1)126,
31(1)261,
31(3)29,
31(3)135,
31(3)206
- rigorous,
27(1)214,
27(1)307,
29(1)282
- sequence,
22(3)7,
22(4)5,
24(1)15,
24(1)168,
24(1)197,
24(2)7,
24(4)49,
25(2)57,
25(4)13,
26(1)46,
26(1)71,
26(1)106,
26(1)164,
26(1)290,
26(1)300,
27(1)186,
28(1)53,
28(1)295,
28(3)60,
29(1)53,
29(1)145,
29(1)243,
29(1)262,
29(2)46,
29(3)37,
29(3)59,
30(1)73,
30(1)176,
30(1)277,
30(1)326,
30(1)383,
30(3)181,
31(1)83,
31(1)141,
31(2)60,
31(2)78,
31(2)86,
31(3)131,
31(3)180,
31(4)35
- 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(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,
30(3)232,
31(1)68,
31(1)100,
31(1)184,
31(3)68,
31(4)70
- traditional,
22(4)37,
23(4)23,
24(1)15,
24(1)28,
24(1)202,
24(1)230,
24(1)255,
24(4)49,
25(4)5,
25(4)33,
26(1)6,
26(1)213,
26(1)233,
26(1)290,
26(1)329,
26(1)339,
27(1)154,
27(1)159,
27(1)178,
27(1)214,
27(1)268,
27(1)307,
27(1)350,
27(1)355,
27(3)50,
27(4)21,
27(4)57,
28(1)19,
28(1)93,
28(1)353,
28(3)12,
28(3)45,
29(1)44,
29(1)63,
29(1)101,
29(1)145,
29(1)253,
29(1)355,
29(1)390,
29(2)39,
29(3)80,
29(3)91,
29(3)111,
29(3)130,
30(1)1,
30(1)25,
30(1)117,
30(1)126,
30(1)145,
30(1)365,
30(3)18,
30(3)81,
30(3)125,
30(3)178,
30(3)193,
30(3)203,
30(3)279,
30(4)18,
31(1)12,
31(1)53,
31(1)105,
31(1)110,
31(1)114,
31(1)119,
31(1)132,
31(1)136,
31(1)146,
31(1)212,
31(2)81,
31(3)88,
31(3)119,
31(3)147,
31(3)207,
31(4)61,
31(4)79,
31(4)87
- two-course,
22(4)5
- useful,
22(2)2,
22(3)45,
23(2)51,
24(1)57,
24(1)142,
24(1)264,
24(3)35,
25(2)19,
26(1)6,
26(1)198,
26(1)203,
26(4)59,
27(1)39,
27(1)273,
27(1)292,
27(2)49,
27(3)39,
28(1)4,
28(1)37,
28(1)93,
28(1)107,
28(1)266,
28(2)25,
28(2)37,
29(2)17,
29(3)24,
30(1)53,
30(1)87,
30(1)102,
30(1)166,
30(1)222,
30(1)227,
30(1)312,
30(1)383,
31(1)78,
31(1)266,
31(1)281,
31(3)44,
31(3)52,
31(4)13
- Z,
29(1)396,
30(1)166