Last update: Sun Oct 15 02:36:35 MDT 2017
Top |
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{Liu:2003:DQS,
author = "Shaoying Liu",
title = "Developing Quality Software Systems Using the {SOFL}
Formal Engineering Method",
journal = j-LECT-NOTES-COMP-SCI,
volume = "2495",
pages = "3--??",
year = "2003",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Sat Nov 30 20:57:09 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
URL = "http://link.springer.de/link/service/series/0558/bibs/2495/24950003.htm;
http://link.springer.de/link/service/series/0558/papers/2495/24950003.pdf",
acknowledgement = ack-nhfb,
}
Related entries
- Developing,
2495(0)401
- Formal,
2495(0)22,
2495(0)57,
2495(0)180,
2495(0)221,
2495(0)249,
2495(0)275,
2495(0)347,
2495(0)359,
2495(0)423,
2495(0)447,
2495(0)483,
2495(0)548,
2656(0)614,
2729(0)530
- Method,
2495(0)22,
2612(0)328,
2779(0)397
- Software,
2495(0)1,
2495(0)57,
2495(0)69,
2495(0)168,
2495(0)249,
2495(0)406,
2495(0)423
- system,
2495(0)80,
2495(0)98,
2495(0)180,
2495(0)221,
2495(0)226,
2495(0)231,
2495(0)275,
2495(0)447,
2495(0)471,
2495(0)535,
2495(0)561,
2779(0)51
- Using,
2495(0)103,
2495(0)192,
2495(0)401,
2495(0)471,
2495(0)535,
2612(0)111,
2612(0)122,
2612(0)211,
2656(0)177,
2656(0)294,
2656(0)388,
2729(0)44,
2779(0)254,
2779(0)397