Software quality: an overview from the perspective of total quality management
IBM Systems Journal
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
Deriving programs using generic algorithms
IBM Systems Journal
IEEE Software
Surfing the net for software engineering notes
ACM SIGSOFT Software Engineering Notes
Testing: principles and practice
ACM Computing Surveys (CSUR)
A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Implementing cleanroom software engineering into a mature CMM-based software organization
ICSE '97 Proceedings of the 19th international conference on Software engineering
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Communications of the ACM
Lessons from Using Z to Specify a Software Tool
IEEE Transactions on Software Engineering
Planning Models for Software Reliability and Cost
IEEE Transactions on Software Engineering
Science and engineering for software development: a recognition of Harlan D. Mills' legacy
Proceedings of the 21st international conference on Software engineering
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
A Critique of Software Defect Prediction Models
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Modeling software design diversity: a review
ACM Computing Surveys (CSUR)
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
Software – A performing science?
Annals of Software Engineering
Are software engineers true engineers?
Annals of Software Engineering
Quality technique transfer: Manufacturing and software
Annals of Software Engineering
Does Every Inspection Really Need a Meeting?
Empirical Software Engineering
FAST: a framework for automating statistics-based testing
Software Quality Control
Typology of database quality factors
Software Quality Control
Principles of Built-In-Test for Run-Time-Testability in Component-Based Software Systems
Software Quality Control
Tailoring Cleanroom for Industrial Use
IEEE Software
Quantitative Analysis of Faults and Failures in a Complex Software System
IEEE Transactions on Software Engineering
What we can learn from extreme programming
Journal of Computing Sciences in Colleges
A framework for software engineering quality
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Formalizing Software Engineering Standards
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Reliability of a commercial telecommunications system
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
(Quasi-)experimental studies in industrial settings
Lecture notes on empirical software engineering
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
Self-organisation for survival in complex computer architectures
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
| Hi-index | 0.02 |