-
1
-
-
0008524953
-
Status report: Requirements engineering
-
Hsia P, Davis A, Kung D. Status report: requirements engineering. IEEE Software 1993;10(6):75-79
-
(1993)
IEEE Software
, vol.10
, Issue.6
, pp. 75-79
-
-
Hsia, P.1
Davis, A.2
Kung, D.3
-
2
-
-
0003547470
-
-
Addison-Wesley, Reading, MA, The standardised specification of UML is available
-
Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language reference manual. Addison-Wesley, Reading, MA, 1999. The standardised specification of UML is available at http://www.omg.org
-
(1999)
The Unified Modeling Language Reference Manual
-
-
Rumbaugh, J.1
Jacobson, I.2
Booch, G.3
-
3
-
-
0003504769
-
-
Addison-Wesley, Reading, MA
-
Jacobson I, Christerson M, Jonsson P, Övergaard G. Object-oriented software engineering: a use case driven approach. Addison-Wesley, Reading, MA, 1992
-
(1992)
Object-oriented Software Engineering: A Use Case Driven Approach
-
-
Jacobson, I.1
Christerson, M.2
Jonsson, P.3
Övergaard, G.4
-
4
-
-
54649083214
-
Scenario management: An interdisciplinary approach
-
Jarke M, Bui TX, Carroll J. Scenario management: an interdisciplinary approach. Requirements Eng 1998;3(4):155-173
-
(1998)
Requirements Eng
, vol.3
, Issue.4
, pp. 155-173
-
-
Jarke, M.1
Bui, T.X.2
Carroll, J.3
-
5
-
-
0034269939
-
A design process based on a model combining scenarios with goals and functions
-
Kaindl H. A design process based on a model combining scenarios with goals and functions. IEEE Trans Syst Man Cybernetics (SMC) Part A 2000;30(5):537-551
-
(2000)
IEEE Trans Syst Man Cybernetics (SMC)
, vol.30
, Issue.5 PART A
, pp. 537-551
-
-
Kaindl, H.1
-
7
-
-
0032203845
-
Using abstraction and model checking to detect safety violations in requirements specifications
-
Heitmeyer C, Kirby J, Labaw B, Archer M, Bharadwaj R. Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Trans Software Eng 1998;24(11):927-948
-
(1998)
IEEE Trans Software Eng
, vol.24
, Issue.11
, pp. 927-948
-
-
Heitmeyer, C.1
Kirby, J.2
Labaw, B.3
Archer, M.4
Bharadwaj, R.5
-
8
-
-
52649155124
-
TAF quickly identifies error in Mars Polar Lander software
-
Blackburn M et al. TAF quickly identifies error in Mars Polar Lander software. In: Lockheed Martin joint symposium, 2000
-
(2000)
Lockheed Martin Joint Symposium
-
-
Blackburn, M.1
-
10
-
-
67651192557
-
-
Also published in Freeman and Wasserman (eds). IEEE Computer Society Press, Los Alamitos, CA
-
Also published in Freeman and Wasserman (eds). Software design techniques. IEEE Computer Society Press, Los Alamitos, CA, 1983
-
(1983)
Software Design Techniques
-
-
-
11
-
-
0031475827
-
A practical approach to combining requirements definition and object-oriented analysis
-
Kaindl H. A practical approach to combining requirements definition and object-oriented analysis. Ann Software Eng 1997;3:319-343
-
(1997)
Ann Software Eng
, vol.3
, pp. 319-343
-
-
Kaindl, H.1
-
12
-
-
84943232903
-
Why is it so difficult to introduce requirements engineering research results into mainstream requirements engineering practice?
-
Panellists: S. Brinkkemper, J.A. Bubenko, B. Farbey and I. Jacobson. Stockholm, Sweden, June 2000. Springer, Heidelberg
-
Kaindl H, Mylopoulos J. Why is it so difficult to introduce requirements engineering research results into mainstream requirements engineering practice? Panellists: S. Brinkkemper, J.A. Bubenko, B. Farbey and I. Jacobson. In: Proceedings of the 12th conference on advanced information systems engineering (CAiSE 2000), Stockholm, Sweden, June 2000. Springer, Heidelberg, 2000, pp 7-12
-
(2000)
Proceedings of the 12th Conference on Advanced Information Systems Engineering (CAiSE 2000)
, pp. 7-12
-
-
Kaindl, H.1
Mylopoulos, J.2
-
13
-
-
0033712250
-
Why is it so difficult to introduce requirements engineering research results into mainstream requirements engineering practice?
-
Panellists: S.J. Greenspan, C. Heitmeyer, J.C.S. do Prado Leite, N.R. Mead and J. Siddiqi. Schaumburg, IL, June
-
Kaindl H. Why is it so difficult to introduce requirements engineering research results into mainstream requirements engineering practice? Panellists: S.J. Greenspan, C. Heitmeyer, J.C.S. do Prado Leite, N.R. Mead and J. Siddiqi. In: Proceedings of the fourth IEEE international conference on requirements engineering. Schaumburg, IL, June 2000, pp 67-68
-
(2000)
Proceedings of the Fourth IEEE International Conference on Requirements Engineering
, pp. 67-68
-
-
Kaindl, H.1
-
14
-
-
0030871522
-
Panel: How can requirements engineering research become requirements engineering practice?
-
6-10 January 1997, Annapolis, MD. IEEE Computer Society Press, Los Alamitos, CA
-
Miller S. Panel: how can requirements engineering research become requirements engineering practice? In: Proceedings of the third IEEE international symposium on requirements engineering, 6-10 January 1997, Annapolis, MD. IEEE Computer Society Press, Los Alamitos, CA, 1997, p 260
-
(1997)
Proceedings of the Third IEEE International Symposium on Requirements Engineering
, pp. 260
-
-
Miller, S.1
-
15
-
-
0031703830
-
Delivering requirements engineering
-
Colorado Springs, CO, April 1998. IEEE Computer Society Press, Los Alamitos, CA
-
Greenspan S. Delivering requirements engineering. In: Proceedings of the third IEEE international conference on requirements engineering, Colorado Springs, CO, April 1998. IEEE Computer Society Press, Los Alamitos, CA, 1998, pp 128-129
-
(1998)
Proceedings of the Third IEEE International Conference on Requirements Engineering
, pp. 128-129
-
-
Greenspan, S.1
-
16
-
-
0031676666
-
Requirements engineering and industrial uptake
-
Colorado Springs, CO, 6-10 April 1998. IEEE Computer Society Press, Los Alamitos, CA
-
Morris P, Masera M, Wilikens M. Requirements engineering and industrial uptake. In: Proceedings of the third IEEE international conference on requirements engineering, Colorado Springs, CO, 6-10 April 1998. IEEE Computer Society Press, Los Alamitos, CA, 1998, pp 130-137
-
(1998)
Proceedings of the Third IEEE International Conference on Requirements Engineering
, pp. 130-137
-
-
Morris, P.1
Masera, M.2
Wilikens, M.3
-
17
-
-
52649160345
-
Experience using a benchmarking workshop to explore one route to practical technology introduction
-
Facilitating technology transfer through partnership: learning from practice and research, Ambleside, UK, 25-27 June 1997. Chapman & Hall, London
-
Fowler P, Patrick M. Experience using a benchmarking workshop to explore one route to practical technology introduction. In: Facilitating technology transfer through partnership: learning from practice and research, Proceedings IFIP technical committee 8 working group 8.6, international working conference on diffusion, adoption, and implementation of information technology, Ambleside, UK, 25-27 June 1997. Chapman & Hall, London, 1997, pp 304-318
-
(1997)
Proceedings IFIP Technical Committee 8 Working Group 8.6, International Working Conference on Diffusion, Adoption, and Implementation of Information Technology
, pp. 304-318
-
-
Fowler, P.1
Patrick, M.2
-
18
-
-
0031649845
-
Transition packages: An experiment in expediting the introduction of requirements management
-
Colorado Springs, CO, 6-10 April 1998. IEEE Computer Society Press, Los Alamitos, CA
-
Fowler P, Patrick M, Carleton A, Merrin B. Transition packages: an experiment in expediting the introduction of requirements management. In: Proceedings of the international conference on requirements engineering, Colorado Springs, CO, 6-10 April 1998. IEEE Computer Society Press, Los Alamitos, CA, 1998, pp 138-145
-
(1998)
Proceedings of the International Conference on Requirements Engineering
, pp. 138-145
-
-
Fowler, P.1
Patrick, M.2
Carleton, A.3
Merrin, B.4
-
19
-
-
52649151875
-
-
Pittsburgh, PA, 11-13 November 1996. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA
-
Fowler P, Patrick M. Proceedings of the introducing requirements management into organizations workshop: requirements management transition packages (CMU/SEI-97-SR-001, ADA325553). Pittsburgh, PA, 11-13 November 1996. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1997
-
(1997)
Proceedings of the Introducing Requirements Management into Organizations Workshop: Requirements Management Transition Packages (CMU/SEI-97-SR-001, ADA325553)
-
-
Fowler, P.1
Patrick, M.2
-
21
-
-
52649119171
-
Special issue on adoption, diffusion, and infusion of IT
-
Chin WW, Marcolin BL (eds)
-
Chin WW, Marcolin BL (eds). Special issue on adoption, diffusion, and infusion of IT. Database 2001;32(3)
-
(2001)
Database
, vol.32
, Issue.3
-
-
-
23
-
-
0031248486
-
The assimilation of software process innovations: An organizational learning perspective
-
Fichman RG, Kemerer CF. The assimilation of software process innovations: an organizational learning perspective. Manage Sci 1997;43(10):1235-1363
-
(1997)
Manage Sci
, vol.43
, Issue.10
, pp. 1235-1363
-
-
Fichman, R.G.1
Kemerer, C.F.2
-
24
-
-
0033184939
-
Difficulties in the transition from OO analysis to design
-
Kaindl H. Difficulties in the transition from OO analysis to design. IEEE Software 1999;September/October:94-102
-
(1999)
IEEE Software
, vol.SEPTEMBER-OCTOBER
, pp. 94-102
-
-
Kaindl, H.1
-
26
-
-
1542282015
-
Structuring formal control systems specifications for reuse: Surviving hardware changes
-
Williamsburg, VA, June
-
Thompson J, Heimdahl MPE, Erikson D. Structuring formal control systems specifications for reuse: surviving hardware changes. In Proceedings of the fifth Langley formal methods workshop, Williamsburg, VA, June 2000
-
(2000)
Proceedings of the Fifth Langley Formal Methods Workshop
-
-
Thompson, J.1
Heimdahl, M.P.E.2
Erikson, D.3
-
27
-
-
0028495490
-
Requirements specification for process-control systems
-
Leveson NG, Heimdahl MP, Hildreth H, Reese JD. Requirements specification for process-control systems. IEEE Trans Software Eng 1994;20(9):684-707
-
(1994)
IEEE Trans Software Eng
, vol.20
, Issue.9
, pp. 684-707
-
-
Leveson, N.G.1
Heimdahl, M.P.2
Hildreth, H.3
Reese, J.D.4
-
28
-
-
84875066685
-
SCR: A practical approach to building a high assurance COMSEC system
-
IEEE Computer Society Press, Los Alamitos, CA
-
Kirby J, Archer M, Heitmeyer C. SCR: a practical approach to building a high assurance COMSEC system. In: Proceedings of the 15th annual computer security applications conference (ACSAC'99). IEEE Computer Society Press, Los Alamitos, CA, 1999
-
(1999)
Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC'99)
-
-
Kirby, J.1
Archer, M.2
Heitmeyer, C.3
-
30
-
-
0346678888
-
Requirements management and requirements engineering: You can't have one without the other
-
Mead NR. Requirements management and requirements engineering: You can't have one without the other. Cutter IT J 1999;3(5):4-8
-
(1999)
Cutter IT J
, vol.3
, Issue.5
, pp. 4-8
-
-
Mead, N.R.1
-
31
-
-
0034830016
-
Software acquisition: A business strategy analysis
-
August 2001, Toronto, Canada. IEEE Computer Society Press, Los Alamitos, CA
-
Farbey B, Finkelstein A. Software acquisition: a business strategy analysis. In: Proceedings of the fifth IEEE international symposium on requirements engineering, August 2001, Toronto, Canada. IEEE Computer Society Press, Los Alamitos, CA, 2001, pp 76-83
-
(2001)
Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
, pp. 76-83
-
-
Farbey, B.1
Finkelstein, A.2
-
32
-
-
0030781944
-
Towards modeling and reasoning support for early-phase requirements engineering
-
6-10 January, Annapolis, MD. IEEE Computer Society Press, Los Alamitos, CA
-
Yu ESK. Towards modeling and reasoning support for early-phase requirements engineering. In: Proceedings of the third IEEE international symposium on requirements engineering, 6-10 January 1997, Annapolis, MD. IEEE Computer Society Press, Los Alamitos, CA, pp 226-235
-
(1997)
Proceedings of the Third IEEE International Symposium on Requirements Engineering
, pp. 226-235
-
-
Yu, E.S.K.1
-
33
-
-
0000542534
-
Enhancing a requirements baseline with scenarios
-
Leite JCSP, Rossi G, Maiorana V, Balaguer F, Kaplan G, Hadad G, Oliveros A. Enhancing a requirements baseline with scenarios. Requirements Eng J 1997;2(4):184-198
-
(1997)
Requirements Eng J
, vol.2
, Issue.4
, pp. 184-198
-
-
Leite, J.C.S.P.1
Rossi, G.2
Maiorana, V.3
Balaguer, F.4
Kaplan, G.5
Hadad, G.6
Oliveros, A.7
-
34
-
-
0003902726
-
-
Addison-Wesley, Reading, MA
-
Jacobson I, Booch G, Rumbaugh J. The unified software development process. Addison-Wesley, Reading, MA, 1999
-
(1999)
The Unified Software Development Process
-
-
Jacobson, I.1
Booch, G.2
Rumbaugh, J.3
-
38
-
-
14344264649
-
Formal and informal aspects of requirements tracing
-
13-14 July 2000, Rio de Janeiro, Brazil. Dep. de Informática, PUC-Rio
-
Pinheiro FC. Formal and informal aspects of requirements tracing. Anais do III Workshop de Engenharia de Requisitos, 13-14 July 2000, Rio de Janeiro, Brazil. Dep. de Informática, PUC-Rio, 2000, pp 1-21. (Also available at http://www.inf.puc-rio.br/~wer00/Anais.html)
-
(2000)
Anais Do III Workshop de Engenharia de Requisitos
, pp. 1-21
-
-
Pinheiro, F.C.1
-
39
-
-
0035107781
-
Toward reference models of requirements traceability
-
Ramesh B, Jarke M. Toward reference models of requirements traceability. IEEE Trans Software Eng 2001;27(1):58-93
-
(2001)
IEEE Trans Software Eng
, vol.27
, Issue.1
, pp. 58-93
-
-
Ramesh, B.1
Jarke, M.2
-
40
-
-
0036575069
-
Tracing all around in reengineering
-
Ebner G, Kaindl H. Tracing all around in reengineering. IEEE Software 2002;May/June:70-77
-
(2002)
IEEE Software
, vol.MAY-JUNE
, pp. 70-77
-
-
Ebner, G.1
Kaindl, H.2
-
41
-
-
0029217175
-
A field study of requirements engineering practices in information systems development
-
York, UK, March 1995. IEEE Computer Society Press, Los Alamitos, CA
-
El Emam K, Madhavi NH. A field study of requirements engineering practices in information systems development. In: Proceedings of the second IEEE international symposium on requirements engineering, York, UK, March 1995. IEEE Computer Society Press, Los Alamitos, CA, 1995, pp 68-80
-
(1995)
Proceedings of the Second IEEE International Symposium on Requirements Engineering
, pp. 68-80
-
-
El Emam, K.1
Madhavi, N.H.2
-
44
-
-
12844279853
-
A discipline of description
-
Jackson MA. A discipline of description. Requirements Eng J 1998;3:73-78
-
(1998)
Requirements Eng J
, vol.3
, pp. 73-78
-
-
Jackson, M.A.1
-
46
-
-
0002587116
-
Understanding and managing organisational change
-
Maby C, Mayon-White W (eds). Paul Chapman, London
-
Pugh D. Understanding and managing organisational change. In: Maby C, Mayon-White W (eds). Managing change (2nd edn). Paul Chapman, London, 1993, pp 108-112
-
(1993)
Managing Change (2nd Edn)
, pp. 108-112
-
-
Pugh, D.1
-
48
-
-
0003600146
-
-
Routledge, London
-
Wikström S, Normann R, Anell B, Ekvall G, Forslin J, Skärvad P-H. Knowledge and value: a new perspective on corporate transformation. Routledge, London, 1994
-
(1994)
Knowledge and Value: A New Perspective on Corporate Transformation
-
-
Wikström, S.1
Normann, R.2
Anell, B.3
Ekvall, G.4
Forslin, J.5
Skärvad, P.-H.6
-
49
-
-
0030105229
-
Requirements engineering: The emerging wisdom
-
Siddiqi J, Shekran M. Requirements engineering: the emerging wisdom. IEEE Software 1996;March/April:15-19
-
(1996)
IEEE Software
, vol.MARCH-APRIL
, pp. 15-19
-
-
Siddiqi, J.1
Shekran, M.2
-
50
-
-
0034226084
-
Developing new processes for COTS-based systems
-
Brownsword L, Oberndorf T, Sledge CA. Developing new processes for COTS-based systems. IEEE Software 2000;July/ August:48-55.
-
(2000)
IEEE Software
, vol.JULY- AUGUST
, pp. 48-55
-
-
Brownsword, L.1
Oberndorf, T.2
Sledge, C.A.3
|