Entry Furtado:1985:IAF from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
Top |
Symbols |
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{Furtado:1985:IAF,
author = "A. L. Furtado and T. S. E. Maibaum",
title = "An informal approach to formal (algebraic)
specifications",
journal = j-COMP-J,
volume = "28",
number = "1",
pages = "59--67",
month = feb,
year = "1985",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/28.1.59",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:18 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/28/1.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/",
URL = "http://comjnl.oxfordjournals.org/content/28/1/59.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/tiff/59.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/tiff/60.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/tiff/61.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/tiff/62.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/tiff/63.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/tiff/64.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/tiff/65.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/tiff/66.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_01/tiff/67.tif",
acknowledgement = ack-nhfb,
affiliation = "Pontificia Univ Catolica do Rio de Janeiro, Dep de
Informatica, Rio de Janeiro, Braz",
affiliationaddress = "Pontificia Univ Catolica do Rio de Janeiro, Dep
de Informatica, Rio de Janeiro, Braz",
classcodes = "C4250 (Database theory); C6110 (Systems analysis and
programming); C6120 (File organisation)",
classification = "723",
corpsource = "Dept. de Inf., Pontificia Univ. Catolica do Rio de
Janeiro, Brazil",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "abstract data type discipline; abstract data types;
data structures; database applications; database
systems; database theory; Design; formal algebraic;
formal specifications; modelling; nonmathematician;
specification; systems analysis; traces",
treatment = "P Practical; T Theoretical or Mathematical",
}
Related entries
- 26-4-381c-381,
27(3)254,
27(4)348,
27(4)354,
28(3)216,
28(4)391,
28(5)498,
29(1)76,
29(3)229,
29(4)315,
29(6)486,
30(1)20,
30(1)77,
30(2)97,
30(2)110,
30(3)239,
30(5)413,
30(5)420,
30(5)469,
30(6)551,
31(1)9,
31(1)65,
31(1)76,
31(2)175,
31(3)285,
31(4)364,
31(5)409,
31(5)420,
31(5)437,
31(6)550,
32(1)93,
32(2)162,
32(3)202,
32(4)312,
32(4)323,
32(4)333,
32(4)351,
32(4)374,
32(4)377,
32(5)461,
32(6)541
- abstract,
23(3)243,
24(4)308,
25(1)17,
25(2)161,
26(4)289,
27(2)127,
28(1)1,
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)312,
32(5)413,
32(5)461,
32(6)494
- algebraic,
27(2)178,
27(4)301,
28(2)142,
28(2)154,
29(3)261,
29(5)416,
30(4)316,
31(3)229,
31(4)313,
32(2)122,
32(5)413
- approach,
23(1)3,
23(1)9,
23(1)28,
23(2)114-1,
23(3)223,
23(3)256,
23(4)317,
24(3)222,
24(4)320,
25(1)12,
25(3)353,
25(4)410,
25(4)442,
25(4)492,
26(3)255,
26(3)283,
26(4)293,
26(4)360,
26(4)383,
27(1)3,
27(1)37,
27(2)171,
27(3)246,
28(1)89,
28(2)97,
28(2)162,
28(4)353,
29(2)161,
29(2)189,
29(2)189-1,
29(3)222,
29(4)330,
29(5)385,
30(1)8,
30(2)119,
30(2)176,
30(3)258,
30(5)393,
30(5)437,
30(6)507,
31(2)133,
31(2)182,
31(3)243,
31(5)409,
32(2)152,
32(2)162,
32(5)386,
32(5)437
- discipline,
25(1)74,
28(3)211,
32(1)45,
32(4)362
- formal,
27(2)121,
28(2)112,
28(2)162,
28(5)474,
28(5)480,
29(6)481,
30(2)134,
30(2)183,
30(4)316,
30(4)328,
30(4)337,
30(6)507,
31(4)313,
31(4)325,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)1,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(4)305,
32(4)351,
32(5)385,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(5)445
- informal,
29(5)423
- Maibaum, T. S. E.,
28(2)154
- modelling,
24(1)25,
25(4)401,
28(3)270,
29(4)348,
30(1)8,
30(3)258,
30(4)328,
30(6)541,
31(2)116,
31(4)364,
31(5)445,
32(1)86,
32(6)554
- specification,
23(1)61,
23(3)230,
25(1)34,
25(1)63,
26(4)289,
27(2)121,
27(2)143,
28(1)22,
28(2)117,
28(2)154,
28(2)162,
28(3)250,
28(4)357,
29(3)261,
29(6)495,
30(2)97,
30(2)134,
30(3)223,
30(3)239,
30(4)316,
30(4)337,
30(6)512,
31(3)193,
31(3)229,
31(3)269,
31(4)313,
31(5)426,
31(6)510,
32(1)1,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(6)541
- traces,
29(1)17
- type,
23(1)66,
24(2)118,
24(4)308,
25(3)289,
25(4)448,
26(4)289,
26(4)366,
27(1)47,
27(3)260,
27(4)310,
28(2)154,
28(3)298,
29(1)38,
29(3)261,
29(4)340,
29(6)538,
30(1)27,
30(5)404,
30(5)451,
31(2)99,
31(2)110,
31(2)116,
31(6)517,
32(4)305,
32(4)312,
32(5)413,
32(6)524,
32(6)541