๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Software is different

โœ Scribed by Boris Beizer


Book ID
110380734
Publisher
Springer
Year
2000
Tongue
English
Weight
97 KB
Volume
10
Category
Article
ISSN
1022-7091

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Does AI have a methodology which is diff
โœ D. Partridge; Y. Wilks ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 595 KB

This paper argues that the conventional methodology of software engineering is inappropriate to AI, but that the failure of many in AI to see this is producing a Kuhnian paradigm 'crisis'. The key point is that classic software engineering methodology (which we call SPIV: Specify-Prove-Implement-Ver

Is software safe?
โœ P. D. T. O'Connor ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 120 KB
What is software?
โœ Leon J. Osterweil ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Springer US ๐ŸŒ English โš– 204 KB
What is free software?
โœ V. Vinay ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Indian Academy of Sciences ๐ŸŒ English โš– 311 KB