Computer system reliability and nuclear war
Communications of the ACM
The partial metrics system: modeling the stepwise refinement process using partial metrics
Communications of the ACM
System = program + users + law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A structured approach to program optimization
IEEE Transactions on Software Engineering
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
A software development environment for law-governed systems
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Automatic generation of test scripts from formal test specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Control and Definition Modularization: an Improved Software Design Technique for Organizing Programs
IEEE Transactions on Software Engineering
CATS: computer aided testing of software
APL '91 Proceedings of the international conference on APL '91
On modularity in integrated architectures
ACM SIGART Bulletin
A measure for composite module cohesion
ICSE '92 Proceedings of the 14th international conference on Software engineering
An annotated bibliography on software inspections
ACM SIGSOFT Software Engineering Notes
In-Process Evaluation for Software Inspection and Test
IEEE Transactions on Software Engineering - Special issue on software reliability
A Model for Software Product Quality
IEEE Transactions on Software Engineering
Predicting Fault-Prone Software Modules in Telephone Switches
IEEE Transactions on Software Engineering
Improving computer program readability to aid modification
Communications of the ACM
ACM forum: on the Non cooperation Motion
Communications of the ACM
A controlled experiment in program testing and code walkthroughs/inspections
Communications of the ACM
Software engineering education: a survey
ACM SIGCSE Bulletin
Metrics for applying GOF design patterns in refactoring processes
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
IEEE Software
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems
IEEE Transactions on Software Engineering
Problem management maturity within corrective maintenance
Journal of Software Maintenance: Research and Practice
The cost of errors in software development: evidence from industry
Journal of Systems and Software
Automated testing of mySAP business processes: efficient usage of the SAP test workbench
Software quality and software testing in internet times
Cause-effect graphing analysis and validation of requirements
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Test case generation for specification-based software testing
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A project oriented course on software engineering
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
The teaching of software engineering
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
An integrated model of drilling vessel operations
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
Software engineering applied to computer-aided design (CAD) software development
DAC '81 Proceedings of the 18th Design Automation Conference
User services in a network environment
SIGUCCS '80 Proceedings of the 8th annual ACM SIGUCCS conference on User services
ICSE '79 Proceedings of the 4th international conference on Software engineering
The project library - a tool for software development
ICSE '79 Proceedings of the 4th international conference on Software engineering
Test plan generation using formal grammars
ICSE '79 Proceedings of the 4th international conference on Software engineering
Toward an effective software reliability evaluation
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A course in personalized applications libraries
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
Specification of a regression test for a mini computer operating system
Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality
The second course in computer programming: Some principles and consequences
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Software engineering training for middle managers at Texas Instruments
ACM '80 Proceedings of the ACM 1980 annual conference
A case study in system integration using the Build approach
ACM '79 Proceedings of the 1979 annual conference
Note: Pages 1 thru 501 will be found in volume 1. managing reliable software
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Applied quality assurance methodology
Proceedings of the software quality assurance workshop on Functional and performance issues
A measurement of structure for unstructured programming languages
Proceedings of the software quality assurance workshop on Functional and performance issues
Are current approaches sufficient for measuring software quality?
Proceedings of the software quality assurance workshop on Functional and performance issues
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
IEEE Transactions on Software Engineering
Software pioneers
A Fortran preprocessor for the large program environment
ACM SIGPLAN Notices
ACM SIGPLAN Notices
On orthogonality in programming languages
ACM SIGPLAN Notices
A Hybrid Approach to Enhancing the Reliability of Software
Programming and Computing Software
Conducting project team classes in data processing
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
ACM SIGSOFT Software Engineering Notes
Scenario-based prototyping for requirements identification
Proceedings of the workshop on Rapid prototyping
PARTIAL: a tool to monitor the stepwise refinement of Ada programs
ACM SIGSOFT Software Engineering Notes
Dynamic Coupling Measurement for Object-Oriented Software
IEEE Transactions on Software Engineering
Modeling dynamics of agile software development
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The organization of the software quality assurance process
ACM SIGMIS Database
Identification of Categories and Choices in Activity Diagrams
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
The cognitive consequences of object-oriented design
Human-Computer Interaction
Measuring 75 Million Lines of Code
IWSM/Metrikon/Mensura '08 Proceedings of the International Conferences on Software Process and Product Measurement
Maintenance as a function of design
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Embedding an information system within a generalized network environment
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Software debugging, testing, and verification
IBM Systems Journal
New interval Bayesian models for software reliability based on non-homogeneous Poisson processes
Automation and Remote Control
Towards a software failure cost impact model for the customer: an analysis of an open source product
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Software development process simulation: multi agent-based simulation versus system dynamics
MABS'09 Proceedings of the 10th international conference on Multi-agent-based simulation
Exploring the impact of task allocation strategies for global software development using simulation
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
| Hi-index | 0.11 |
From the Publisher:Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers--software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models. Written in an informal style for anyone whose work is affected by the unreliability of software. Examples illustrate key ideas, over 180 references.