Software is different

DOI10.1023/A:1018999919169MaRDI QIDQ1859545zbMATH OpenFDO

Authors Boris Beizer

Publication date 19 February 2003

Published in Annals of Software Engineering (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• Software engineering as a scientific and engineering discipline
• Are software engineers true engineers?
• scientific article; zbMATH DE number 3888886
• scientific article; zbMATH DE number 1324840
• Contributions to Hardware and Software Reliability

Cited in

(15)

• Engineering characteristics of autonomous agent architectures
• A mathematical modeling framework for software reliability testing†
• scientific article; zbMATH DE number 1946733 (Why is no real title available?)
• Generation of mutants for boolean expression
• Model-based testing
• Automated test data generation for branch testing using incremental genetic algorithm
• COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Generation of positive and negative tests for parsers
• Timing-sequence testing of parallel programs
• Why software writing is difficult and will remain so
• Automated Generation of Positive and Negative Tests for Parsers
• AN INVESTIGATION OF MERGING AND COLLAPSING OF SOFTWARE NETWORKS
• COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS
• Verifying time partitioning in the DEOS scheduling kernel

This page was built for publication: Software is different

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1859545)