共 50 条
- [22] π-SPACE:: A formal architecture description language based on process algebra for evolving software systems FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 245 - 248
- [24] TOWARD GENERATING SYSTEM ARCHITECURE AND FORMAL FUNCTIONAL DESCRIPTION IN THE ARCHITECTURE ANALYSIS & DESIGN LANGUAGE (AADL) WITH STRUCTURED NATURAL LANGUAGE PROCEEDINGS OF ASME 2022 INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, IDETC-CIE2022, VOL 2, 2022,