-
1
-
-
85088055161
-
Analyzing goal semantics for rights, obligations, and permissions
-
Paris, France
-
Breaux, T.D., Antón, A.I., "Analyzing Goal Semantics for Rights, Obligations, and Permissions." In Proc. of the 13th Int'l Conf. on Requirements Engineering (RE '05), Paris, France, 2005.
-
(2005)
Proc. of the 13th Int'l Conf. on Requirements Engineering (RE '05)
-
-
Breaux, T.D.1
Antón, A.I.2
-
3
-
-
84941152376
-
Jena: Implementing the semantic web recommendations
-
Carroll, J. J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K., "Jena: implementing the semantic web recommendations," In Proc. of the 13th Int'l World Wide Web Conf., USA, pp: 74-83, 2004
-
(2004)
Proc. of the 13th Int'l World Wide Web Conf., USA
, pp. 74-83
-
-
Carroll, J.J.1
Dickinson, I.2
Dollin, C.3
Reynolds, D.4
Seaborne, A.5
Wilkinson, K.6
-
4
-
-
0031628515
-
OKBC: A programmatic foundation for knowledge base interoperability
-
AAAI, CA, USA
-
Chaudhri, V. K., Farquhar, A., Fikes, R., Karp, P. D., Rice, J. P., "OKBC: a programmatic foundation for knowledge base interoperability," In Proc. of the 15th National/10th Conf. on Artificial intelligence/innovative Applications of Artificial intelligence, AAAI, CA, USA, pp: 600-607, 1998.
-
(1998)
Proc. of the 15th National/10th Conf. on Artificial Intelligence/innovative Applications of Artificial Intelligence
, pp. 600-607
-
-
Chaudhri, V.K.1
Farquhar, A.2
Fikes, R.3
Karp, P.D.4
Rice, J.P.5
-
6
-
-
84953404709
-
-
DoD Instruction 5200.40
-
DoD Instruction 5200.40, "DITSCAP," 1997.
-
(1997)
DITSCAP
-
-
-
7
-
-
84953444170
-
-
DoDD 8500.1. Information Assurance. Oct. 2002
-
DoDD 8500.1. Information Assurance. Oct. 2002.
-
-
-
-
8
-
-
84953444171
-
-
DoDI 8500.2. IA Implementation. Feb 2003
-
DoDI 8500.2. IA Implementation. Feb 2003
-
-
-
-
9
-
-
19844380375
-
Ontology based object-oriented domain modeling: Fundamental concepts
-
Springer
-
Evermann, J., Wand, Y., "Ontology based object-oriented domain modeling: fundamental concepts," Requirements Engineering Journal, Springer 2005.
-
(2005)
Requirements Engineering Journal
-
-
Evermann, J.1
Wand, Y.2
-
10
-
-
0031483502
-
The meaning of requirements
-
Baltzer Science Publishers
-
Jackson, M., "The Meaning of Requirements," Annals of Software Engineering, Vol 3, Baltzer Science Publishers, pp. 5-21, 1997
-
(1997)
Annals of Software Engineering
, vol.3
, pp. 5-21
-
-
Jackson, M.1
-
11
-
-
33846560895
-
Life cycle security and ditscap
-
Spring
-
Kimbell, J., Walrath, M, "Life Cycle Security and DITSCAP". IANewsletter, Vol. 4, No. 2., Spring 2001
-
(2001)
IANewsletter
, vol.4
, Issue.2
-
-
Kimbell, J.1
Walrath, M.2
-
12
-
-
0029733929
-
Requirements engineering with viewpoints
-
Jan
-
Kotonya, G., Sommerville, I., "Requirements Engineering with Viewpoints," BCS/IEE Software Engineering Journal, pp. 5-18, Vol. 11, Issue: 1, Jan. 1996
-
(1996)
BCS/IEE Software Engineering Journal
, vol.11
, Issue.1
, pp. 5-18
-
-
Kotonya, G.1
Sommerville, I.2
-
13
-
-
30344485429
-
Analyzing government regulations using structural and domain information
-
December
-
Lau, G.T., Kincho H. Law, Wiederhold, G., "Analyzing Government Regulations Using Structural and Domain Information," IEEE Computer, Vol. 38, Issue 12, pp.70-76, December 2005
-
(2005)
IEEE Computer
, vol.38
, Issue.12
, pp. 70-76
-
-
Lau, G.T.1
Law, K.H.2
Wiederhold, G.3
-
14
-
-
33846610804
-
Establishing trustworthiness in services of the critical infrastructure: Automating the ditscap
-
May
-
Lee, S. W., Gandhi, R. A., Ahn, G, "Establishing Trustworthiness in Services of the Critical Infrastructure: Automating the DITSCAP", In Proc. of the Workshop on Software Engineering for Secure Systems (SESS05), 27th Int'l Conf. on Software Engineering (ICSE '05), pp.43-49, May 2005
-
(2005)
Proc. of the Workshop on Software Engineering for Secure Systems (SESS05), 27th Int'l Conf. on Software Engineering (ICSE '05)
, pp. 43-49
-
-
Lee, S.W.1
Gandhi, R.A.2
Ahn, G.3
-
15
-
-
33845325704
-
Security requirements driven risk assessment for critical infrastructure information systems
-
Requirements Engineering, France, IEEE Computer Society
-
Lee, S. W., Gandhi, R. A., Ahn, G., "Security Requirements Driven Risk Assessment for Critical Infrastructure Information Systems", In Proc. of the Symposium on Requirements Engineering for Information Security (SREIS 05), Requirements Engineering, France, IEEE Computer Society, 2005
-
(2005)
Proc. of the Symposium on Requirements Engineering for Information Security (SREIS 05)
-
-
Lee, S.W.1
Gandhi, R.A.2
Ahn, G.3
-
16
-
-
33846642389
-
Certification process artifacts defined as measurable units for software-intensive systems lifecycle
-
Wiley
-
Lee, S. W., Gandhi, R. A., and Ahn, G., "Certification Process Artifacts Defined as Measurable Units for Software-intensive Systems Lifecycle" To Appear in Software Process Improvement and Practice Journal, Wiley, 2006
-
(2006)
Software Process Improvement and Practice Journal
-
-
Lee, S.W.1
Gandhi, R.A.2
Ahn, G.3
-
17
-
-
33846616118
-
Engineering dependability requirements for software-intensive systems through the definition of a common language
-
Paris, France
-
Lee, S.W., Gandhi, R.A, "Engineering Dependability Requirements for Software-intensive Systems through the Definition of a Common Language", In Proc. of the 13th IEEE Int'l Requirements Engineering Conf. (RE '05), Workshop on Requirements Engineering for High-Availability Systems (RHAS), Paris, France, pp. 40-48, 2005
-
(2005)
Proc. of the 13th IEEE Int'l Requirements Engineering Conf. (RE '05), Workshop on Requirements Engineering for High-Availability Systems (RHAS)
, pp. 40-48
-
-
Lee, S.W.1
Gandhi, R.A.2
-
19
-
-
33846566578
-
Case study methodology designed research in software engineering methodology validation
-
Canada
-
Lee, S.W., Rine, D.C., "Case Study Methodology Designed Research in Software Engineering Methodology Validation," In Proc. of the 16th Int'l Conf. on Software Eng. and Knowledge Eng., Canada, 2004, pp: 117-122
-
(2004)
Proc. of the 16th Int'l Conf. on Software Eng. and Knowledge Eng.
, pp. 117-122
-
-
Lee, S.W.1
Rine, D.C.2
-
20
-
-
34247502770
-
-
Technical Report TR-NiSE-05-05, Knowledge Intensive Software Engineering Research Group, Dept. of Software and Information Systems, UNC Charlotte
-
Lee, S.W., Yavagal, D., "GenOM User's Guide V2.0," Technical Report TR-NiSE-05-05, Knowledge Intensive Software Engineering Research Group, Dept. of Software and Information Systems, UNC Charlotte, 2005
-
(2005)
GenOM User's Guide V2.0
-
-
Lee, S.W.1
Yavagal, D.2
-
21
-
-
85017624868
-
A strategy for conceptual model acquisition
-
Leite JCSP, Franco, APM. IEEE Computer Society Press, Los Alamitos, CA
-
Leite JCSP, Franco, APM. "A strategy for conceptual model acquisition," In proc. of the IEEE Int'l symposium on Requirements Engineering (RE '93). IEEE Computer Society Press, Los Alamitos, CA, pp 243-246, 1993
-
(1993)
Proc. of the IEEE Int'l Symposium on Requirements Engineering (RE '93)
, pp. 243-246
-
-
-
22
-
-
0942288555
-
Designing information systems in social context: A goal and scenario modeling approach
-
Elsevier
-
Liu, L., Yu, E., "Designing Information Systems in Social Context: A Goal and Scenario Modeling Approach," Information Systems Journal. Vol. 29(2), Elsevier, 2003
-
(2003)
Information Systems Journal
, vol.29
, Issue.2
-
-
Liu, L.1
Yu, E.2
-
26
-
-
0032299468
-
Guiding goal modeling using scenarios
-
Rolland, C., Souveyet, C., Achour, C. B., "Guiding Goal Modeling Using Scenarios," IEEE Trans. on Software Eng., Vol. 24:12, pp: 1055-1071, 1998
-
(1998)
IEEE Trans. on Software Eng.
, vol.24
, Issue.12
, pp. 1055-1071
-
-
Rolland, C.1
Souveyet, C.2
Achour, C.B.3
-
27
-
-
0003618149
-
Scenario-based requirements analysis
-
Springer-Verlag, Inc.
-
Sutcliffe, A. "Scenario-based requirements analysis", Requirements Engineering Journal, Vol 3(1), Springer-Verlag, Inc., pp: 48-65, 1998.
-
(1998)
Requirements Engineering Journal
, vol.3
, Issue.1
, pp. 48-65
-
-
Sutcliffe, A.1
-
28
-
-
0034837933
-
Goal-oriented requirements engineering: A guided tour
-
Canada
-
van Lamsweerde, A., "Goal-oriented requirements engineering: a guided tour," In Proc. of the 5th Int'l Symp. on RE, Canada, pp. 249-262, 2001
-
(2001)
Proc. of the 5th Int'l Symp. on RE
, pp. 249-262
-
-
Van Lamsweerde, A.1
|