共 50 条
- [42] An adaptive framework for the design of software specification languages ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, 2005, : 349 - 352
- [43] Panel on languages for formal specification of security protocols 10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 96 - 96
- [44] A suite of visual languages for statistical survey specification 2005 IEEE SYMPOSIUM ON VISUAL LANGUAGE AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2005, : 19 - 26
- [45] Supporting case analysis with algebraic specification languages FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1073 - 1080
- [48] STANDARDS FOR NON-EXECUTABLE SPECIFICATION LANGUAGES COMPUTER JOURNAL, 1992, 35 (06): : 567 - 573
- [49] Comparing Topic Maps Constraint specification languages SCALING TOPIC MAPS, 2008, 4999 : 86 - +
- [50] Simplified specification languages for flexible and agile modelling 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 460 - 467