共 50 条
- [32] Deriving engineering specifications from release dispersion and CFD explosion modeling INTERNATIONAL CONFERENCE AND WORKSHOP ON MODELING THE CONSEQUENCES OF ACCIDENTAL RELEASES OF HAZARDOUS MATERIALS, 1999, : 495 - 514
- [33] Deriving Efficient Data Movement from Decoupled Access/Execute Specifications HIGH PERFORMANCE EMBEDDED ARCHITECTURES AND COMPILERS, PROCEEDINGS, 2009, 5409 : 168 - +
- [34] TESTOR: Deriving test sequences from model-based specifications COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3489 : 267 - 282
- [35] Identifying Domain Elements from Textual Specifications 2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2016, : 566 - 577
- [36] Deriving specifications for systems that are connected to the physical world FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 364 - +
- [37] Deriving specifications for systems that are connected to the physical world FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 396 - +
- [38] Filter promotion transformation strategies for deriving efficient programs from Z specifications ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 2000, : 157 - 167
- [39] Building finite automata from DI specifications ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - FOURTH INTERNATIONAL SYMPOSIUM, 1998, : 184 - 193
- [40] Which widgets? Deriving implementations from formal user-interface specifications DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 206 - 224