Last update: Sun Mar 31 02:13:37 MDT 2019
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{He:2002:FDA,
author = "Xudong He and Yi Deng",
title = "A Framework for Developing and Analyzing Software
Architecture Specifications in {SAM}",
journal = j-COMP-J,
volume = "45",
number = "1",
pages = "111--128",
month = "????",
year = "2002",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/45.1.111",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Wed Jan 16 08:49:27 MST 2002",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compj2000.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450111.sgm.abs.html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450111.pdf",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- analyzing,
0(0)xiii--483,
0(0)xxiii--703,
47(1)25,
47(4)506,
49(3)376
- architecture,
0(0)viii--378,
0(0)xv--387,
0(0)xviii--320,
44(6)569,
46(1)3,
46(1)36,
46(4)449,
47(3)320,
47(5)511,
47(5)527,
47(5)622,
48(1)53,
48(4)498,
50(5)616,
51(4)497,
52(6)626
- framework,
41(7)445,
44(1)1,
44(4)321,
44(4)324,
44(4)326,
47(2)179,
48(3)259,
50(1)7,
50(2)186,
50(4)478,
52(3)288
- software,
0(0)viii--378,
0(0)xviii--240,
0(0)xxi--418,
0(0)xxvi--590,
0(0)xxix--561,
0(0)xxxvi--412,
0(0)0,
0(0)x--438,
35(0)335,
44(6)473,
44(6)557,
44(6)569,
47(3)395,
47(4)507,
47(6)728,
48(2)130,
49(4)454,
49(5)507,
51(2)144,
52(3)378,
52(3)388,
52(5)513,
52(5)514,
52(6)725,
z(0)xxvi--442
- specification,
35(0)335,
44(3)186,
45(2)202,
46(4)401,
47(3)358,
50(1)129,
51(4)435