Last update: Fri Jan 5 02:05:58 MST 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{Bruijning:1987:EIS,
author = "J. Bruijning and {SPECS Consortium}",
title = "Evaluation and Integration of Specification
Languages",
journal = j-COMP-NET-ISDN,
volume = "13",
number = "2",
pages = "75--89",
year = "1987",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Sat Sep 25 23:08:50 MDT 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1987.bib;
http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
acknowledgement = ack-nhfb,
affiliation = "PTT, Leidschendam, Neth",
annote = "In the first part of this paper, the results from a
comparison evaluation of the specification languages
SDL, LOTOS and Estelle are presented. In the second
part, the proposed SPECS architecture and its rationale
are described.",
classification = "723; 902",
country = "NL",
date = "08/01/91",
descriptors = "SDL; LOTOS; ESTELLE; specification language;
comparison",
enum = "4108",
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
journalabr = "Comput Networks ISDN Syst",
keywords = "computer programming --- Structured Programming;
computer programming languages; computer software;
Estelle; integrated specification environment; LOTOS;
specification and description language (SDL);
specification languages",
language = "English",
location = "RWTH-AC-DFV: Bibl.",
references = "7",
revision = "21/04/91",
}
Related entries
- architecture,
9(3)201,
9(4)257,
10(1)27,
10(3)157,
10(3)211,
11(z)277,
14(2)297,
16(1)138,
17(2)111,
18(1)55,
19(z)201,
21(3)149,
22(2)155,
23(1)125,
24(2)171,
24(4)311,
25(4)405,
25(6)599,
25(10)1089,
25(10)1127,
26(1)61,
26(3)337,
26(6)817,
26(9)1187,
26(11)1343,
27(2)289,
27(3)353,
27(3)471,
27(6)729,
27(6)919,
27(12)1567,
28(1)239,
28(4)429,
28(5)613,
28(6)835,
28(7)941,
28(7)1027,
28(7)1243,
28(7)1385,
29(2)137,
29(4)393,
29(4)397,
29(4)437,
29(4)473,
29(7)735,
29(8)1507,
30(1)43,
30(1)205,
30(1)763,
30(16)1571,
30(22)2081,
30(22)2141,
30(22)2169
- comparison,
10(3)167,
10(3)211,
13(1)21,
18(2)97,
18(z)243,
22(4)265,
27(2)205,
27(3)437,
27(9)1399,
29(5)583,
30(8)805,
30(22)2149,
30(24)2309
- described,
25(10)1107,
25(10)1119,
28(13)1723
- description,
13(2)65,
13(2)91,
13(2)97,
14(1)25,
14(2)187,
14(2)311,
14(3)3,
16(1)138,
16(4)311,
18(5)335,
24(4)321,
25(4)583,
25(7)723,
27(2)289,
27(6)985,
28(7)1095,
28(7)1291,
28(7)1385,
29(3)271,
30(9)863,
30(15)1389
- environment,
11(5)383,
12(1)1,
13(2)91,
13(4)323,
15(5)369,
16(1)138,
16(3)197,
16(5)357,
17(4)294,
18(1)19,
20(1)361,
21(3)149,
23(1)43,
23(1)101,
23(4)241,
23(4)253,
25(1)43,
25(1)83,
25(4)577,
26(12)1523,
26(z)z-1,
27(2)289,
27(6)729,
27(6)831,
27(6)861,
27(6)905,
28(1)109,
28(7)1027,
28(7)1095,
28(7)1149,
28(7)1219,
28(7)1501,
28(14)1887,
28(14)1971,
29(8)865,
29(8)1479,
29(14)1635,
29(14)1727,
29(15)1777,
29(16)1881,
29(17)2165,
30(1)699,
30(1)742,
30(16)1447
- Estelle,
14(2)311,
14(3)3,
22(1)51,
23(5)343,
25(1)63,
25(1)83,
25(7)741,
25(7)841
- evaluation,
9(3)215,
10(3)211,
12(1)39,
15(1)31,
17(1)15,
17(1)29,
18(2)115,
25(7)791,
25(11)1177,
26(5)493,
27(9)1349,
28(3)325,
29(8)1479,
29(16)1953,
29(17)1999,
29(17)2103,
30(16)1697,
30(19)1749,
30(24)2293
- first,
13(2)91,
25(6)599,
25(10)1107,
25(10)1127,
27(2)243,
27(6)801,
28(7)1445
- integrated,
9(3)175,
9(3)223,
9(5)329,
10(1)1,
10(3)135,
10(3)157,
10(3)167,
10(3)195,
10(3)203,
10(3)211,
11(2)87,
11(2)89,
12(1)11,
12(4)209,
12(4)209,
12(4)225,
12(4)231,
12(4)235,
13(1)21,
13(2)91,
13(3)219,
13(3)245,
13(4)269,
13(4)291,
14(2)123,
14(2)155,
14(2)237,
14(2)251,
14(2)323,
14(2)331,
14(2)339,
14(2)359,
15(1)27,
15(1)31,
15(2)87,
15(4)269,
15(5)303,
15(5)359,
16(3)197,
16(3)217,
16(4)281,
16(5)395,
17(1)37,
17(1)47,
17(2)149,
18(1)1,
20(1)143,
23(1)185,
23(4)317,
24(2)131,
24(5)421,
25(1)43,
25(1)83,
25(2)191,
25(3)241,
25(4)469,
25(8)921,
25(10)1079,
25(10)1089,
26(3)275,
26(4)459,
26(6)711,
27(10)1457,
27(11)1523,
28(4)481,
28(6)811,
28(7)1095,
29(5)595,
29(7)811,
29(17)2165
- integration,
9(3)223,
10(2)81,
10(3)211,
15(1)27,
23(1)101,
23(4)267,
25(2)103,
26(z)z-5,
29(8)1531
- language,
13(2)65,
13(2)91,
13(2)97,
13(2)119,
14(1)25,
14(1)61,
14(2)187,
14(3)3,
15(4)245,
16(1)138,
16(4)311,
21(3)149,
23(5)363,
25(11)1243,
26(9)1101,
26(z)z-1,
27(2)135,
27(2)193,
27(2)205,
27(2)273,
27(2)289,
27(3)353,
27(6)831,
27(6)919,
27(6)939,
28(7)941,
28(7)1037,
28(7)1095,
28(7)1149,
28(7)1291,
28(7)1385,
29(8)1305,
30(1)225,
30(1)259,
30(1)636
- LOTOS,
14(1)25,
22(1)51,
23(5)325,
25(1)23,
25(7)791,
25(7)815,
25(7)853,
30(9)901,
30(9)925
- paper,
10(3)211,
11(z)277,
12(2)81,
12(2)89,
12(3)159,
13(2)65,
13(2)91,
14(3)3,
16(1)64,
16(4)311,
17(3)201,
18(1)31,
18(13)1845,
20(1)15,
20(1)137,
20(1)171,
20(1)369,
20(1)435,
24(3)199,
24(4)311,
25(6)599,
25(9)1019,
25(10)1089,
25(10)1107,
25(10)1119,
25(10)1127,
25(11)1177,
25(11)1205,
26(3)253,
26(3)269,
26(z)z-1,
27(2)135,
27(2)193,
27(2)205,
27(2)273,
27(2)289,
28(13)1845,
30(19)1735,
30(24)2293
- part,
18(z)243,
20(1)369,
26(12)1495,
27(2)273,
27(6)1009
- presented,
10(3)211,
12(2)99,
16(5)347,
25(9)1019,
28(13)1723
- programming,
9(2)91,
9(2)109,
9(4)257,
10(5)245,
11(1)1,
11(1)43,
12(1)27,
12(2)81,
12(2)99,
12(3)139,
12(3)147,
12(5)311,
13(2)65,
13(2)91,
13(2)97,
13(2)119,
13(4)301,
14(1)25,
14(1)61,
14(2)187,
14(3)3,
15(1)1,
15(2)121,
15(4)245,
15(5)329,
16(1)138,
16(5)367,
16(5)383,
17(2)127,
26(z)z-1,
27(2)193,
27(2)289,
27(6)823,
27(6)831,
27(6)841,
28(7)1037,
28(7)1149,
28(7)1291,
28(7)1373,
30(1)259
- proposed,
10(3)185,
12(2)99,
20(1)137,
20(1)189,
20(1)369,
23(1)153,
24(2)153,
25(10)1165,
26(12)1523,
30(1)225,
30(24)2293
- rationale,
13(2)97
- result,
12(2)99,
15(1)67,
16(5)347,
18(1)31,
20(1)189,
20(1)369,
25(6)599,
25(10)1165,
25(11)1177,
26(3)253,
26(11)1343,
27(2)243,
27(6)809,
28(7)1445
- SDL,
13(2)65,
13(2)91,
13(2)97,
13(2)119,
16(4)311,
22(1)51,
28(12)1585,
28(12)1659,
28(12)1669,
28(12)1703
- second,
25(6)599,
27(2)205,
27(6)809
- software,
9(2)91,
11(5)353,
12(3)139,
13(2)91,
13(2)119,
14(2)283,
15(1)47,
15(4)245,
16(3)197,
18(1)19,
25(4)420,
25(4)454,
25(6)599,
25(10)1127,
26(z)z-1,
27(2)135,
27(2)205,
27(2)289,
27(6)789,
27(6)823,
27(6)841,
28(7)1149,
28(7)1291,
28(7)1445,
30(1)225
- specification,
11(3)183,
11(5)353,
12(3)147,
13(2)65,
13(2)91,
13(2)97,
13(2)119,
14(1)25,
14(3)3,
16(1)21,
16(4)311,
17(2)111,
18(5)335,
18(z)167,
23(5)363,
24(3)199,
25(1)23,
25(7)779,
25(7)815,
26(2)233,
27(8)1247,
29(1)81,
29(4)393,
29(4)397,
29(4)437,
29(4)457,
29(4)473,
30(1)225,
30(11)1045,
30(19)1735
- structured,
11(5)367,
27(2)281,
27(6)831,
27(6)841,
27(6)1027,
28(7)1139,
30(1)11