SCOPUS 정보 검색 플랫폼

Journal of Software Maintenance: Research and Practice

Volumn 1, Issue 1, 1989, Pages 3-27

Uncertainty in computer application and its control through the engineering of software

a IMPERIAL COLLEGE LONDON (United Kingdom)

Author keywords

CASE; Correctness; Discipline; Evolution; IPSEs; Software dependency; Software engineering; Software technology transfer; Uncertainty; User satisfaction

Indexed keywords

EID: 84989030997 PISSN: 1040550X EISSN: 1096908X Source Type: Journal
DOI: 10.1002/smr.4360010103 Document Type: Article

Times cited : (57)

References (44)

1
- 0011456952
- Springer‐Verlag
- (1987) The Evolution of Fault Tolerant Computers
- Avizienis, A.¹

2
- 84989116093
- Programming System Dynamics or the Metadynamics of Systems in Maintenance and Growth, IBM Research Report RC 3546, T. J. Watson Research Center, Yorktown Heights, NY.
- (1971)
- Belady, L.A.¹ Lehman, M.M.²

3
- 0012130667
- Freiburger, W., (ed), Academic Press, New York
- (1972) An Introduction to Program Growth Dynamics, in Statistical Computer Performance Evaluation , pp. 503-511
- Belady, L.A.¹ Lehman, M.M.²

4
- 0017268047
- A model of large program development
- (1976) IBM Systems Journal , vol.15 , Issue.3 , pp. 225-252
- Belady, L.A.¹ Lehman, M.M.²

5
- 84989100964
- Duncan, R., Weston‐Smith, M., (eds), Pergamon Press, London
- (1977) The Lure of Completeness, The Encyclopedia of Ignorance , pp. 5-8
- Bondi, H.¹

6
- 0018466858
- Social processes, and proofs of theorems and programs
- (1979) Communications of the ACM , vol.22 , Issue.5 , pp. 271-280
- DeMillo, R.¹ Lipton, R.² Perlis, A.³

7
- 0037710417
- A constructive approach to the problem of program correctness
- (1969) BIT , vol.8 , Issue.3 , pp. 174-186
- Dijkstra, E.W.¹

8
- 84976779102
- The humble programmer
- ‘The humble programmer’, ACM Turing Award Lecture
- (1972) Communications of the ACM , vol.15 , Issue.10 , pp. 859-866
- Dijkstra, E.W.¹

9
- 84989100936
- Dowson, M. (ed) Iteration in the Software Process, in Proceedings of the 3rd International Process Workshop, IEEE Comp. Soc. Press.
- (1987)

10
- 0024085326
- Program verification: the very idea
- (1988) Communications of the ACM , vol.32 , Issue.8 , pp. 1048-1063
- Fetzer, J.H.¹

11
- 34347193348
- Über formal unentscheidbare sätze der principia mathematica und verwandter systeme
- (1931) Monatsheftt für Mathematik und Physik , vol.38 , pp. 173-198
- Gödel, K.¹

12
- 0042758542
- Springer‐Verlag, New York
- (1978) Programming Methodology — A Collection of Articles by Members of IFIP WG2.3
- Gries, D.¹

13
- 84945708698
- An axiomatic basis for computer programming
- (1969) Communications of the ACM , vol.12 , Issue.10 , pp. 576-583
- Hoare, C.A.R.¹

14
- 84989148754
- InfoTech State of the Art Conference on Life Cycle Management, Report se., invited papers, pp.
- (1980) The Role of Formal Specifications in Software Development , vol.8 , Issue.7 , pp. 117-133
- Jones, C.B.¹

15
- 0006450424
- Prentice‐Hall Inc., New York
- (1980) Software Development — A Rigorous Approach
- Jones, C.B.¹

16
- 84989058943
- Component Based Software Sytems, in Proceedings of First Israel Conference on Computer Systems and Software Engineering, 1‐3 June 1986, IEEE Comp. Soc. publ., paper no. 3.2.1.
- (1986)
- Lehman, J.D.¹

17
- 84989139039
- The Programming Process, IBM Research Report RC 2722, IBM Research Center, Yorktown Heights, and in Lehman and Belady, (1985), pp.
- (1969) , pp. 39-84
- Lehman, M.M.¹

18
- 84989139048
- Imperial College Inaugural Lecture Series,. Also, Gries (1978), pp, 42, 69 and Lehman and Belady (1985), pp, 133, 163
- (1974) Programs, Cities, Students — Limits to Growth , vol.9 , pp. 1970-1974
- Lehman, M.M.¹

19
- 84989139028
- Duncan, R., Weston‐Smith, M., (eds), Pergamon Press, London
- (1977) Human Thought and Action as an Ingredient of System Behaviour, The Encyclopedia of Ignorance , pp. 347-354
- Lehman, M.M.¹

20
- 50849153948
- On understanding laws, evolution and conservation in the large program life cycle
- (1980) Journal of Systems and Software , vol.1 , pp. 213-221
- Lehman, M.M.¹

21
- 84989058958
- Programs, Life Cycles and Laws of Software Evolution, in Proceedings of IEEE Conference on Software Engineering, pp.
- (1980) , pp. 1060-1076
- Lehman, M.M.¹

22
- 84989148717
- The Environment of Program Development and Maintenance — Programs, Programming and Programming Support, Systems Architecture, in Proc. of the 6th ACM European Regional Conference ICS '81, pp., IPC Business Press Ltd., Guildford
- (1981) , pp. 273-285
- Lehman, M.M.¹

23
- 84989058950
- The Role of Systems and Software Technology in the Fifth Generation, in Proceedings of International Conference on The Fifth Generation — Dawn of the Second Computer Age, 7‐9 June, London, SPL Int., Abingdon, UK.
- (1982)
- Lehman, M.M.¹

24
- 84989106314
- Program Evolution, in Proceedings of Symposium on Empirical Foundations of Computing and Information Sciences, Georgia Inst. of Tech. 3‐7 November in Special Issue
- 1‐18 and Proceedings of IFIP TC2 Working Conference on System Description Methodologies, 22‐27 May 1983, Kecskemet, Hungary, Elsevier Science Pubs. B. V., North Holland, pp.
- (1982) Journal of Information Processing and Management , vol.19 , Issue.1 , pp. 3-23
- Lehman, M.M.¹

25
- 84989041722
- Advanced Software Technology — Development and Introduction to Practice, Invited Paper, Information Processing '86, Proc. IFIP Congress 1‐5 September, 1986, Dublin, Elsevier Science Publishers (BV), (North Holland), pp.
- (1986) , pp. 605-661
- Lehman, M.M.¹

26
- 84989139023
- Inv. Contr., Quart. Bul., IEEE Comp. Soc. Tech. Comm. on Database Eng., Sp. Iss. on Softw. Eng. System and Database Reqs.
- (1987) Model Based Approach to IPSE Architecture and Design — The IST ISTAR Project as an Instantiation , vol.10 , pp. 2-13
- Lehman, M.M.¹

27
- 0023218663
- Process Models, Process Programs, Programming Support — Invited Response To A Keynote Address by Lee Osterweil, in Proceedings 9th Int. Conference on Software Engineering, Monterey, CA, 30 March‐2 April 1987, IEEE Comp. Soc. pub. no. 767, IEEE Cat. no. 87CH2432‐3, pp.
- (1987) , pp. 14-16
- Lehman, M.M.¹

28
- 0003487338
- Acadmic Press, London
- (1985) Program Evolution — Processes of Software Change
- Lehman, M.M.¹ Belady, L.A.²

29
- 46549101653
- Concepts of an integrated support environment
- (1985) Data Processing , vol.27 , Issue.3 , pp. 8-10
- Lehman, M.M.¹ Stenning, N.V.²

30
- 0041768595
- ICST DoC Res. Rep. 83/13, June 1983 and Software Engineering Notes, April 1984
- (1984) Another Look at Software Design Methodology , vol.9 , Issue.2 , pp. 38-53
- Lehman, M.M.¹ Stenning, N.V.² Turski, W.M.³

31
- 84909810146
- Essential properties of IPSEs
- (1987) ACM SIGSOFT Software Engineering Notes , vol.12 , pp. 52-55
- Lehman, M.M.¹ Turski, W.M.²

32
- 0004190625
- Addison Wesley, London
- (1987) The Specification of Computer Programs
- Maibaum, T.¹ Turski, W.M.²

33
- 84989080002
- Software Engineering — Report on a Conference Sponsored by the NATO Science Committee, Garmisch, 1968, Scientific Affairs Division, NATO, Brussels 39.
- (1969)
- Nauer, P.¹ Randell, B.²

34
- 0023209985
- Software Processes are Software Too, in Proceedings of 9th International Conference on Software Engineering, Monterey, CA, 30 March‐2 April 1987, IEEE Comp. Soc. Pub. no. 767, IEEE Cat. no. 87CH2432‐3, pp.
- (1987) , pp. 2-13
- Osterweil, L.¹

35
- 84989147126
- Potts, C. (ed) Proceedings of the Software Process. Workshop, Egham, Surrey, UK., February 1984. IEEE, Cat. no. 84CH2044‐6 Comp. Soc., Washington D. C., order no. 587.
- (1984)

36
- 84989050617
- Design Fault Tolerance in Avizienis (1987)
- (1987) , pp. 251-270
- Randell, B.¹

37
- 0003960921
- M. I. T. Press, Cambridge, MA
- (1969) The Sciences of the Artificial
- Simon, H.A.¹

38
- 84989043443
- Software Engineering: Present and Future in The Corporation Database, State of the Art Reports, Iggulden, D. (ed), se. 13, no. 3, Pergamon Infotech Ltd, Maidenhead, UK, pp.
- (1985) , pp. 83-93
- Stenning, N.V.¹

39
- 84989116033
- Specification as a Theory with Models in the Computer World and in the Real World, Infotech State of the Art Report, se. 9, no. 6, pp.
- (1981) , pp. 363-377
- Turski, W.M.¹

40
- 84989006671
- And No Philosophers’ Stone Either, Information Processing 86, in Proceedings of IFIP Congress, Dublin, 1‐5 September 1986, Elsevier Sci. Pubs, London, pp.
- (1986) , pp. 1077-1080
- Turski, W.M.¹

41
- 85051774065
- Comments on a paper by DeMillo et al. (DeMillo et al., 1979)
- (1979) Communications of the ACM , vol.22 , Issue.11 , pp. 621-630

42
- 84989006664
- Comments on paper by Fetzer
- 374, 381
- (1989) (Fetzer, 1988), Communications of the ACM , vol.32 , Issue.3 , pp. 287-290

43
- 84989125169
- Wileden, J. C. and Dowson, M. (eds) SE Notes Special Issue on the 2nd International Workshop on the Software Process and Software Environments, Coto de Caza, CA., 27‐29 March 1985, Vol. 11, no. 4.
- (1986)

44
- 84989043421
- Iterative Multi‐level modelling — A Methodology for Computer System Design, IBM Research Report RC 1938, IBM Research Center, Yorktown Heights, NY and Information Processing 67, in Proceedings of IFIP Congress, Edinburgh, August 1968, pp., D138, 142
- (1967)
- Zurcher, F.W.¹ Randell, B.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.