-
1
-
-
0027574423
-
Goal-Directed Requirements Acquisition
-
A. Dardenne, A. van Lamsweerde, and S. Fickas, "Goal-Directed Requirements Acquisition," Science of Computer Programming, vol. 20, nos. 1-2, 1993, pp. 3-50.
-
(1993)
Science of Computer Programming
, vol.20
, Issue.1-2
, pp. 3-50
-
-
Dardenne, A.1
van Lamsweerde, A.2
Fickas, S.3
-
3
-
-
0036472463
-
Requirements-Based Monitors for Real-Time Systems
-
D.K. Peters and D.L. Parnas, "Requirements-Based Monitors for Real-Time Systems," IEEE Trans. Software Eng., vol. 28, no. 2, 2002, pp. 146-158.
-
(2002)
IEEE Trans. Software Eng
, vol.28
, Issue.2
, pp. 146-158
-
-
Peters, D.K.1
Parnas, D.L.2
-
4
-
-
31044446470
-
A Requirements Monitoring Framework for Enterprise Systems
-
W.N. Robinson, "A Requirements Monitoring Framework for Enterprise Systems," Requirements Eng. J., vol. 11, no. 1, 2006, pp. 17-41.
-
(2006)
Requirements Eng. J
, vol.11
, Issue.1
, pp. 17-41
-
-
Robinson, W.N.1
-
5
-
-
20444431895
-
Making Electronic Mail Accessible: Perspectives of People with Acquired Cognitive Impairments, Caregivers and Professionals
-
B. Todis et al., "Making Electronic Mail Accessible: Perspectives of People with Acquired Cognitive Impairments, Caregivers and Professionals," Brain Injury, vol. 19, no. 6, 2005, pp. 389-402.
-
(2005)
Brain Injury
, vol.19
, Issue.6
, pp. 389-402
-
-
Todis, B.1
-
6
-
-
23244444162
-
The Longitudinal Effects of Accessible Email for Individuals with Severe Cognitive Impairments
-
M.M. Sohlberg et al., "The Longitudinal Effects of Accessible Email for Individuals with Severe Cognitive Impairments," Aphasiology, vol. 19, no. 7, 2005, pp. 651-681.
-
(2005)
Aphasiology
, vol.19
, Issue.7
, pp. 651-681
-
-
Sohlberg, M.M.1
-
7
-
-
27644515692
-
The Role of Deferred Requirements: A Case Study
-
IEEE CS Press
-
S. Fickas, W. Robinson, and M. Sohlberg, "The Role of Deferred Requirements: A Case Study," Proc. 13th Int'l IEEE Conf. Requirements Eng. (RE 05), IEEE CS Press, 2005, pp. 145-154.
-
(2005)
Proc. 13th Int'l IEEE Conf. Requirements Eng. (RE 05)
, pp. 145-154
-
-
Fickas, S.1
Robinson, W.2
Sohlberg, M.3
-
8
-
-
27644439304
-
Personal and Contextual Requirements Engineering
-
IEEE CS Press
-
A. Sutcliffe, S. Fickas, and M.M. Sohlberg, "Personal and Contextual Requirements Engineering," Proc. 13th Int'l IEEE Conf. Requirements Eng. (RE 05), IEEE CS Press, 2005, pp. 19-30.
-
(2005)
Proc. 13th Int'l IEEE Conf. Requirements Eng. (RE 05)
, pp. 19-30
-
-
Sutcliffe, A.1
Fickas, S.2
Sohlberg, M.M.3
-
10
-
-
17044375921
-
Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice
-
IEEE CS Press
-
A. van Lamsweerde, "Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice," Proc. 12th Int'l IEEE Conf. Requirements Eng. (RE 04), IEEE CS Press, 2004, pp. 4-7.
-
(2004)
Proc. 12th Int'l IEEE Conf. Requirements Eng. (RE 04)
, pp. 4-7
-
-
van Lamsweerde, A.1
-
11
-
-
84883562580
-
Extended OCL for Goal Monitoring, Electronic Comm. European Assoc
-
Jan
-
W.N. Robinson, "Extended OCL for Goal Monitoring," Electronic Comm. European Assoc. Software Science and Technology, Jan. 2008, pp. 1-12.
-
(2008)
Software Science and Technology
, pp. 1-12
-
-
Robinson, W.N.1
-
13
-
-
0032667112
-
Patterns in Property Specifications for Finite-State Verification
-
ACM Press
-
M.B. Dwyer, G.S. Avrunin, and J.C. Corbett, "Patterns in Property Specifications for Finite-State Verification," Proc. 21st Int'l Conf. Software Eng. (ICSE 99), ACM Press, 1999, pp. 411-420.
-
(1999)
Proc. 21st Int'l Conf. Software Eng. (ICSE 99)
, pp. 411-420
-
-
Dwyer, M.B.1
Avrunin, G.S.2
Corbett, J.C.3
-
14
-
-
63049101461
-
Specifying and Monitoring Interactions and Commitments in Open Business Processes
-
W.N. Robinson and S. Purao, "Specifying and Monitoring Interactions and Commitments in Open Business Processes," IEEE Software, vol. 26, no. 2, 2008, pp. 72-79.
-
(2008)
IEEE Software
, vol.26
, Issue.2
, pp. 72-79
-
-
Robinson, W.N.1
Purao, S.2
-
15
-
-
69849116009
-
An Automated Approach for Monitoring and Diagnosing Requirements
-
ACM Press
-
Y. Wang, Y. Yu, and J. Mylopoulos, "An Automated Approach for Monitoring and Diagnosing Requirements," Proc. 22nd IEEE/ACM Int'l Conf. Automated Software Eng., ACM Press, 2007, pp. 293-302.
-
(2007)
Proc. 22nd IEEE/ACM Int'l Conf. Automated Software Eng
, pp. 293-302
-
-
Wang, Y.1
Yu, Y.2
Mylopoulos, J.3
|