共 50 条
- [1] LANGUAGE OF FORMAL ARCHITECTURE ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 1979, 6 (03): : 269 - 278
- [3] A formal language of urban freeway traffic patterns PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 711 - 717
- [4] BALANCING FORMAL AND FUNCTIONAL EXPLANATIONS IN LANGUAGE CHANGE AND LANGUAGE CONTACT LINGUISTIQUE, 2011, 47 (01): : 5 - 26
- [5] Algebraic Model and Formal Description Language of Software Architecture PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL II, 2009, : 659 - 665
- [7] A UML-compatible formal language for system architecture description SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 234 - 246
- [9] Hotspot Patterns: The Formal Definition and Automatic Detection of Architecture Smells 2015 12TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2015, : 51 - 60
- [10] Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard 2016 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2016, : 30 - 39