A Review and Evaluation of Software Science
ACM Computing Surveys (CSUR)
Communicating sequential processes
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Models for specification and anaysis of parallel computing systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Complexity measures for systems design
Complexity measures for systems design
Graphs and Hypergraphs
A Measure of Control Flow Complexity in Program Text
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A computational approach to construct a multivariate complete graph invariant
Information Sciences: an International Journal
Hi-index | 0.00 |
The implementer of a large, complex software system cannot make it completely defect free, so he must normally provide fixes for defects found after the code is put into service. A system user may do preventive service by installing these fixes before ...