Entry Gallimore:1989:UOL from compj.bib
Last update: Sun Nov 30 02:31:30 MST 2003
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{Gallimore:1989:UOL,
author = "R. M. Gallimore and D. Coleman and V. Stavridou",
title = "{UMIST} {OBJ}: a language for executable program
specifications",
journal = j-COMP-J,
volume = "32",
number = "5",
pages = "413--421",
month = oct,
year = "1989",
CODEN = "CMPJA6",
ISSN = "0010-4620",
bibdate = "Tue Mar 25 13:51:56 MST 1997",
bibsource = "http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/413.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/414.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/415.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/416.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/417.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/418.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/419.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/420.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/421.tif",
acknowledgement = ack-nhfb,
affiliation = "Hewlett-Packard Labs, Bristol, UK",
classcodes = "C6110B (Software engineering techniques); C6140D (High
level languages)",
classification = "C6110B (Software engineering techniques); C6140D
(High level languages)",
corpsource = "Hewlett-Packard Labs, Bristol, UK",
keywords = "Abstract data types; abstract data types; Abstract
designs; abstract designs; algebraic; Algebraic
specification language; Associated problem domain;
associated problem domain; Behaviour; behaviour;
Computer programs; computer programs; Executable
program specifications; executable program
specifications; formal; Formal notations; formal
specification; notations; OBJ specification; Program
description; program description; Software engineering;
software engineering; specification language;
specification languages; Support tools; support tools;
UMIST OBJ",
thesaurus = "Formal specification; Specification languages",
treatment = "P Practical",
}
Related entries
- abstract,
15(1)37,
18(2)164,
22(3)240,
23(3)243,
24(4)308,
25(1)17,
25(2)161,
26(4)289,
27(2)127,
28(1)1,
28(1)59,
28(2)154,
28(3)298,
29(3)261,
29(4)340,
31(2)110,
31(2)165,
31(3)193,
31(4)313,
31(6)570,
32(2)127,
32(4)290,
32(4)290,
32(4)312,
32(5)461,
32(6)494,
33(1)40,
34(1)52,
34(2)186,
34(4)290,
34(6)z-1,
35(2)138,
35(2)170,
35(5)468,
36(1)4,
36(4)387,
36(8)712,
38(3)181,
38(6)457,
38(8)670,
38(10)785,
39(1)20,
39(1)52,
39(2)145,
39(7)598
- algebraic,
3(1)23,
4(1)10,
6(3)287,
10(3)256,
10(3)265,
10(4)385,
12(2)124,
14(3)280,
15(4)362,
16(1)23,
16(1)69,
17(1)82,
17(3)229,
18(1)74,
18(2)177,
19(4)336,
20(1)73,
20(4)340,
21(2)174,
21(4)383-2,
21(4)384,
22(4)363,
27(2)178,
27(4)301,
28(1)59,
28(2)142,
28(2)154,
29(3)261,
29(5)416,
30(4)316,
31(3)229,
31(4)313,
32(2)122,
33(4)375,
35(5)460,
35(5)468,
36(3)238,
36(5)419,
36(5)427,
36(5)432,
36(5)497,
36(5)515,
37(4)269,
38(7)530
- associated,
6(4)356,
22(3)282,
29(4)289,
30(5)420,
37(2)88
- behaviour,
13(1)48,
13(4)363,
15(4)350,
17(2)148,
20(1)56,
20(4)308,
26(2)154,
27(3)238,
28(1)9,
28(3)257,
29(1)47,
30(2)168,
30(5)437,
32(1)68,
32(4)290,
32(4)297,
32(6)541,
33(5)471,
34(1)52,
34(1)80,
35(3)221,
36(1)4,
37(4)289,
37(5)385,
38(1)17,
38(4)271,
40(10)617,
42(2)112
- C6110B,
31(6)510,
32(4)297,
32(4)312,
32(5)399,
32(5)422,
32(5)432,
33(1)49,
33(2)126,
33(2)164,
33(6)501,
34(1)42,
34(1)92,
34(2)143,
34(2)153,
34(4)311,
34(4)320,
35(5)419,
35(5)431,
35(5)441,
35(5)451,
35(5)460,
35(5)468,
35(5)478,
35(6)547,
35(6)555,
35(6)567,
35(6)574,
35(6)579,
35(6)600,
35(6)611,
36(2)137,
36(2)153,
36(3)269,
36(7)631,
36(7)654,
36(8)712,
36(8)723,
37(4)269,
37(4)279,
37(4)289,
37(5)357,
37(5)385,
37(7)621,
37(8)669,
37(8)683,
37(9)764,
38(1)1,
38(4)301
- C6140D,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341,
33(1)11,
33(1)49,
33(2)98,
33(2)108,
33(2)133,
33(2)147,
33(2)155,
33(3)194,
33(4)381,
33(5)444,
33(5)460,
33(6)482,
33(6)494,
33(6)501,
33(6)508,
33(6)518,
33(6)535,
33(6)547,
34(1)20,
34(1)52,
34(1)64,
34(1)92,
34(2)143,
34(4)290,
34(4)302,
34(4)311,
34(4)320,
34(4)373,
34(6)z-1,
35(2)108,
35(2)119,
35(2)129,
35(2)157,
35(2)170,
35(4)376,
35(5)478,
35(5)514,
35(6)567,
35(6)625,
36(2)195,
36(3)217,
36(8)723,
37(4)269,
37(4)279,
37(5)399,
37(5)407,
37(6)487,
37(6)519,
37(7)561,
37(7)576,
37(8)711,
37(10)858,
38(1)31,
38(2)142,
38(3)181,
38(3)193,
38(4)319,
38(5)365
- description,
3(2)108,
4(3)226,
7(3)180,
8(2)166,
10(3)244,
12(1)6,
14(3)221,
15(2)160,
15(3)247,
15(4)290,
17(1)82,
18(2)122,
18(2)148,
20(1)78,
20(4)325,
21(3)263,
22(1)53,
22(2)132,
22(3)256,
23(4)360,
25(2)176,
25(4)410,
28(1)89,
28(2)170,
28(2)184,
28(4)357,
28(4)409,
29(5)460,
30(2)128,
30(4)337,
31(6)525,
32(2)108,
32(5)386,
32(5)453,
33(4)344,
34(1)92,
34(3)195,
34(6)z-1,
36(1)97,
36(4)351,
38(1)1,
38(1)17,
39(4)275,
39(4)303,
39(6)541
- domain,
15(4)337,
16(4)360,
17(2)117,
18(2)169,
28(3)291,
33(1)19,
33(4)337,
33(5)417,
35(3)221,
35(4)332,
35(5)514,
36(3)246,
37(5)367,
37(8)669,
37(9)735,
37(10)840,
38(2)121,
39(7)619
- executable,
22(1)50,
23(3)223,
35(4)376,
36(8)712
- notation,
5(3)210,
18(1)63,
18(2)177,
20(2)132,
21(3)234,
25(3)316,
28(3)250,
28(4)357,
29(3)241,
29(6)500,
33(2)164,
34(1)73,
35(6)600,
35(6)611,
35(6)630,
37(10)858,
37(10)907,
38(9)734,
40(5)259
- OBJ,
30(4)316
- support,
18(1)7,
20(4)290,
22(4)307,
25(1)148,
27(1)37,
29(1)90,
29(2)109,
29(3)201,
30(2)97,
31(3)229,
31(5)391,
31(6)481,
32(3)194,
32(4)323,
32(5)386,
32(5)461,
32(6)541,
33(2)185,
33(5)437,
34(2)132,
34(4)320,
34(6)522,
35(2)177,
35(4)322,
35(4)353,
35(6)567,
36(3)217,
36(7)654,
36(8)723,
37(2)88,
37(4)333,
37(5)407,
37(6)487,
37(6)509,
37(7)621,
37(8)698,
37(9)735,
37(9)764,
38(1)1,
38(2)131,
38(3)193,
39(4)291,
39(7)577,
41(2)84