Software engineering metrics and models
Software engineering metrics and models
An empirical validation of software cost estimation models
Communications of the ACM
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
On the ue of Estelle in the OSI framework
Computer Standards & Interfaces
Software Size Estimation of Object-Oriented Systems
IEEE Transactions on Software Engineering
Considering quality in the management of software-based development projects
Information and Software Technology - Software quality assurance
Asset-R: A function point sizing tool for scientific and real-time systems
Journal of Systems and Software
Semi-automatic implementation of OSI protocols
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
IEEE Transactions on Software Engineering
An integrated environment for developing communication protocols
Computer Networks and ISDN Systems
Estelle development toolset (EDT)
Computer Networks and ISDN Systems
Software Effort Models for Early Estimation of Process Control Applications
IEEE Transactions on Software Engineering
Empirical studies of assumptions that underlie software cost-estimation models
Information and Software Technology
Early size prediction for C and Pascal programs
Journal of Systems and Software
A software size estimation model and its evaluation
Journal of Systems and Software
A model for estimating efforts required for developing small-scale business applications
Journal of Systems and Software
On measuring the complexity of an Estelle specification
Journal of Systems and Software
Deriving complexity information from a formal communication protocol specification
Software—Practice & Experience
Software Engineering Economics
Software Engineering Economics
Software Development Cost Estimation Using Function Points
IEEE Transactions on Software Engineering
Estimating the size of an Estelle specification for a communication protocol
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Experience with Formal Methods in Protocol Development
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
A meta-model for software development resource expenditures
ICSE '81 Proceedings of the 5th international conference on Software engineering
ACM SIGSOFT Software Engineering Notes
Estimating LOC for information systems from their conceptual data models
Proceedings of the 28th international conference on Software engineering
Journal of Systems and Software
Conceptual data model-based software size estimation for information systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Good project management is key when developing a software system successfully. To manage a project well, it is important to have the optimal resource allocation which is affected by the size of an implementation. Early software size estimation is essential for good project management. Existing software size models estimate the size of an implementation usually in terms of the number of lines of code. The main drawback of these models is that there is a wide margin of uncertainty as the actual size depends on the type of application and the software development method adopted. To address this drawback, we focus our work on communication protocol, and propose that the size of a formal specification needs to be estimated from an informal specification. This paper presents a two-stage size model for estimating the sizes of a formal communication protocol specification and its implementation, with the model validated using a test data set. The main benefit of this work is that it can give an indication of the likely sizes of both a formal specification and its implementation early at the development stage, giving developers a technique for managing communication software project better.