لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
J. Woodcock and J. Davies, Using Z: Specification, Refinement, and ...
Pressman Roger S., SOFTWARE ENGINEERING : _ PRA CTITIONER 'S ...
Marciniak, J. J. (ed.), Encyclopedia of Software Engineering, 2d ed., ...
D. Andrews, Formal Methods in Software Engineering Education Discussion Summary, ...
P.G. Larsen, J. Fitzgerald, S. Wolff, Are Formal Methods Ready ...
F. Kordon, L. Petrucci, Toward Form al-Methods Oecumenism?, IEEE Distributed ...
A. Hall, Seven Myths of Formal Methods, 0740- 745 9/90/0900/00 ...
J.P. Bowen, M.G. Hinchey, Seven More Myths of Formal Methods, ...
J.P. Bowen, M.G. Hinchey, Ten Comman dments of Formal Methods ...
G. Tremblay, Formal Methods: Mathematics, Computer Science or Software Engineering?, ...
S. Liu, K. Takahashi, T. Hayashi, T. Nakayama, Teaching Formal ...
C.M. Holloway, WHY ENGINEER S SHOULD CONSDER FORMAL METHODS, Proceedings ...
_ Avionics Systems Conference, _ 1997. ...
Armstrong, M., Management Processes and Functions, CIPD, London, 1996 ...
M.G. Hinchey, Confession of Formal Methodist, _ Australian workshop on ...
D. Hamilton, R. Covington, A. Lee, An Experience _ _ ...
V.R. Basili, B.T. Perricone, Software Errors and Empirical ...
Commun ications of the ACM, 21(1): 42-52, January, 1984. ...
B.W. Boehm, Software Engineering Economics, IEEE Transactions on Software Engineering, ...
J.C. Kelly, J.S. Sherif, J. Hops, An Analysis of Defect ...
M.G. Hinchey and J.P. Bowen, eds., Applications of Formal Methods, ...
G.R. Hird, Formal Methods in Software Engineering, CH2929 -8/90/0000-02 30, ...
M.G. Hinchey, J.L. Rash, and C.A. Rouff, Requirements to Design ...
P. Zave and M. Jackson, Where Do Operations Come From? ...
M. Buchi, E. Sekerinski, Formal Methods for Component Software: The ...
I. Schaefer, R. Hahnle, Formal Methods in Software Product Line ...
A. Dix, Formal Method for Interactive System, Academic Press, San ...
K. Kinney, Mathematical Notations in Formal Specifications: _ Difficult for ...
P.G. Larsen, J. Fitzgerald, and T. Brookes, Applying ...
L.W. Yeoh, M.C. NG, Architecting C4I Systems, Second _ _ ...
M. A. Fecko, M. i. Uyar, P. D. Amer, A. ...
نمایش کامل مراجع