-
1
-
-
0842348511
-
-
3rd (Springer)
-
Hull, M.E.C., Jackson, K., and Dick, A.J.J.: ' Requirements engineering ', 3rd (Springer, 2010)
-
(2010)
Requirements Engineering
-
-
Hull, M.E.C.1
Jackson, K.2
Dick, A.J.J.3
-
2
-
-
79952031096
-
-
accessed March 2010
-
Kelly, T., Bate, I., McDermid, J., Burns, A.: 'Building a preliminary safety case: an example from aerospace'. www-users.cs.york.ac.uk/~tpk/, accessed March 2010
-
Building A Preliminary Safety Case: An Example from Aerospace
-
-
Kelly, T.1
Bate, I.2
McDermid, J.3
Burns, A.4
-
6
-
-
79952022632
-
The SHIP safety case approach
-
Belgirate, Italy
-
Bishop, P.G., and Bloomfield, R.E.: ' The SHIP safety case approach ', Proc. Safecomp'95, Belgirate, Italy, 1995, p. 437-445
-
(1995)
Proc. Safecomp'95
, pp. 437-445
-
-
Bishop, P.G.1
Bloomfield, R.E.2
-
7
-
-
0028320313
-
Support for safety cases and safety argument using SAM
-
10.1016/0951-8320(94)90057-4
-
McDermid, J.A.: ' Support for safety cases and safety argument using SAM ', Reliab. Eng. Safety Syst., 1994, 43, (2), p. 111-127 10.1016/0951-8320(94) 90057-4
-
(1994)
Reliab. Eng. Safety Syst.
, vol.43
, Issue.2
, pp. 111-127
-
-
McDermid, J.A.1
-
8
-
-
9344231338
-
Safety case development: Current practice, future prospects
-
12th, Bruges, Belgium
-
Wilson, S.P., Kelly, T.P., and McDermid, J.A.: ' Safety case development: current practice, future prospects ', 12th, Annual CSR Workshop, Bruges, Belgium, 1997
-
(1997)
Annual CSR Workshop
-
-
Wilson, S.P.1
Kelly, T.P.2
McDermid, J.A.3
-
9
-
-
0033892694
-
Intent specifications: An approach to building human-centered specifications
-
DOI 10.1109/32.825764
-
Leveson, N.G.: ' Intent specification: an approach to building human - centred specifications ', IEEE Trans. Softw. Eng., 2000, 26, (1), p. 15-35 10.1109/32.825764 0098-5589 (Pubitemid 30584678)
-
(2000)
IEEE Transactions on Software Engineering
, vol.26
, Issue.1
, pp. 15-35
-
-
Leveson, N.G.1
-
10
-
-
0033716145
-
Requirements engineering in the year 00: A research perspective
-
Limerick, Ireland
-
Van Lamsweerde, A.: ' Requirements engineering in the year 00: a research perspective ', Proc. (ICSE'2000), Limerick, Ireland, 2000
-
(2000)
Proc. (ICSE'2000)
-
-
Van Lamsweerde, A.1
-
11
-
-
2942737474
-
Using quality models to engineer quality requirements
-
Firesmith, D.: ' Using quality models to engineer quality requirements ', J. Object Technol., 2003, 2, (5), p. 67-75 10.5381/jot.2003.2.5.c6 (Pubitemid 38799877)
-
(2003)
Journal of Object Technology
, vol.2
, Issue.5
, pp. 67-75
-
-
Firesmith, D.1
-
13
-
-
0030781944
-
Towards modelling and reasoning support for early phase Requirements engineering
-
Yu, E.: ' Towards modelling and reasoning support for early phase Requirements engineering ', Third IEEE Int. Symp. on Requirements Engineering, 1997
-
(1997)
Third IEEE Int. Symp. on Requirements Engineering
-
-
Yu, E.1
-
14
-
-
0141733117
-
Modelling access policies using roles in requirements engineering
-
10.1016/S0950-5849(03)00097-1
-
Crook, R., Ince, D., and Nuseibh, B.: ' Modelling access policies using roles in requirements engineering ', Inf. Softw. Technol., 2003, 45, p. 979-991 10.1016/S0950-5849(03)00097-1
-
(2003)
Inf. Softw. Technol.
, vol.45
, pp. 979-991
-
-
Crook, R.1
Ince, D.2
Nuseibh, B.3
-
15
-
-
79952012260
-
-
Telelogic white paper 2004 accessed October 2009
-
Kobryn, C., Sibbald, C.: 'Modeling DoDAF'. Telelogic white paper 2004, www.telelogic.com, accessed October 2009
-
Modeling DoDAF
-
-
Kobryn, C.1
Sibbald, C.2
-
16
-
-
79952012259
-
Combining a safety management process with a safety framework
-
Black, D.D., Hull, M.E.C., and Jackson, K.: ' Combining a safety management process with a safety framework ', J. Intell. Inf. Manage., 2010, 2, p. 233-242
-
(2010)
J. Intell. Inf. Manage.
, vol.2
, pp. 233-242
-
-
Black, D.D.1
Hull, M.E.C.2
Jackson, K.3
-
17
-
-
79952011581
-
Experience in using a PFW system - A case study
-
10.4236/jsea.2010.35058
-
Black, D.D., Hull, M.E.C., and Jackson, K.: ' Experience in using a PFW system - a case study ', J. Softw. Eng. Appl., 2010, 3, p. 510-516 10.4236/jsea.2010.35058
-
(2010)
J. Softw. Eng. Appl.
, vol.3
, pp. 510-516
-
-
Black, D.D.1
Hull, M.E.C.2
Jackson, K.3
|