-
1
-
-
0003544287
-
-
Prentice-Hall, Englewood Cliffs, NJ
-
Abdel-Hamid, T.K. and S.E. Madnick (1991), Software Project Dynamics - An Integrated Approach, Prentice-Hall, Englewood Cliffs, NJ, 264 pp.
-
(1991)
Software Project Dynamics - An Integrated Approach
, pp. 264
-
-
Abdel-Hamid, T.K.1
Madnick, S.E.2
-
2
-
-
0035024116
-
Functional paleontology: System evolution as the user sees it
-
Toronto, 12-19 May, IEEE Computer Society Press, Los Alamitos, CA
-
Antón, A. and C. Potts (2001), "Functional Paleontology: System Evolution as the User Sees It;" In Proceedings of the 23rd International Conference on Software Engineering, Toronto, 12-19 May, IEEE Computer Society Press, Los Alamitos, CA, pp. 421-430.
-
(2001)
Proceedings of the 23rd International Conference on Software Engineering
, pp. 421-430
-
-
Antón, A.1
Potts, C.2
-
3
-
-
0022720442
-
Limits for automatic program verification of finite-state concurrent systems
-
Apt, K.R. and D. Kozen (1986), "Limits for Automatic Program Verification of Finite-State Concurrent Systems," Information Processing Letters 22, 6.
-
(1986)
Information Processing Letters
, vol.22
, pp. 6
-
-
Apt, K.R.1
Kozen, D.2
-
4
-
-
0029519035
-
Understanding and predicting the process of software maintenance releases
-
Berlin, March 25-29, IEEE Computer Society Press, Los Alamitos, CA
-
Basili, V.R. et al. (1996), "Understanding and Predicting the Process of Software Maintenance Releases," Proceedings of the 18th International Conference on Software Engineering, Berlin, March 25-29, IEEE Computer Society Press, Los Alamitos, CA.
-
(1996)
Proceedings of the 18th International Conference on Software Engineering
-
-
Basili, V.R.1
-
5
-
-
0012130667
-
An introduction to program growth dynamics
-
W. Freiburger, Ed., Academic Press, New York
-
Belady, L.A. and M.M. Lehman (1972), "An Introduction to Program Growth Dynamics," In Statistical Computer Performance Evaluation, W. Freiburger, Ed., Academic Press, New York, pp. 503-511.
-
(1972)
Statistical Computer Performance Evaluation
, pp. 503-511
-
-
Belady, L.A.1
Lehman, M.M.2
-
6
-
-
85013612501
-
Software maintenance and evolution: A roadmap
-
A. Finkelstein, Ed., June 4-11, Limerick, Ireland, ACM Press
-
Bennett, K.H. and V.T. Rajlich (2000), "Software Maintenance and Evolution: a Roadmap," In The Future of Software Engineering, ICSE 2000, A. Finkelstein, Ed., June 4-11, Limerick, Ireland, ACM Press, pp. 75-87.
-
(2000)
The Future of Software Engineering, ICSE 2000
, pp. 75-87
-
-
Bennett, K.H.1
Rajlich, V.T.2
-
8
-
-
0017218747
-
Software engineering
-
Boehm, B.W. (1976), "Software Engineering," IEEE Transactions on Computers C-25, 12, 1226-1241.
-
(1976)
IEEE Transactions on Computers
, vol.C-25
, Issue.12
, pp. 1226-1241
-
-
Boehm, B.W.1
-
9
-
-
0024012763
-
A spiral model of software development and enhancement
-
May
-
Boehm, B.W. (1988), "A Spiral Model of Software Development and Enhancement," Computer 21, May, 61-72.
-
(1988)
Computer
, vol.21
, pp. 61-72
-
-
Boehm, B.W.1
-
10
-
-
0002834587
-
Modelling a long term software evolution process
-
June-September
-
Chatters, B.W. et al. (2000), "Modelling a Long Term Software Evolution Process," Journal of Software Process - Improvement and Practice 5, 2/3, June/September, 91-102.
-
(2000)
Journal of Software Process - Improvement and Practice
, vol.5
, Issue.2-3
, pp. 91-102
-
-
Chatters, B.W.1
-
12
-
-
0037710417
-
A constructive approach to the problem of program correctness
-
Dijkstra, E.W. (1968a), "A Constructive Approach to the Problem of Program Correctness," BIT 8, 3, 174-186.
-
(1968)
BIT
, vol.8
, Issue.3
, pp. 174-186
-
-
Dijkstra, E.W.1
-
13
-
-
84945709727
-
GOTO statement considered harmful
-
Letter to the Editor
-
Dijkstra, E.W. (1968b), "GOTO Statement Considered Harmful," Letter to the Editor, Communications of the ACM 11, 11, 147-148.
-
(1968)
Communications of the ACM
, vol.11
, Issue.11
, pp. 147-148
-
-
Dijkstra, E.W.1
-
14
-
-
0001654941
-
Notes on structured programming
-
O.J. Dahl, E.W. Dijkstra, and C.A.R. Hoare, Eds., Academic Press
-
Dijkstra, E.W. (1972a), "Notes on Structured Programming," In Structured Programming, O.J. Dahl, E.W. Dijkstra, and C.A.R. Hoare, Eds., Academic Press, pp. 1-82.
-
(1972)
Structured Programming
, pp. 1-82
-
-
Dijkstra, E.W.1
-
15
-
-
84976779102
-
The humble programmer
-
ACM Turing Award Lecture, October
-
Dijkstra, B.W. (1972b), "The Humble Programmer," ACM Turing Award Lecture, Communications of the ACM 15, 10, October, 859-866.
-
(1972)
Communications of the ACM
, vol.15
, Issue.10
, pp. 859-866
-
-
Dijkstra, B.W.1
-
20
-
-
0034513917
-
Evolution in open source software: A case study
-
11-14 October, San Jose, CA
-
Godfrey, M.W. and Q. Tu (2000), "Evolution in Open Source Software: A Case Study," In Proceedings of the International Conference on Software Maintenance, 11-14 October, San Jose, CA, pp. 131-142.
-
(2000)
Proceedings of the International Conference on Software Maintenance
, pp. 131-142
-
-
Godfrey, M.W.1
Tu, Q.2
-
22
-
-
0037981729
-
Evolutionary development
-
April
-
Gilb, T. (1981), "Evolutionary Development," ACM Software Engineering Notes 6, 2, April.
-
(1981)
ACM Software Engineering Notes
, vol.6
, Issue.2
-
-
Gilb, T.1
-
24
-
-
84862054762
-
Cunning plans: Some notes on plans, procedures and CSCW
-
BCS, January
-
Hartswood, M. et al. (2002), "Cunning Plans: Some Notes on Plans, Procedures and CSCW," RQ - Newsletter of The Requirements Engineering Specialist Group, BCS, issue 25, January, http://www.resg.org.uk
-
(2002)
RQ - Newsletter of The Requirements Engineering Specialist Group
, Issue.25
-
-
Hartswood, M.1
-
26
-
-
84945708698
-
An axiomatic basis for computer programming
-
October
-
Hoare, C.A.R. (1969), "An Axiomatic Basis for Computer Programming," Communications of the ACM 12, 10, October, 576-583.
-
(1969)
Communications of the ACM
, vol.12
, Issue.10
, pp. 576-583
-
-
Hoare, C.A.R.1
-
27
-
-
0014973676
-
Proof of a program FIND
-
January
-
Hoare, C.A.R. (1971), "Proof of a Program FIND," Communications of the ACM 14, 1, January.
-
(1971)
Communications of the ACM
, vol.14
, Issue.1
-
-
Hoare, C.A.R.1
-
31
-
-
0141637858
-
-
IEEE Computer Society Press/ACM Press
-
IWPSE (1998-2002), International Workshops on Principles of Software Evolution, 1998, 1999, 2000 (Symp.), 2001, and 2002, IEEE Computer Society Press/ACM Press.
-
(1998)
International Workshops on Principles of Software Evolution, 1998, 1999, 2000 (Symp.), 2001, and 2002
-
-
-
32
-
-
0034759048
-
System dynamics modelling of software evolution processes for policy investigation: Approach and example
-
December
-
Kahen, G. et al. (2001), "System Dynamics Modelling of Software Evolution Processes for Policy Investigation: Approach and Example," Journal of Systems and Software 59, 3, December, 271-281.
-
(2001)
Journal of Systems and Software
, vol.59
, Issue.3
, pp. 271-281
-
-
Kahen, G.1
-
33
-
-
0033163707
-
An empirical approach to studying software evolution
-
July/August
-
Kemerer, C.F. and S. Slaughter (1999), "An Empirical Approach to Studying Software Evolution," IEEE Transactions on Software Engineering 25, 4, July/August, 493-509.
-
(1999)
IEEE Transactions on Software Engineering
, vol.25
, Issue.4
, pp. 493-509
-
-
Kemerer, C.F.1
Slaughter, S.2
-
35
-
-
0013419529
-
The programming process
-
IBM Research Center, Yorktown Heights, New York, September
-
Lehman, M.M. (1969), "The Programming Process," IBM Research Report RC2722M, IBM Research Center, Yorktown Heights, New York, September.
-
(1969)
IBM Research Report
, vol.RC2722M
-
-
Lehman, M.M.1
-
36
-
-
0000536422
-
Programs, cities, students - Limits to growth
-
also in [Gries 1978]
-
Lehman, M.M. (1974), "Programs, Cities, Students - Limits to Growth," Imperial College, Inaugural Lectures Series, Vol. 9, 1970-1974, pp. 211-229 (also in [Gries 1978]).
-
(1974)
Imperial College, Inaugural Lectures Series
, vol.9
, Issue.1970-1974
, pp. 211-229
-
-
Lehman, M.M.1
-
38
-
-
0041610465
-
The environment of design methodology
-
T.A. Cox, Ed., Cambridge, UK, 9-12 April, STL Ltd., Harlow, Essex, UK, 1980
-
Lehman, M.M. (1979), "The Environment of Design Methodology," In Proc. Symp. on Formal Design Methodology, T.A. Cox, Ed., Cambridge, UK, 9-12 April, STL Ltd., Harlow, Essex, UK, 1980, pp. 17-38.
-
(1979)
Proc. Symp. on Formal Design Methodology
, pp. 17-38
-
-
Lehman, M.M.1
-
39
-
-
0019058442
-
Program life cycles and laws of software evolution
-
Special Issue on Software Engineering, September
-
Lehman, M.M. (1980), "Program Life Cycles and Laws of Software Evolution," Proceedings of IEEE, Special Issue on Software Engineering, September, 1060-1076.
-
(1980)
Proceedings of IEEE
, pp. 1060-1076
-
-
Lehman, M.M.1
-
40
-
-
0023218663
-
Process models, process programs, programming support
-
Invited Response to a Keynote Address by L. Osterweil, Monterey, CA, March 30-April 2, IEEE Computer Society Press, Los Alamitos, CA
-
Lehman, M.M. (1987), "Process Models, Process Programs, Programming Support," Invited Response to a Keynote Address by L. Osterweil, In Proceedings of the 9th International Conference on Software Engineering, Monterey, CA, March 30-April 2, IEEE Computer Society Press, Los Alamitos, CA, pp. 14-16.
-
(1987)
Proceedings of the 9th International Conference on Software Engineering
, pp. 14-16
-
-
Lehman, M.M.1
-
41
-
-
84989030997
-
Uncertainty in computer application and its control through the engineering of software
-
1 September
-
Lehman, M.M. (1989), "Uncertainty in Computer Application and Its Control Through the Engineering of Software," Journal of Software Maintenance: Research and Practice 1, 1 September, 3-27.
-
(1989)
Journal of Software Maintenance: Research and Practice
, vol.1
, pp. 3-27
-
-
Lehman, M.M.1
-
42
-
-
0000710967
-
Uncertainty in computer application
-
Technical Letter, May
-
Lehman, M.M. (1990), "Uncertainty in Computer Application," Technical Letter, Communications of the ACM 33, 5, May, 584.
-
(1990)
Communications of the ACM
, vol.33
, Issue.5
, pp. 584
-
-
Lehman, M.M.1
-
43
-
-
0026225877
-
Software engineering, the software process and their support
-
Special Issue on Software Environments and Factories, September
-
Lehman, M.M. (1991), "Software Engineering, the Software Process and Their Support," IEE Software Engineering Journal 6, Special Issue on Software Environments and Factories, 5, September, 243-258.
-
(1991)
IEE Software Engineering Journal
, vol.6
, Issue.5
, pp. 243-258
-
-
Lehman, M.M.1
-
44
-
-
0030296198
-
Feedback in the software evolution process
-
Keynote Address, CSR Eleventh Annual Workshop on Software Evolution: Models and Metrics, Dublin, 7-9 September, Special Issue on Software Maintenance, 1996
-
Lehman, M.M. (1994), "Feedback in the Software Evolution Process," Keynote Address, In CSR Eleventh Annual Workshop on Software Evolution: Models and Metrics, Dublin, 7-9 September, Information and Software Technology 38, Special Issue on Software Maintenance, 11, 1996, 681-686.
-
(1994)
Information and Software Technology
, vol.38
, Issue.11
, pp. 681-686
-
-
Lehman, M.M.1
-
45
-
-
84906809751
-
Laws of software evolution revisited
-
Proceedings of the European Workshop on Software Process Technology, October, Springer Verlag, 1997
-
Lehman, M.M. (1996), "Laws of Software Evolution Revisited," In Proceedings of the European Workshop on Software Process Technology, October, Lecture Notes in Computer Science, Vol. 1149, Springer Verlag, 1997, pp. 108-124.
-
(1996)
Lecture Notes in Computer Science
, vol.1149
, pp. 108-124
-
-
Lehman, M.M.1
-
46
-
-
1442297119
-
An approach to a theory of software evolution
-
Case for Support Part 2, Department of Computing, Imperial College, London, December (revised version September 2001)
-
Lehman, M.M. (2000), "An Approach to a Theory of Software Evolution," EPSRC Proposal, Case for Support Part 2, Department of Computing, Imperial College, London, December (revised version September 2001).
-
(2000)
EPSRC Proposal
-
-
Lehman, M.M.1
-
47
-
-
0003487338
-
-
Academic Press, London
-
Lehman, M.M. and L.A. Belady, Eds. (1985), Program Evolution - Processes of Software Change, Academic Press, London, 538 pp.
-
(1985)
Program Evolution - Processes of Software Change
, pp. 538
-
-
Lehman, M.M.1
Belady, L.A.2
-
48
-
-
84949756902
-
Towards a theory of software evolution - And its practical impact
-
Kanazawa, Japan, November 1-2, T. Katayama et al., Eds., IEEE Computer Society Press, Los Alamitos, CA
-
Lehman, M.M. and J.F. Ramil (2000a), "Towards a Theory of Software Evolution - And Its Practical Impact," In Proceedings of the International Symposium on Principles of Software Evolution, Kanazawa, Japan, November 1-2, T. Katayama et al., Eds., IEEE Computer Society Press, Los Alamitos, CA, pp. 2-11.
-
(2000)
Proceedings of the International Symposium on Principles of Software Evolution
, pp. 2-11
-
-
Lehman, M.M.1
Ramil, J.F.2
-
49
-
-
0034454333
-
Software evolution in the age of component based software engineering
-
Special Issue on Component Based Software Engineering, December, (earlier version Technical Report 98/8, Imp. Col., London, June 1998)
-
Lehman, M.M. and J.F. Ramil (2000b), "Software Evolution in the Age of Component Based Software Engineering," IEE Proceedings Software 147, Special Issue on Component Based Software Engineering, 6, December, 249-255 (earlier version Technical Report 98/8, Imp. Col., London, June 1998).
-
(2000)
IEE Proceedings Software
, vol.147
, Issue.6
, pp. 249-255
-
-
Lehman, M.M.1
Ramil, J.F.2
-
50
-
-
0035561643
-
Rules and tools of software evolution planning, management and control
-
Special Issue on Software Management
-
Lehman, M.M. and J.F. Ramil (2001a), "Rules and Tools of Software Evolution Planning, Management and Control," Annals of Software Engineering 11, Special Issue on Software Management, 15-44.
-
(2001)
Annals of Software Engineering
, vol.11
, pp. 15-44
-
-
Lehman, M.M.1
Ramil, J.F.2
-
51
-
-
1442352380
-
An approach to a theory of software evolution
-
Vienna, 10-11 September, ACM Press, forthcoming
-
Lehman, M.M. and J.F. Ramil (2001b), "An Approach to a Theory of Software Evolution," In Proceedings of the International Workshop on Principles of Software Evolution, Vienna, 10-11 September, ACM Press, forthcoming.
-
(2001)
Proceedings of the International Workshop on Principles of Software Evolution
-
-
Lehman, M.M.1
Ramil, J.F.2
-
52
-
-
84892635433
-
Software uncertainty
-
Proceedings of Soft-Ware 2002: First International Conference on Computing in an Imperfect World, Belfast, North Ireland, 8-10 April, D. Bustard, W. Liu, and R. Sterritt, Eds., Springer-Verlag, Heidelberg
-
Lehman, M.M. and J.F. Ramil (2002), "Software Uncertainty" In Proceedings of Soft-Ware 2002: First International Conference on Computing in an Imperfect World, Belfast, North Ireland, 8-10 April, D. Bustard, W. Liu, and R. Sterritt, Eds., Lecture Notes in Computer Science, Vol. 2311, Springer-Verlag, Heidelberg, pp. 174-190.
-
(2002)
Lecture Notes in Computer Science
, vol.2311
, pp. 174-190
-
-
Lehman, M.M.1
Ramil, J.F.2
-
53
-
-
77956612679
-
An approach to modelling long-term growth trends in software systems
-
6-10 November, Florence, Italy
-
Lehman, M.M., J.F. Ramil, and U. Sandler (2001), "An Approach to Modelling Long-Term Growth Trends in Software Systems," In Proceedings of the International Conference on Software Maintenance, 6-10 November, Florence, Italy, pp. 219-228.
-
(2001)
Proceedings of the International Conference on Software Maintenance
, pp. 219-228
-
-
Lehman, M.M.1
Ramil, J.F.2
Sandler, U.3
-
54
-
-
0041768595
-
Another look at software design methodology
-
April
-
Lehman, M.M., V. Stenning, and W.M. Turski (1984), "Another Look at Software Design Methodology," ACM SigSoft Software Engineering Notes 9, 2, April, 38-53.
-
(1984)
ACM SigSoft Software Engineering Notes
, vol.9
, Issue.2
, pp. 38-53
-
-
Lehman, M.M.1
Stenning, V.2
Turski, W.M.3
-
55
-
-
0031335655
-
Metrics and laws of software evolution - The nineties view
-
Albuquerque, NM, 5-7 November
-
Lehman, M.M. et al. (1997), "Metrics and Laws of Software Evolution - The Nineties View," In Proc. Fourth Int. Symp. on Software Metrics, Metrics 97, Albuquerque, NM, 5-7 November, pp. 20-32. Also in Elements of Software Process Assessment and Improvement, K. El Eman and N.H. Madhavji, Eds., IEEE Computer Society Press, 1999, pp. 343-368.
-
(1997)
Proc. Fourth Int. Symp. on Software Metrics, Metrics 97
, pp. 20-32
-
-
Lehman, M.M.1
-
56
-
-
0007919678
-
-
IEEE Computer Society Press
-
Lehman, M.M. et al. (1997), "Metrics and Laws of Software Evolution - The Nineties View," In Proc. Fourth Int. Symp. on Software Metrics, Metrics 97, Albuquerque, NM, 5-7 November, pp. 20-32. Also in Elements of Software Process Assessment and Improvement, K. El Eman and N.H. Madhavji, Eds., IEEE Computer Society Press, 1999, pp. 343-368.
-
(1999)
Elements of Software Process Assessment and Improvement
, pp. 343-368
-
-
El Eman, K.1
Madhavji, N.H.2
-
57
-
-
0024664382
-
Software evolution through rapid prototyping
-
May
-
Luqi (1989), "Software Evolution through Rapid Prototyping," IEEE Computer 22, 5, May, 13-25.
-
(1989)
IEEE Computer
, vol.22
, Issue.5
, pp. 13-25
-
-
Luqi1
-
59
-
-
1442303511
-
Software evolution - Let's sharpen the terminology before sharpening (out-of-scope) tools
-
Vienna, 10-11 September, ACM Press, forthcoming
-
Mittermeir, R.T. (2001), "Software Evolution - Let's Sharpen the Terminology Before Sharpening (Out-of-Scope) Tools," In Proceedings of the International Workshop on Principles of Software Evolution, Vienna, 10-11 September, ACM Press, forthcoming.
-
(2001)
Proceedings of the International Workshop on Principles of Software Evolution
-
-
Mittermeir, R.T.1
-
60
-
-
1842492756
-
Software engineering
-
Garmisch, Germany, 7-11 October, Brussels, Sc. Aff. Div., NATO, 1969
-
Naur, P. and B. Randell, Eds. (1968), "Software Engineering," In Conf. Sponsored by the NATO Sc. Comm., Garmisch, Germany, 7-11 October, Brussels, Sc. Aff. Div., NATO, 1969, 231 p., http://www.cs.ncl.ac.uk/people/brian.randell/home.formal/NATO/
-
(1968)
Conf. Sponsored by the NATO Sc. Comm.
, pp. 231
-
-
Naur, P.1
Randell, B.2
-
61
-
-
0023209985
-
Software processes are software too
-
Monterey, CA, March 30-April 2, IEEE Computer Society Press
-
Osterweil, L. (1987), "Software Processes Are Software Too," In Proc. of the 9th International Conference on Software Engineering, Monterey, CA, March 30-April 2, IEEE Computer Society Press, pp. 2-13.
-
(1987)
Proc. of the 9th International Conference on Software Engineering
, pp. 2-13
-
-
Osterweil, L.1
-
62
-
-
0030615527
-
Software processes are software too - Revisited: An invited talk on the most influential paper of ICSE 9
-
Boston, May 17-23, ACM Press
-
Osterweil, L. (1997), "Software Processes Are Software Too - Revisited: An Invited Talk on the Most Influential Paper of ICSE 9," In Proceedings of the 19th International Conference on Software Engineering, Boston, May 17-23, ACM Press, pp. 540-548.
-
(1997)
Proceedings of the 19th International Conference on Software Engineering
, pp. 540-548
-
-
Osterweil, L.1
-
63
-
-
84946968040
-
Capability maturity model, ver. 1.1
-
Paulk, M.C. et al. (1993), "Capability Maturity Model, ver. 1.1," IEEE Software 10, 4, 18-27.
-
(1993)
IEEE Software
, vol.10
, Issue.4
, pp. 18-27
-
-
Paulk, M.C.1
-
67
-
-
85008045115
-
The nature of system change
-
May-June
-
Pfleeger, S.L. (1998b), "The Nature of System Change," IEEE Software 15, 3, May-June, 87-90.
-
(1998)
IEEE Software
, vol.15
, Issue.3
, pp. 87-90
-
-
Pfleeger, S.L.1
-
69
-
-
0034229137
-
A staged model for the software life cycle
-
July
-
Rajlich, V.T. and K.H. Bennett (2000), "A Staged Model for the Software Life Cycle," IEEE Computer, July, 66-71.
-
(2000)
IEEE Computer
, pp. 66-71
-
-
Rajlich, V.T.1
Bennett, K.H.2
-
70
-
-
0002514396
-
Managing the development of large software systems
-
August
-
Royce, W.W. (1970), "Managing the Development of Large Software Systems," In Proceedings of Wescon, August, pp. 1-9. Also in Proceedings of the 9th International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, 1987.
-
(1970)
Proceedings of Wescon
, pp. 1-9
-
-
Royce, W.W.1
-
71
-
-
0141637914
-
-
IEEE Computer Society Press, Los Alamitos, CA
-
Royce, W.W. (1970), "Managing the Development of Large Software Systems," In Proceedings of Wescon, August, pp. 1-9. Also in Proceedings of the 9th International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, 1987.
-
(1987)
Proceedings of the 9th International Conference on Software Engineering
-
-
-
72
-
-
0141637859
-
-
University of Hertfordshire, UK, 7-8 February
-
SEEC (2002), Symposium on Software Evolution and Evolutionary Computation, University of Hertfordshire, UK, 7-8 February, http://homepages.feis.herts.ac.uk/̃nehaniv/EN/seec/program.html
-
(2002)
Symposium on Software Evolution and Evolutionary Computation
-
-
-
73
-
-
33846507797
-
Preliminary results from an empirical study on the growth of open source and commercial software products
-
May 14-15, Toronto
-
Succi, G., J. Paulson, and A. Eberlein (2001), "Preliminary Results from an Empirical Study on the Growth of Open Source and Commercial Software Products," In Proceedings of the Third Workshop on Economics-Driven Software Engineering Research EDSER-3, ICSE 2001, May 14-15, Toronto.
-
(2001)
Proceedings of the Third Workshop on Economics-driven Software Engineering Research EDSER-3, ICSE 2001
-
-
Succi, G.1
Paulson, J.2
Eberlein, A.3
-
75
-
-
0004212497
-
-
Princeton University Press, Princeton, NJ
-
Thagard, P. (1992), Conceptual Revolutions, Princeton University Press, Princeton, NJ, 285 pp.
-
(1992)
Conceptual Revolutions
, pp. 285
-
-
Thagard, P.1
-
77
-
-
0141861501
-
-
June
-
Tully, C. (1989), "Representing and Enacting the Software Process," Proceedings 4th International Workshop on the Software Process, January, Also in ACM SIGSOFT Software Engineering Notes, June.
-
ACM SIGSOFT Software Engineering Notes
-
-
-
78
-
-
0141749874
-
Specification as a theory with models in the computer world and in the real world
-
Turski, W.M. (1981), "Specification as a Theory with Models in the Computer World and in the Real World," Infotech State of the Art Report 9, 6, 363-377.
-
(1981)
Infotech State of the Art Report
, vol.9
, Issue.6
, pp. 363-377
-
-
Turski, W.M.1
-
79
-
-
0001609818
-
A reference model for the smooth growth of software systems
-
Turski, W.M. (1996), "A Reference Model for the Smooth Growth of Software Systems," IEEE Transactions on Software Engineering 22, 8, 599-600.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.8
, pp. 599-600
-
-
Turski, W.M.1
-
80
-
-
84945253631
-
An essay on software engineering at the turn of the century
-
Fundamental Approaches to Software Engineering, Proceedings of the Third International Conference FASE 2000, March/April, T. Maibaum, Ed., Springer-Verlag, Berlin
-
Turski, W.M. (2000), "An Essay on Software Engineering at the Turn of the Century," In Fundamental Approaches to Software Engineering, Proceedings of the Third International Conference FASE 2000, March/April, T. Maibaum, Ed., Lecture Notes in Computer Science, Vol. 1783, Springer-Verlag, Berlin, pp. 1-20.
-
(2000)
Lecture Notes in Computer Science
, vol.1783
, pp. 1-20
-
-
Turski, W.M.1
-
82
-
-
84898316272
-
Formal specification: A roadmap
-
Limerick, Ireland, A. Finkelstein, Ed., ACM Press
-
Van Lamsweerde, A. (2000), "Formal Specification: A Roadmap," In The Future of Software Engineering, 22nd ICSE, Limerick, Ireland, A. Finkelstein, Ed., ACM Press, pp. 149-159.
-
(2000)
The Future of Software Engineering, 22nd ICSE
, pp. 149-159
-
-
Van Lamsweerde, A.1
-
83
-
-
0141749923
-
-
Ventana System Inc., Harvard, MA
-
© 4 Reference Manual," Ventana System Inc., Harvard, MA.
-
(1999)
© 4 Reference Manual
-
-
-
84
-
-
0141526790
-
Natural selection as applied to computers and programs
-
Weinberg, G.M. (1970), "Natural Selection as Applied to Computers and Programs," General Systems 15.
-
(1970)
General Systems
, vol.15
-
-
Weinberg, G.M.1
-
85
-
-
0032630518
-
Software process dynamic modelling for FEAST/1
-
April
-
Wernick, P. and M.M. Lehman (1999), "Software Process Dynamic Modelling for FEAST/1," Journal of Systems and Software 46, 2/3, April, 193-201.
-
(1999)
Journal of Systems and Software
, vol.46
, Issue.2-3
, pp. 193-201
-
-
Wernick, P.1
Lehman, M.M.2
-
86
-
-
84976773567
-
Program development by stepwise refinement
-
April
-
Wirth, W. (1971), "Program Development by Stepwise Refinement, " Communications of the ACM 14, 4, April, 221-222.
-
(1971)
Communications of the ACM
, vol.14
, Issue.4
, pp. 221-222
-
-
Wirth, W.1
-
87
-
-
0141526788
-
A mathematical model for the evolution of software
-
Woodside, C.M. (1980), "A Mathematical Model for the Evolution of Software," Journal of Systems and Software 2, 4.
-
(1980)
Journal of Systems and Software
, vol.2
, pp. 4
-
-
Woodside, C.M.1
-
88
-
-
0011908345
-
-
WWW, Department of Computing, Imperial College
-
WWW (2001), "Feedback, Evolution And Software Technology, FEAST Projects Web Site," Department of Computing, Imperial College, http://www.doc.ic.ac.uk/̃mml/feast
-
(2001)
Feedback, Evolution And Software Technology, FEAST Projects Web Site
-
-
-
89
-
-
0003752453
-
Software process improvement - Practical guidelines for business success
-
Addison-Wesley, Harlow, England
-
Zahran, S. (1997), Software Process Improvement - Practical Guidelines for Business Success, SEI Series in Software Engineering, Addison-Wesley, Harlow, England.
-
(1997)
SEI Series in Software Engineering
-
-
Zahran, S.1
|