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{Dean:1995:IFM,
author = "Neville Dean and Michael G. Hinchey",
title = "Introducing Formal Methods through
{R}{\^o}le-Playing",
journal = j-SIGCSE,
volume = "27",
number = "1",
pages = "302--306",
month = mar,
year = "1995",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/199691.199831;
https://doi.org/10.1145/199688.199831;
http://www.cl.cam.ac.uk/users/mgh1001/EDUCATION/sigcse95.ps",
ISBN = "0-89791-693-X",
ISBN-13 = "978-0-89791-693-6",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:28 MST 2012",
bibsource = "DBLP;
http://dblp.uni-trier.de/db/conf/sigcse/sigcse1995.html#DeanH95;
http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
URL = "ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Misc/DBLP/1995.bib;
ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/SE/Z.bib",
abstract = "By acting as a client, the instructor in a formal
methods course can interact with students to develop
general attitudes and skills, particularly modeling
skills. The students learn to appreciate that formal
methods comprise a range of tools and ideas which can
greatly enhance software development at all stages,
especially in requirements capture. A realistic case
study is used which does not depend on an
over-simplified file processing system.",
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",
location = "Nashville, Tennessee, USA, March 1995",
}
Related entries
- 0-89791-693-X,
0(0)0,
27(1)71,
27(1)209,
27(1)307,
27(1)350
- 978-0-89791-693-6,
0(0)0,
27(1)71,
27(1)209,
27(1)307,
27(1)350
- acting,
30(1)92,
30(3)175
- appreciate,
24(1)176,
24(1)181,
25(4)33,
28(1)348,
30(1)365,
30(3)228,
31(3)13
- attitude,
24(1)34,
24(1)72,
26(1)258,
26(1)263,
26(1)304,
27(3)53,
28(1)42,
28(1)93,
29(3)1,
30(3)25,
31(1)217,
31(3)13,
31(3)64
- capture,
30(1)58
- case,
22(1)181,
22(3)21,
23(1)108,
23(1)240,
23(1)254,
23(2)60,
23(3)5,
23(4)51,
24(1)97,
24(1)107,
24(1)129,
24(1)220,
24(2)20,
24(3)1,
25(2)57,
26(1)228,
26(1)238,
26(1)371,
26(2)61,
26(3)56,
27(1)19,
27(1)102,
27(1)141,
27(1)178,
27(1)374,
27(2)18,
28(1)319,
28(2)3,
28(2)21,
28(3)55,
28(4)50,
29(1)10,
29(1)82,
29(1)154,
29(1)209,
29(1)330,
29(3)77,
30(1)20,
30(1)25,
30(1)48,
30(1)383,
30(3)125,
30(3)139,
30(3)290,
31(1)78,
31(2)48,
31(2)65,
31(3)17,
31(3)52,
31(3)167,
31(3)180,
31(3)190
- client,
24(1)246,
29(1)306,
30(1)45,
31(1)73,
31(1)136,
31(1)150,
31(3)189,
31(3)206,
31(4)48
- depend,
28(4)8,
30(1)302,
31(2)48
- 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(3)47,
28(1)14,
28(1)112,
28(1)150,
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
- do,
22(4)55,
24(1)15,
24(2)59,
25(2)1,
25(2)31,
26(1)145,
27(1)146,
27(1)214,
27(1)340,
29(3)1,
29(3)130,
29(4)30,
29(4)38,
30(1)126,
30(1)302,
30(1)355,
30(3)290,
30(4)51,
30(4)62,
31(1)146,
31(2)60,
31(4)70,
31(4)79
- enhance,
22(4)37,
25(2)19,
26(1)145,
26(1)387,
27(1)44,
27(1)126,
27(1)195,
27(1)273,
28(1)160,
28(1)165,
28(1)195,
28(1)204,
29(1)150,
29(3)65,
29(4)38,
30(1)1,
30(1)25,
30(1)317,
30(3)37,
30(3)94,
30(3)185,
31(1)114,
31(1)170,
31(1)291,
31(1)311,
31(3)201
- especially,
23(4)51,
25(1)78,
26(1)102,
27(1)44,
29(1)306,
29(3)24,
29(3)45,
29(3)117,
30(1)153,
30(1)227,
30(1)262,
30(3)81,
30(3)189,
31(1)346,
31(3)9,
31(3)17
- file,
22(3)34,
23(4)51,
23(4)58,
24(1)5,
26(1)203,
27(1)146,
28(1)333,
29(1)267,
29(4)54,
30(1)267,
30(1)302,
31(3)139,
31(3)163
- 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)307,
27(1)312,
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
- general,
22(2)15,
22(2)59,
22(3)7,
23(1)87,
23(2)60,
23(4)13,
24(1)57,
26(1)41,
26(4)21,
26(4)25,
26(4)59,
27(1)53,
27(1)61,
27(1)248,
27(1)350,
27(3)60,
28(1)73,
28(1)378,
28(2)21,
28(3)51,
29(1)35,
29(1)48,
29(1)96,
29(1)243,
29(1)258,
29(1)371,
29(3)27,
29(3)40,
29(3)51,
29(3)57,
29(3)62,
29(3)120,
30(1)58,
30(1)68,
30(1)87,
30(1)97,
30(1)185,
30(1)302,
30(1)365,
30(1)370,
30(2)20,
30(3)148,
30(3)243,
30(3)303,
30(4)39,
30(4)46,
31(1)37,
31(1)146,
31(1)179,
31(3)60,
31(4)66,
31(4)70
- greatly,
23(4)51,
27(1)44,
29(1)92,
30(1)107,
30(1)277,
30(3)199,
30(3)206,
31(1)341,
31(3)171
- idea,
22(4)37,
24(1)63,
24(3)53,
25(4)2,
26(1)21,
26(1)26,
26(1)183,
26(1)193,
26(1)329,
26(2)19,
26(3)29,
27(1)199,
27(1)307,
27(1)360,
27(2)18,
27(2)49,
27(3)50,
27(4)9,
28(1)117,
28(1)378,
28(2)49,
29(1)116,
29(1)238,
29(1)258,
29(1)345,
29(1)371,
29(1)384,
29(2)17,
29(2)35,
29(3)136,
29(4)38,
30(1)1,
30(1)6,
30(1)25,
30(1)121,
30(1)166,
30(1)176,
30(1)207,
30(3)21,
30(3)125,
30(3)310,
30(4)39,
31(1)53,
31(1)78,
31(1)184,
31(1)286,
31(1)360,
31(2)17,
31(2)65,
31(2)73,
31(3)103,
31(3)135,
31(3)147,
31(3)155,
31(4)35,
31(4)52
- instructor,
24(1)87,
24(1)134,
24(1)147,
24(1)163,
24(1)197,
24(3)57,
26(1)16,
26(1)31,
26(1)46,
26(1)102,
26(1)160,
26(1)198,
26(1)344,
27(1)146,
27(1)273,
27(1)292,
27(1)297,
27(2)41,
27(3)21,
27(3)50,
28(1)145,
28(1)175,
28(1)300,
28(2)25,
28(2)37,
29(1)194,
29(1)214,
29(1)340,
29(2)11,
29(3)1,
29(3)8,
29(3)31,
29(3)40,
29(3)42,
29(3)94,
29(4)34,
29(4)54,
30(1)35,
30(1)58,
30(1)97,
30(1)131,
30(1)145,
30(1)312,
30(1)365,
30(1)383,
30(3)130,
30(3)193,
30(3)203,
31(1)78,
31(1)136,
31(2)48,
31(3)1,
31(3)40,
31(3)167,
31(4)87,
31(4)106
- interact,
29(1)39,
29(1)150,
29(1)272,
30(1)53,
31(1)73,
31(1)336,
31(2)73
- introducing,
22(1)255,
22(3)7,
22(3)39,
23(1)1,
23(1)73,
24(1)147,
24(1)187,
24(1)202,
24(3)19,
24(4)43,
26(1)88,
26(1)92,
26(1)324,
26(1)353,
27(1)340,
28(1)338,
28(1)343,
28(3)9,
29(1)258,
29(1)277,
29(1)320,
29(1)360,
29(2)23,
29(3)77,
29(4)58,
30(1)6,
30(1)194,
30(1)302,
30(3)219,
30(4)51,
31(1)114,
31(1)242,
31(1)247,
31(1)316,
31(3)186,
31(3)203
- learn,
23(3)17,
24(1)147,
24(1)176,
24(1)286,
24(3)60,
26(1)169,
26(1)300,
26(1)309,
26(1)314,
26(2)9,
26(2)52,
26(4)5,
26(4)25,
27(1)1,
27(1)6,
27(1)199,
27(1)287,
27(2)7,
28(1)47,
28(1)295,
28(2)3,
28(3)23,
29(1)20,
29(1)25,
29(1)39,
29(1)63,
29(1)121,
29(1)315,
29(1)390,
29(3)54,
29(3)71,
30(1)6,
30(1)126,
30(1)194,
30(1)282,
30(1)312,
30(1)341,
30(1)383,
30(2)48,
30(3)21,
30(3)51,
30(3)98,
30(3)307,
31(1)68,
31(1)160,
31(1)184,
31(3)1,
31(3)56,
31(3)167,
31(3)207,
31(4)4,
31(4)42,
31(4)50
- modeling,
22(2)34,
24(1)192,
24(1)202,
26(1)409,
27(1)336,
28(1)368,
28(2)62,
29(2)54,
30(1)161,
30(1)252,
31(1)286,
31(2)78,
31(3)180,
31(4)35,
31(4)66
- particularly,
23(3)31,
26(1)92,
26(1)198,
28(1)4,
28(1)300,
28(1)319,
28(4)8,
29(1)1,
29(1)6,
29(1)131,
29(1)164,
30(1)378,
30(1)383,
30(3)125,
30(3)209,
31(3)75
- processing,
22(1)167,
22(4)5,
23(1)97,
23(2)29,
23(2)45,
24(1)38,
24(1)197,
25(1)298,
25(3)26,
26(1)353,
27(1)71,
27(1)136,
27(1)355,
28(1)363,
28(3)9,
28(z)159,
28(z)234,
29(4)30,
30(1)20,
30(1)190,
30(1)194,
30(1)217,
30(1)297,
30(1)312,
30(3)171,
30(3)206,
30(3)292,
31(1)252,
31(2)17
- range,
23(4)31,
24(1)197,
26(1)164,
26(4)59,
27(1)331,
27(1)350,
28(1)165,
28(1)373,
29(1)150,
29(1)204,
29(1)243,
29(1)335,
29(1)371,
30(1)277,
30(1)312,
30(1)341,
30(1)366,
30(3)86,
30(3)148,
30(3)171,
30(3)264,
31(1)316,
31(3)119,
31(3)167,
31(3)200,
31(3)207,
31(4)66,
31(4)70
- realistic,
24(1)259,
26(1)349,
28(1)107,
29(1)306,
30(1)40,
30(1)48,
30(1)73,
30(1)365,
30(3)175,
31(3)200
- requirement,
22(2)30,
22(4)5,
24(1)113,
26(1)253,
27(1)173,
27(1)209,
27(1)248,
28(1)102,
28(1)112,
28(1)150,
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
- stage,
24(3)14,
25(4)2,
26(1)106,
26(1)169,
26(2)5,
26(3)22,
27(3)47,
28(1)256,
29(1)131,
29(1)320,
29(3)114,
30(3)64,
30(3)98,
31(1)247,
31(2)17,
31(3)84,
31(3)127,
31(4)13
- through,
22(1)89,
22(2)59,
23(2)9,
23(2)33,
24(1)28,
24(1)202,
24(1)235,
24(2)7,
24(2)29,
26(1)150,
26(1)198,
26(1)208,
26(1)281,
26(1)300,
26(1)309,
26(1)329,
26(4)5,
26(4)9,
27(1)146,
27(1)191,
27(1)199,
27(1)248,
27(1)253,
27(1)307,
27(1)331,
27(1)350,
27(2)7,
27(3)47,
28(1)88,
28(1)195,
28(1)200,
28(1)256,
28(1)295,
28(1)319,
28(1)343,
28(3)2,
28(4)59,
28(z)136,
29(1)53,
29(1)67,
29(1)106,
29(1)121,
29(1)184,
29(1)209,
29(1)345,
29(2)17,
29(3)8,
29(3)94,
29(4)30,
30(1)48,
30(1)53,
30(1)92,
30(1)145,
30(1)153,
30(1)222,
30(1)227,
30(1)267,
30(1)312,
30(1)341,
30(1)350,
30(3)51,
30(3)94,
30(3)199,
30(3)219,
30(3)236,
30(3)254,
30(3)264,
30(3)295,
31(1)63,
31(1)105,
31(1)252,
31(1)286,
31(1)311,
31(1)331,
31(1)359,
31(2)73,
31(2)86,
31(3)48,
31(3)68,
31(3)119,
31(3)131,
31(3)198,
31(3)200,
31(3)201,
31(4)24,
31(4)61