Presentation of the fonnal specific

Presentation of the fonnal specification of a small text formatter illustrates an approach to the construction of formal specifications. The key features of this approvach are described, and their beneficial influence on the construction and organization of specifications of tasks, especially those for which no concise descriptions are possible, are discussed. The intent is that in addition to serving as formal descriptions of tasks, such specifications will be of use in the processes of verification, development, and maintenance of their implementations.

Published in:

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

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

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

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

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

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