Software is different

DOI10.1023/A:1018999919169zbMATH Open1012.68569MaRDI QIDQ1859545FDOQ1859545

Authors: Boris Beizer 

Publication date: 19 February 2003

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

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

Mathematics Subject Classification ID

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

Cited In (15)

• Engineering characteristics of autonomous agent architectures
• A mathematical modeling framework for software reliability testing†
• Title not available (Why is that?)
• 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)