共 50 条
- [1] Requirements for specification of embedded systems NINTH ANNUAL IEEE INTERNATIONAL ASIC CONFERENCE AND EXHIBIT, PROCEEDINGS, 1996, : 133 - 137
- [2] A Model Checking based Software Requirements Specification Approach for Embedded Systems 2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 184 - 191
- [3] Towards a dynamic software requirements specification 2014 WORLD CONGRESS ON COMPUTER APPLICATIONS AND INFORMATION SYSTEMS (WCCAIS), 2014,
- [5] A new specification of software components for embedded systems 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 PROCEEDINGS OF THE 28TH EUROMICRO CONFERENCE, 2002, : 74 - 80
- [8] A Model-Based Workflow from Specification Until Validation of Timing Requirements in Embedded Software Systems 2015 10TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2015, : 166 - 169
- [9] SPECIFICATION AND DESIGN OF EMBEDDED HARDWARE-SOFTWARE SYSTEMS IEEE DESIGN & TEST OF COMPUTERS, 1995, 12 (01): : 53 - 67
- [10] Towards individualized requirements specification evolution for networked software based on aspect MAKING GLOBALLY DISTRIBUTED SOFTWARE DEVELOPMENT A SUCCESS STORY, 2008, 5007 : 88 - 99