□ Architectural design is essential

□ Architectural design is essential to structure a specification.
□ Formal specifications are expressed in a mathematical notation with precisely defined vocabulary, syntax and semantics.

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

□การออกแบบสถาปัตยกรรมเป็นสิ่งจำเป็นการจัดโครงสร้างข้อมูลจำเพาะข้อมูลจำเพาะทาง□ถูกแสดงในสัญกรณ์คณิตศาสตร์กับแม่นยำกำหนดคำศัพท์ ไวยากรณ์ และความหมาย

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

□การออกแบบสถาปัตยกรรมเป็นสิ่งจำเป็นต่อโครงสร้างสเปค.
□รายละเอียดอย่างเป็นทางการจะมีการแสดงออกในทางคณิตศาสตร์กับคำศัพท์ที่กำหนดไว้อย่างแม่นยำไวยากรณ์และความหมาย

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

□การออกแบบสถาปัตยกรรมสำคัญต่อโครงสร้างสเปค .
□อย่างเป็นทางการกำหนดแสดงในสัญกรณ์คณิตศาสตร์อย่างแน่นอน นิยามคำศัพท์ ไวยากรณ์และอรรถศาสตร์