This chapter illustrates both of th

This chapter illustrates both of the above-mentioned options. For quantitative
analysis, described in Sect. 8.2, we have chosen to propose a new top-down bottom-up
approach. Nevertheless, this approach also facilitates the integration with existent,
domain-specific analysis techniques. For functional analysis, explained in
Sect. 8.3, we have chosen the first approach, i.e., we show how existing techniques
from formal methods can be used in analysing the functional properties of
architectures.

ผลลัพธ์ (ไทย) 1:

บทนี้แสดงให้เห็นทั้งสองตัวเลือกดังกล่าว สำหรับเชิงปริมาณการวิเคราะห์ การอธิบายไว้ใน Sect. 8.2 เราเลือกที่จะเสนอการใหม่บนลงล่างล่างขึ้นแนวทางการ อย่างไรก็ตาม วิธีการนี้ยังอำนวยความสะดวกในการรวมกับมีอยู่จริงเทคนิคการวิเคราะห์เฉพาะโดเมน สำหรับการวิเคราะห์งาน อธิบายในSect. 8.3 เราเลือกวิธีแรก เช่น เราแสดงเทคนิควิธีที่มีอยู่จากวิธีการศึกษาใช้ในการวิเคราะห์คุณสมบัติการทำงานของสถาปัตยกรรม

ผลลัพธ์ (ไทย) 2:

ในบทนี้จะแสดงให้เห็นถึงทั้งสองตัวเลือกดังกล่าวข้างต้น
สำหรับปริมาณการวิเคราะห์ที่อธิบายไว้ในนิกาย 8.2
เราได้เลือกที่จะนำเสนอใหม่จากบนลงล่างล่างขึ้นวิธีการ อย่างไรก็ตามวิธีการนี้ยังอำนวยความสะดวกในการทำงานร่วมกับที่มีอยู่,
เทคนิคการวิเคราะห์โดเมนเฉพาะ
สำหรับการวิเคราะห์การทำงานที่อธิบายไว้ในนิกาย 8.3 เราได้เลือกวิธีแรกคือเราแสดงให้เห็นว่าเทคนิคที่มีอยู่จากวิธีการทางการสามารถนำมาใช้ในการวิเคราะห์คุณสมบัติการทำงานของสถาปัตยกรรม

ผลลัพธ์ (ไทย) 3:

บทนี้แสดงให้เห็นถึงทั้งสองตัวเลือกดังกล่าวข้างต้น สำหรับการวิเคราะห์เชิงปริมาณ
, อธิบายไว้ในนิกาย 8.2 , ที่เราได้เลือกที่จะเสนอแนวทางจากบนลงล่าง จากล่างขึ้นบน
ใหม่ อย่างไรก็ตาม วิธีการนี้ยังอำนวยความสะดวกในการรวมกับที่มีอยู่
, โดเมนการวิเคราะห์เทคนิค สำหรับการวิเคราะห์การทำงาน , อธิบายใน
นิกาย 8.3 เราเลือกวิธีแรก คือเราแสดงวิธีการที่มีอยู่ในเทคนิค
จากวิธีการทางการสามารถใช้ในการวิเคราะห์คุณสมบัติของ
สถาปัตยกรรม .