Specification is the process of des

Specification is the process of describing
a system and its desired properties. Formal specification uses a language with a
mathematically defined syntax and semantics. The kinds of system properties
might include functional behavior, timing behavior, performance characteristics, or internal structure. So far, specification has been most successful for
behavioral properties. One current
trend is to integrate different specification languages, each able to handle a
different aspect of a system. Another is
to handle nonbehavioral aspects of a
system such as its performance, realtime constraints, security policies, and
architectural design.

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

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

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

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

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

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

เช่น ประสิทธิภาพของระบบเรียลไทม์ของข้อจำกัดนโยบายความปลอดภัยและ
ออกแบบสถาปัตยกรรม