共 50 条
- [2] Requirements engineering and verification using specification animation [J]. 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 302 - 305
- [3] Ontology as a requirements engineering product [J]. 11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 309 - 319
- [5] Requirements engineering in software product line engineering [J]. Requirements Engineering, 2014, 19 : 331 - 332
- [6] Requirements Engineering for Artificial Intelligence: What Is a Requirements Specification for an Artificial Intelligence? [J]. REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2022, 2022, 13216 : 19 - 25
- [8] A formal requirements engineering method for specification, synthesis, and verification [J]. 8TH CONFERENCE ON SOFTWARE ENGINEERING ENVIRONMENTS - PROCEEDINGS, 1997, : 131 - 144
- [9] Introduction to product line requirements engineering [J]. SPLC 2006: 10th International Software Product Line Conference, Proceedings, 2006, : 215 - 215