-
3
-
-
34547275923
-
Improving the quality of natural language requirements specifications through natural language requirements patterns
-
Seoul, Korea, (September)
-
Tjong, S., Hallam., N. and Hartley, M. Improving the Quality of Natural Language Requirements Specifications through Natural Language Requirements Patterns, 6th IEEE International Conference on Computer and Information Technology (CIT06), Seoul, Korea, (September 2006), 199.
-
(2006)
6th IEEE International Conference on Computer and Information Technology (CIT06)
, pp. 199
-
-
Tjong, S.1
Hallam, N.2
Hartley, M.3
-
6
-
-
0028166444
-
On formal requirements modelling languages: RML revisited
-
Sorrento, Italy, IEEE Computer Society Press
-
Greenspan, S., Mylopoulos, J. and Borgida, A. On Formal Requirements Modelling Languages: RML Revisited, Proc. 16th International Conference of Software Engineering, Sorrento, Italy, 1994, 135-148, IEEE Computer Society Press.
-
(1994)
Proc. 16th International Conference of Software Engineering
, pp. 135-148
-
-
Greenspan, S.1
Mylopoulos, J.2
Borgida, A.3
-
7
-
-
0025498594
-
Telos: Representating knowledge about information systems
-
October
-
Mylopoulos, J., Borgida, A., Jarke, M. and Koubarakis, M. Telos: Representating Knowledge About Information Systems, ACM Transactions on Information Systems, 8, 3(October 1990), 325-262.
-
(1990)
ACM Transactions on Information Systems
, vol.8
, Issue.3
, pp. 325-362
-
-
Mylopoulos, J.1
Borgida, A.2
Jarke, M.3
Koubarakis, M.4
-
8
-
-
0030127113
-
TROLL - A language for object oriented specification of information systems
-
April
-
Jungclaus, R., Saake, G., Hartmann, T. and Sernadas, C. TROLL - A Language for Object Oriented Specification of Information systems. ACM Transactions on Information Systems, 14, 3(April 1996), 175-211.
-
(1996)
ACM Transactions on Information Systems
, vol.14
, Issue.3
, pp. 175-211
-
-
Jungclaus, R.1
Saake, G.2
Hartmann, T.3
Sernadas, C.4
-
9
-
-
26644432537
-
DESIRE: Modelling multi-agent systems in a compositional formal framework
-
Brazier, F., Dunin-Keplicz, B., Jennings, N. and Treur, J. DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework, International Journal of Cooperative Information Systems, 6, 1(1997).
-
(1997)
International Journal of Cooperative Information Systems
, vol.6
, Issue.1
-
-
Brazier, F.1
Dunin-Keplicz, B.2
Jennings, N.3
Treur, J.4
-
10
-
-
0032115493
-
The knowledge acquisition and representation language, KARL
-
August
-
Fensel, D., Angele, J. and Studer, R. The Knowledge Acquisition and Representation Language, KARL, IEEE Transactions on Knowledge and Data Engineering, 10, 4 (August 1998).
-
(1998)
IEEE Transactions on Knowledge and Data Engineering
, vol.10
, Issue.4
-
-
Fensel, D.1
Angele, J.2
Studer, R.3
-
11
-
-
0004043608
-
-
Institute for Advanced Computer Studies, University of Maryland at College Park.
-
Heflin, J., Hendler, J., Luke, S. and Qin, Z. SHOE: A Knowledge Representation Language for Internet Applications, Institute for Advanced Computer Studies, University of Maryland at College Park. 1999.
-
(1999)
SHOE: A Knowledge Representation Language for Internet Applications
-
-
Heflin, J.1
Hendler, J.2
Luke, S.3
Qin, Z.4
-
12
-
-
0002739539
-
Searching the web with SHOE
-
AAAI Press
-
Heflin, J. and Hendler, J. Searching the Web with SHOE, In Artificial Intelligence for Web Search, Papers for the AAAI Workshop WS-00-01, AAAI Press 2000, 35-40.
-
(2000)
Artificial Intelligence for Web Search, Papers for the AAAI Workshop WS-00-01
, pp. 35-40
-
-
Heflin, J.1
Hendler, J.2
-
13
-
-
4444342161
-
Compact representation of knowledge bases in inductive logic programming
-
The Netherlands
-
Struyf, J., Ramon, J., Bruynooghe, M., Verbaeten, S. and Blockeel, H. Compact Representation of Knowledge Bases in Inductive Logic Programming, Kluwer Academic Publishers, Machine Learning, 57, The Netherlands, 2004, 305-333.
-
(2004)
Kluwer Academic Publishers, Machine Learning
, vol.57
, pp. 305-333
-
-
Struyf, J.1
Ramon, J.2
Bruynooghe, M.3
Verbaeten, S.4
Blockeel, H.5
-
15
-
-
0031385980
-
Classification of research efforts in requirements engineering
-
Zave, P. Classification of Research Efforts in Requirements Engineering. ACM Computing Surveys, 29, 4(1997), 315-321.
-
(1997)
ACM Computing Surveys
, vol.29
, Issue.4
, pp. 315-321
-
-
Zave, P.1
-
21
-
-
85023009798
-
Requirements engineering: A roadmap
-
Limerick, Ireland
-
Nuseibeh, B. & Easterbrook, S. Requirements Engineering: A Roadmap, In Proc. of the Conference on The Future of Software Engineering, Limerick, Ireland, (2000), 35-46.
-
(2000)
Proc. of the Conference on the Future of Software Engineering
, pp. 35-46
-
-
Nuseibeh, B.1
Easterbrook, S.2
-
22
-
-
0345075157
-
Requirements engineering: An overview
-
A. Kent, and J. Williams, Eds. Marcel Dekker, New York, NY
-
Pohl, K. Requirements Engineering: An Overview, In Encyclopedia of Computer Science and Technology. A. Kent, and J. Williams, Eds. Marcel Dekker, New York, NY, 36, 21(1997).
-
(1997)
Encyclopedia of Computer Science and Technology
, vol.36
, pp. 21
-
-
Pohl, K.1
-
26
-
-
34547275175
-
-
M.Sc. Thesis, Fraunhofer Institue for Experimental Software Engineering, Kaiserslautern, Germany
-
Denger, C. High Quality Requirements Specifications for Embedded Systems through Authoring Rules and Language Patterns, M.Sc. Thesis, Fraunhofer Institue for Experimental Software Engineering, Kaiserslautern, Germany, 2002.
-
(2002)
High Quality Requirements Specifications for Embedded Systems Through Authoring Rules and Language Patterns
-
-
Denger, C.1
-
28
-
-
80054114382
-
Extended disambiguation rules for requirements specifications
-
Toronto, Canada, May
-
Tjong, S., Hartley, M. and Berry, D. Extended Disambiguation Rules for Requirements Specifications. The 10th Workshop on Requirements Engineering, WER '07, Toronto, Canada, May 2007.
-
(2007)
The 10th Workshop on Requirements Engineering, WER '07
-
-
Tjong, S.1
Hartley, M.2
Berry, D.3
|