Software complexity measurement
Communications of the ACM
Distributed operating systems
Next generation air traffic control automation
IBM Systems Journal
Turing Award lecture on computational complexity and the nature of computer science
Communications of the ACM
Software metrics (2nd ed.): a rigorous and practical approach
Software metrics (2nd ed.): a rigorous and practical approach
In search of the future of air traffic control
IEEE Spectrum
Software architecture in practice
Software architecture in practice
A Framework of Software Measurement
A Framework of Software Measurement
Software Engineer's Reference Book
Software Engineer's Reference Book
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Elements of the Theory of Computation
Elements of the Theory of Computation
Software Engineering: An Engineering Approach
Software Engineering: An Engineering Approach
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Abstract data types, then and now
Software pioneers
ICCI '05 Proceedings of the Fourth IEEE International Conference on Cognitive Informatics
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Software Engineering Foundations: A Software Science Perspective
Software Engineering Foundations: A Software Science Perspective
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
On mathematical laws of software
Transactions on computational science II
A layered reference model of the brain (LRMB)
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On the informatics laws and deductive semantics of software
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On the cognitive process of human problem solving
Cognitive Systems Research
International Journal of Software Science and Computational Intelligence
Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences
International Journal of Software Science and Computational Intelligence
| Hi-index | 0.00 |
Functional complexity is one of the most fundamental properties of software because almost all other software attributes and properties such as functional size, development effort, costs, quality, and project duration are highly dependent on it. The functional complexity of software is a macro-scope problem concerning the semantic properties of software and human cognitive complexity towards a given software system; while the computational complexity is a micro-scope problem concerning algorithmic analyses towards machine throughput and time/space efficiency. This paper presents an empirical study on the functional complexity of software known as cognitive complexity based on large-scale samples using a Software Cognitive Complexity Analysis Tool SCCAT. Empirical data are obtained with SCCAT on 7,531 programs and five formally specified software systems. The theoretical foundation of software functional complexity is introduced and the metric of software cognitive complexity is formally modeled. The functional complexities of a large-scale software system and the air traffic control systems ATCS are rigorously analyzed. A novel approach to represent software functional complexities and their distributions in software systems is developed. The nature of functional complexity of software in software engineering is rigorously explained. The relationship between the symbolic and functional complexities of software is quantitatively analyzed.