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{Hilburn:1996:IFS,
author = "Thomas B. Hilburn",
title = "Inspections of formal specifications",
journal = j-SIGCSE,
volume = "28",
number = "1",
pages = "150--154",
month = mar,
year = "1996",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/236462.236529",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:32 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "This paper describes a student peer review process
that has been incorporated within an introductory
course in formal methods. As a course project, a team
of students develops a formal specification of the
requirements for a software system. The final part of
the project involves the inspection of the
specification by another team of student reviewers. The
paper presents a rationale for including inspections as
part of a formal methods course. It provides a detailed
description of the inspection process and reports on
the application of the process to a specific class
project. Finally, the paper assesses the results of the
use of such a paradigm and discusses how to improve
it.",
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
- another,
23(2)45,
24(2)59,
24(4)11,
26(1)349,
26(2)2,
27(1)278,
27(1)322,
27(4)27,
28(1)155,
29(1)92,
29(1)126,
30(1)312,
30(1)382,
30(3)153,
31(1)12,
31(1)22,
31(1)232,
31(1)301,
31(1)336,
31(2)37,
31(4)13,
31(4)39
- assess,
26(1)16,
26(1)263,
27(1)248,
29(1)224,
29(3)1,
29(3)51,
29(3)77,
30(1)370,
30(3)90,
30(3)102,
30(3)166,
31(2)69,
31(2)73,
31(2)86,
31(4)79
- description,
22(2)34,
25(2)1,
26(1)300,
26(3)51,
26(4)2,
27(1)228,
27(1)263,
28(z)101,
29(1)277,
29(1)282,
29(3)31,
30(1)166,
30(3)32,
30(3)37,
30(3)310,
31(1)17,
31(1)22,
31(1)100,
31(1)227,
31(3)127,
31(4)35,
31(4)48
- detailed,
22(3)34,
24(3)14,
24(4)43,
25(1)78,
25(3)39,
27(1)39,
28(3)2,
28(4)25,
29(1)6,
29(1)350,
29(2)2,
29(3)77,
29(3)103,
30(1)237,
30(4)5,
31(1)3,
31(3)127,
31(3)211
- develop,
22(2)11,
22(2)52,
22(4)37,
23(4)41,
24(1)57,
24(1)81,
24(1)207,
24(1)230,
25(1)78,
26(1)16,
26(1)46,
26(1)111,
26(1)169,
26(1)263,
26(1)281,
26(2)41,
26(4)2,
26(4)59,
27(1)44,
27(1)126,
27(1)141,
27(1)191,
27(1)292,
27(1)302,
27(3)47,
28(1)14,
28(1)112,
28(1)160,
28(1)266,
28(1)290,
28(3)2,
28(3)29,
29(1)233,
29(1)243,
29(1)350,
29(1)384,
29(1)390,
29(2)39,
29(3)21,
29(3)62,
29(3)120,
29(3)136,
30(1)87,
30(1)92,
30(1)102,
30(1)194,
30(1)341,
30(3)64,
30(3)274,
30(4)5,
31(1)237,
31(1)276,
31(1)311,
31(1)316,
31(2)17,
31(2)73,
31(3)13,
31(3)180
- final,
22(2)30,
22(2)52,
24(1)28,
24(1)67,
24(4)43,
25(1)302,
25(1)310,
25(2)43,
26(2)19,
26(3)56,
27(2)44,
28(1)93,
28(1)195,
28(2)56,
28(3)2,
29(1)58,
29(1)106,
29(1)330,
30(1)10,
30(1)40,
30(3)81,
30(3)157,
30(3)178,
30(3)236,
31(2)65,
31(3)88,
31(4)48
- finally,
22(4)55,
24(3)60,
24(4)35,
26(1)21,
26(1)131,
26(1)208,
26(4)59,
27(1)76,
27(1)173,
27(3)15,
28(1)242,
29(1)1,
29(1)96,
29(1)121,
29(1)277,
30(1)312,
30(1)383,
30(3)90,
30(4)5,
30(4)61,
31(1)146,
31(2)42
- 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)312,
27(1)398,
27(3)53,
27(3)60,
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
- Hilburn, Thomas B.,
25(1)58,
27(1)126,
29(1)277,
30(3)117,
30(3)260,
31(1)346
- improve,
22(2)30,
24(1)34,
24(1)53,
24(1)220,
26(1)16,
26(1)387,
26(2)19,
27(4)13,
28(1)42,
28(1)195,
28(1)353,
28(2)37,
29(2)11,
29(3)21,
29(3)31,
29(4)45,
30(3)108,
30(3)219,
30(3)280,
31(1)189,
31(2)78,
31(3)44,
31(3)99,
31(3)151
- including,
22(1)245,
22(2)11,
24(1)176,
24(1)192,
24(4)1,
26(1)92,
26(1)97,
26(1)349,
26(1)387,
26(3)56,
28(1)112,
28(1)165,
29(1)44,
29(1)96,
29(1)233,
29(1)371,
29(2)31,
29(3)42,
30(1)45,
30(1)82,
30(1)217,
30(1)341,
30(1)365,
30(2)31,
30(2)61,
30(4)18,
31(1)17,
31(1)68,
31(1)237,
31(1)306,
31(2)69,
31(3)139,
31(3)205,
31(3)206
- incorporated,
24(4)49,
25(3)58,
26(1)66,
28(3)17,
30(3)171,
31(1)17,
31(3)115
- inspection,
30(3)199
- involve,
23(2)29,
24(1)220,
24(3)24,
25(2)59,
28(1)195,
28(1)290,
29(1)25,
29(1)44,
29(1)355,
30(1)10,
30(1)45,
30(1)312,
30(1)317,
30(1)341,
30(1)382,
30(3)51,
31(1)136,
31(1)306,
31(3)190,
31(4)13
- part,
22(3)47,
23(2)33,
23(2)51,
24(1)102,
24(1)147,
24(1)246,
24(3)14,
24(3)29,
25(1)78,
25(4)38,
26(1)309,
26(1)324,
26(1)349,
26(2)2,
26(2)19,
26(3)22,
26(3)45,
26(4)29,
26(4)56,
26(4)59,
27(1)24,
27(1)48,
27(1)126,
27(1)331,
27(1)340,
27(2)18,
27(2)31,
27(4)57,
28(1)112,
28(1)160,
28(1)190,
28(1)290,
28(3)2,
28(4)8,
29(1)126,
29(1)248,
29(1)310,
29(2)31,
29(3)54,
29(3)136,
30(1)20,
30(1)87,
30(1)121,
30(1)341,
30(2)11,
30(2)53,
30(3)37,
30(3)153,
30(3)162,
30(3)171,
30(3)206,
30(3)219,
30(3)228,
30(3)236,
30(3)264,
30(4)28,
30(4)42,
31(1)48,
31(1)53,
31(1)68,
31(1)165,
31(1)247,
31(1)266,
31(1)276,
31(1)311,
31(1)316,
31(1)346,
31(2)8,
31(3)187,
31(3)204,
31(4)10,
31(4)13,
31(4)79
- peer,
26(1)309,
26(1)314,
26(4)5,
27(1)186,
28(z)55,
29(1)340,
29(1)373,
31(1)370,
31(4)87
- rationale,
24(3)60,
26(1)111,
27(4)60,
28(2)3,
29(1)287,
31(4)106
- requirement,
22(2)30,
22(4)5,
24(1)113,
26(1)253,
27(1)173,
27(1)209,
27(1)248,
27(1)302,
28(1)102,
28(1)112,
28(1)247,
28(1)378,
28(4)59,
29(1)96,
29(1)310,
30(1)365,
30(1)366,
30(1)370,
30(3)243,
30(3)264,
31(1)22,
31(1)68,
31(3)177,
31(3)182,
31(3)187,
31(3)199,
31(4)13
- review,
22(2)52,
24(1)38,
24(2)7,
25(2)1,
25(3)45,
26(1)314,
26(4)5,
27(1)268,
28(1)130,
28(2)56,
28(z)75,
28(z)230,
29(1)67,
29(1)340,
30(3)98,
30(3)102,
30(3)134,
30(3)203,
30(4)5,
30(4)32,
31(1)17,
31(1)37,
31(1)189,
31(1)370,
31(2)17,
31(2)73,
31(4)4,
31(4)87
- reviewer,
30(2)19,
30(4)5
- specific,
23(2)21,
23(2)33,
23(4)7,
24(1)57,
24(1)197,
24(1)220,
24(3)1,
24(3)14,
25(2)59,
25(4)38,
26(1)71,
26(1)131,
26(1)258,
26(2)9,
27(1)218,
27(1)317,
27(1)350,
27(1)355,
27(4)60,
28(1)237,
28(4)8,
29(1)10,
29(1)15,
29(1)101,
29(1)106,
29(1)204,
29(1)224,
29(1)310,
29(1)371,
30(1)365,
30(3)74,
30(3)239,
30(4)61,
31(1)17,
31(1)87,
31(3)186
- 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,
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
- team,
22(1)44,
22(1)265,
24(1)28,
24(1)81,
24(1)138,
24(1)240,
26(1)41,
26(1)111,
26(1)169,
26(1)314,
26(1)397,
27(1)126,
27(1)141,
27(1)146,
27(1)218,
27(1)402,
28(1)88,
28(1)266,
28(z)232,
29(1)189,
29(1)306,
29(1)390,
29(3)51,
29(3)54,
29(3)103,
30(1)30,
30(3)81,
30(3)306,
31(1)184,
31(1)208,
31(1)281,
31(1)356,
31(3)186,
31(3)201