□ Specification and design are inex

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

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

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

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

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

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

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