共 20 条
[1]
Anderson R.J., 2010, Security Engineering: A Guide to Building Dependable Distributed Systems
[2]
[Anonymous], 2009, P 4 INT S INF COMP C
[3]
[Anonymous], DEPENDABLE REQUIREME
[4]
[Anonymous], 2010, DESIGN RES INFORM SY
[5]
Bjorner D., 2008, LECT NOTES COMPUTER
[6]
Bjorner D, 2010, LECT NOTES COMPUT SC, V5947, P2, DOI 10.1007/978-3-642-11486-1_2
[7]
Daramola O., 2012, MOVE MEANINGFUL INTE, P194
[8]
Dritsas S., KNOWLEDGE BASED APPR
[9]
Ontology-based Reasoning in Requirements Elicitation
[J].
SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS,
2009,
:263-+
[10]
Kaiya H., 2006, RE 14 IEEE INT C