共 50 条
- [31] Symbolic Automata for Static Specification Mining STATIC ANALYSIS, SAS 2013, 2013, 7935 : 63 - 83
- [32] Specification Mining in Concurrent and Distributed Systems 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1161 - 1163
- [33] A Qualitative Analysis on the Specification Mining Techniques 2013 IEEE INTERNATIONAL CONFERENCE ON EMERGING TRENDS IN COMPUTING, COMMUNICATION AND NANOTECHNOLOGY (ICE-CCN'13), 2013, : 199 - 202
- [34] Dynamic Specification Mining Based on Transformer THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 220 - 237
- [35] Specification of GNSS Application for Multiprocessor Platform 2008 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP, PROCEEDINGS, 2008, : 128 - 133
- [36] A Platform for Requirement Based Formal Specification 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 237 - 238
- [37] A platform for web augmentation requirements specification Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8541
- [38] SPECIFICATION FOR A PROCESS PLANNING ENABLING PLATFORM JOURNAL OF SYSTEMS ENGINEERING, 1995, 5 (01): : 48 - 59
- [39] A platform for web augmentation requirements specification Firmenich, Diego (dfirmenich@tw.unp.edu.ar), 1600, Springer Verlag (8541):
- [40] An Experimentation Platform for the Automatic Parallelization of R Programs 2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 203 - 212