Matches in SemOpenAlex for { <https://semopenalex.org/work/W565547644> ?p ?o ?g. }
- W565547644 abstract "The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described." @default.
- W565547644 created "2016-06-24" @default.
- W565547644 creator A5005650687 @default.
- W565547644 creator A5049681435 @default.
- W565547644 creator A5081013847 @default.
- W565547644 date "1983-02-01" @default.
- W565547644 modified "2023-09-27" @default.
- W565547644 title "On the engineering of crucial software" @default.
- W565547644 cites W127892656 @default.
- W565547644 cites W136763501 @default.
- W565547644 cites W1519722286 @default.
- W565547644 cites W1544794538 @default.
- W565547644 cites W1559333818 @default.
- W565547644 cites W1562161142 @default.
- W565547644 cites W1577384748 @default.
- W565547644 cites W1588705563 @default.
- W565547644 cites W1593280365 @default.
- W565547644 cites W1596798461 @default.
- W565547644 cites W1597752890 @default.
- W565547644 cites W163331945 @default.
- W565547644 cites W1964727056 @default.
- W565547644 cites W1965570766 @default.
- W565547644 cites W1965662337 @default.
- W565547644 cites W1967267655 @default.
- W565547644 cites W1968788085 @default.
- W565547644 cites W1970603830 @default.
- W565547644 cites W1971522971 @default.
- W565547644 cites W1971815892 @default.
- W565547644 cites W1973898293 @default.
- W565547644 cites W1976100766 @default.
- W565547644 cites W1978078271 @default.
- W565547644 cites W1980529102 @default.
- W565547644 cites W1981600111 @default.
- W565547644 cites W1981618658 @default.
- W565547644 cites W1982385042 @default.
- W565547644 cites W1982563884 @default.
- W565547644 cites W1982902807 @default.
- W565547644 cites W1983121589 @default.
- W565547644 cites W1984831616 @default.
- W565547644 cites W1987099981 @default.
- W565547644 cites W1989160441 @default.
- W565547644 cites W1989604787 @default.
- W565547644 cites W1990016083 @default.
- W565547644 cites W1992180245 @default.
- W565547644 cites W1993302007 @default.
- W565547644 cites W1994184566 @default.
- W565547644 cites W1995109607 @default.
- W565547644 cites W1995258570 @default.
- W565547644 cites W1998555378 @default.
- W565547644 cites W2000138546 @default.
- W565547644 cites W2001683075 @default.
- W565547644 cites W2004150771 @default.
- W565547644 cites W2004691788 @default.
- W565547644 cites W2005748875 @default.
- W565547644 cites W2006210705 @default.
- W565547644 cites W2007575436 @default.
- W565547644 cites W2009863842 @default.
- W565547644 cites W2009904111 @default.
- W565547644 cites W2010781905 @default.
- W565547644 cites W2011715836 @default.
- W565547644 cites W2011722455 @default.
- W565547644 cites W2011762419 @default.
- W565547644 cites W2012220159 @default.
- W565547644 cites W2013927576 @default.
- W565547644 cites W2016919057 @default.
- W565547644 cites W2020592600 @default.
- W565547644 cites W2020900915 @default.
- W565547644 cites W2021081188 @default.
- W565547644 cites W2022185456 @default.
- W565547644 cites W2022667180 @default.
- W565547644 cites W2026005383 @default.
- W565547644 cites W2028853423 @default.
- W565547644 cites W2028914085 @default.
- W565547644 cites W2030135678 @default.
- W565547644 cites W2030430791 @default.
- W565547644 cites W2032847002 @default.
- W565547644 cites W2033072042 @default.
- W565547644 cites W2035432175 @default.
- W565547644 cites W2035886688 @default.
- W565547644 cites W2037974046 @default.
- W565547644 cites W2039586513 @default.
- W565547644 cites W2040068897 @default.
- W565547644 cites W2040199558 @default.
- W565547644 cites W2040368451 @default.
- W565547644 cites W2043283064 @default.
- W565547644 cites W2044565821 @default.
- W565547644 cites W2044765978 @default.
- W565547644 cites W2044942784 @default.
- W565547644 cites W2047051012 @default.
- W565547644 cites W2049782040 @default.
- W565547644 cites W2054920589 @default.
- W565547644 cites W2056516586 @default.
- W565547644 cites W2056892625 @default.
- W565547644 cites W2058950824 @default.
- W565547644 cites W2061121751 @default.
- W565547644 cites W2061464740 @default.
- W565547644 cites W2061658004 @default.
- W565547644 cites W2061883188 @default.
- W565547644 cites W2063704531 @default.
- W565547644 cites W2065816933 @default.