Early project estimation in the formal communication protocol development

Information and Management

Volumn 38, Issue 7, 2001, Pages 449-458

  Huang, Sun Jen ^a  

^a NATIONAL TAIWAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Taiwan)

Author keywords

COCOMO II; Formal description techniques; Software cost estimate; Software project estimation; Software sizing

Indexed keywords

EID: 0035427547     PISSN: 03787206     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0378-7206(00)00081-1     Document Type: Article

References (20)

1. J.M. Schneider L.F. Mackert G. Zorntlein R.J. Velthuys U. Bar An integrated environment for developing communication protocol Computer Networks and ISDN Systems 25 1 1992 43 61
2. D. Sidhu, A. Chung, Experience with Formal Methods in Protocol Management, Formal Description Techniques, Elsevier, Amsterdam, 1990, pp. 437–453.
3. R. Lai, A. Jirachiefpattana, Communication Protocol Specification and Verification, Kluwer Academic Publishers, Dordrecht, 1998.
4. ISO/TC97/SC21/N1534, Information Processing Systems — Open Systems Interconnection, Guidelines for the Application of FDTs to OSI, Geneva, 1986.
5. S.J. Huang R. Lai On measuring the complexity of an Estelle specification The Journal of Systems and Software 40 2 1998 161 181
6. S.J. Huang R. Lai Deriving complexity information from a formal communication protocol specification Software Practice and Experience 28 14 1998 1465 1491
7. S.J. Huang, R. Lai, Estimating the size of an Estelle specification for a communication protocol, in: Proceedings of the 21st Annual International Computer Software and Application Conference, Washington, DC, 1997, pp. 565–568.
8. N.E. Fenton, S.L. Pfleeger, Software Metrics: A Rigorous and Practical Approach, 2nd Edition, PWS Publishing Company, 1997.
9. S.D. Conte, H.E. Dunsmore, V.Y. Shen, Software Engineering Metrics and Models, Benjamin/Cummings, Menlo Park, CA, 1986.
10. B.A. Kitchenham Empirical studies of assumptions that underlie software cost estimation models Information and Software Technology 34 4 1992 211 218
11. L.A. Laranjeira Software size estimating of object-oriented systems IEEE Transaction on Software Engineering 16 5 1990 510 522
12. ISO IS 9074, Estelle — A Formal Description Technique Based on Extended State Transition Model, 1989.
13. S. Budkokski P. Dembinski An introduction to Estelle: a specification language for distributed systems Computer Networks and ISDN Systems 14 1987 3 23
14. S. Budkokski Estelle development toolset (EDT) Computer Networks and ISDN Systems 25 1 1992 63 82
15. J. Neter, W. Wasserman, M.H. Kutner, Applied Linear Statistical Models: Regression, Analysis and Experimental Designs, 3rd Edition, IRWIN, Homewood, IL, 1990.
16. ISO/IEC 9072, Information Processing Systems — Open System Interconnection — Remote Operations, Part 1: OSI Realisation — Remote Operations Service Element (ROSE) Service Definition, Part 2: ROSE Protocol Specification, 1992.
17. B. Boehm, B. Clark, E. Horowitz, C. Wadachy, R. Selby, Cost models for future software life cycle processes: COCOMO II, in: Proceedings of Annuals of Software Engineering, Special Volume on Software Process and Product Management, 1995.
18. A. Lee C.H. Cheng J. Balakrishnan Software development cost estimation: integrating neural network with cluster analysis Information and Management 34 1 1998 1 9
19. D.P. Sidhu T.P. Blumer Semi-automatic implementation of OSI protocol Computer Networks and ISDN Systems 18 1989/90 221 238
20. J. Verner G. Tate A software size model IEEE Transaction on Software Engineering 18 4 1992 265 278