共 50 条
- [1] Requirements for specification of embedded systems [J]. NINTH ANNUAL IEEE INTERNATIONAL ASIC CONFERENCE AND EXHIBIT, PROCEEDINGS, 1996, : 133 - 137
- [2] A Model Checking based Software Requirements Specification Approach for Embedded Systems [J]. 2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 184 - 191
- [3] Towards a dynamic software requirements specification [J]. 2014 WORLD CONGRESS ON COMPUTER APPLICATIONS AND INFORMATION SYSTEMS (WCCAIS), 2014,
- [5] A new specification of software components for embedded systems [J]. 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 46 - +
- [6] Towards a specification technique for component-based measurement and control software for embedded systems [J]. PROCEEDINGS OF THE 28TH EUROMICRO CONFERENCE, 2002, : 74 - 80
- [7] A Model-Based Workflow from Specification Until Validation of Timing Requirements in Embedded Software Systems [J]. 2015 10TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2015, : 166 - 169
- [8] SPECIFICATION AND DESIGN OF EMBEDDED HARDWARE-SOFTWARE SYSTEMS [J]. IEEE DESIGN & TEST OF COMPUTERS, 1995, 12 (01): : 53 - 67
- [9] Towards individualized requirements specification evolution for networked software based on aspect [J]. MAKING GLOBALLY DISTRIBUTED SOFTWARE DEVELOPMENT A SUCCESS STORY, 2008, 5007 : 88 - 99
- [10] Towards a model about quality of software requirements specification in agile projects [J]. PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2016, : 236 - 241