We propose the combination of two established models of computation (X การแปล - We propose the combination of two established models of computation (X ไทย วิธีการพูด

We propose the combination of two e

We propose the combination of two established models of computation (X-machines and CCS) to
generate a new behavioural specification and modelling language, CCS-XM. We show that such a language
could be used to represent object-oriented systems, reason about their behavioural properties, and refine
specifications into designs which are correct-by-construction. We delineate some of the semantics of such a
language, and suggest areas where further research would be necessary.
0/5000
จาก: -
เป็น: -
ผลลัพธ์ (ไทย) 1: [สำเนา]
คัดลอก!
เราเสนอการรวมกันของ 2 รุ่นก่อตั้งของคำนวณ (เครื่อง X และ CCS) เพื่อ สร้างข้อกำหนดพฤติกรรมใหม่และสร้างแบบจำลองภาษา CCS XM เราแสดงนั้นเช่นภาษา สามารถใช้แทนระบบเชิงวัตถุ เหตุผลเกี่ยวกับคุณสมบัติพฤติกรรม และปรับแต่ง ข้อกำหนดในการออกแบบที่แก้ไขโดยสร้าง เราไปของความหมายผลการ ภาษา และแนะนำพื้นที่ที่วิจัยเพิ่มเติมจะจำ
การแปล กรุณารอสักครู่..
ผลลัพธ์ (ไทย) 2:[สำเนา]
คัดลอก!
เราเสนอการรวมกันของทั้งสองรุ่นที่จัดตั้งขึ้นของการคำนวณ (X เครื่องและ CCS) เพื่อ
สร้างพฤติกรรมใหม่สเปคและภาษาการสร้างแบบจำลอง CCS-XM เราแสดงให้เห็นว่าภาษาดังกล่าว
สามารถนำมาใช้เพื่อเป็นตัวแทนของระบบเชิงวัตถุเหตุผลเกี่ยวกับคุณสมบัติของพฤติกรรมของพวกเขาและปรับแต่ง
รายละเอียดในการออกแบบที่ถูกต้องโดยการก่อสร้าง เราวาดภาพบางส่วนของความหมายเช่น
ภาษาและแนะนำพื้นที่ที่มีการวิจัยต่อไปจะเป็นสิ่งที่จำเป็น
การแปล กรุณารอสักครู่..
ผลลัพธ์ (ไทย) 3:[สำเนา]
คัดลอก!
เราเสนอการรวมกันของทั้งสองสร้างแบบจำลองการคำนวณ ( x-machines และ CCS )

สร้างพฤติกรรมใหม่และสเปคแบบภาษา ccs-xm . เราแสดงให้เห็นว่าภาษาดัง
สามารถใช้เป็นตัวแทนเชิงวัตถุระบบ เหตุผล เกี่ยวกับของพวกเขา พฤติกรรม คุณสมบัติ และ ปรับแต่ง
ข้อมูลเป็นการออกแบบที่ถูกต้อง โดยการก่อสร้างเราอธิบายบางส่วนของความหมายของเช่น
ภาษาและชี้ให้เห็นพื้นที่ที่การวิจัยเพิ่มเติมจะต้อง
การแปล กรุณารอสักครู่..
 
ภาษาอื่น ๆ
การสนับสนุนเครื่องมือแปลภาษา: กรีก, กันนาดา, กาลิเชียน, คลิงออน, คอร์สิกา, คาซัค, คาตาลัน, คินยารวันดา, คีร์กิซ, คุชราต, จอร์เจีย, จีน, จีนดั้งเดิม, ชวา, ชิเชวา, ซามัว, ซีบัวโน, ซุนดา, ซูลู, ญี่ปุ่น, ดัตช์, ตรวจหาภาษา, ตุรกี, ทมิฬ, ทาจิก, ทาทาร์, นอร์เวย์, บอสเนีย, บัลแกเรีย, บาสก์, ปัญจาป, ฝรั่งเศส, พาชตู, ฟริเชียน, ฟินแลนด์, ฟิลิปปินส์, ภาษาอินโดนีเซี, มองโกเลีย, มัลทีส, มาซีโดเนีย, มาราฐี, มาลากาซี, มาลายาลัม, มาเลย์, ม้ง, ยิดดิช, ยูเครน, รัสเซีย, ละติน, ลักเซมเบิร์ก, ลัตเวีย, ลาว, ลิทัวเนีย, สวาฮิลี, สวีเดน, สิงหล, สินธี, สเปน, สโลวัก, สโลวีเนีย, อังกฤษ, อัมฮาริก, อาร์เซอร์ไบจัน, อาร์เมเนีย, อาหรับ, อิกโบ, อิตาลี, อุยกูร์, อุสเบกิสถาน, อูรดู, ฮังการี, ฮัวซา, ฮาวาย, ฮินดี, ฮีบรู, เกลิกสกอต, เกาหลี, เขมร, เคิร์ด, เช็ก, เซอร์เบียน, เซโซโท, เดนมาร์ก, เตลูกู, เติร์กเมน, เนปาล, เบงกอล, เบลารุส, เปอร์เซีย, เมารี, เมียนมา (พม่า), เยอรมัน, เวลส์, เวียดนาม, เอสเปอแรนโต, เอสโทเนีย, เฮติครีโอล, แอฟริกา, แอลเบเนีย, โคซา, โครเอเชีย, โชนา, โซมาลี, โปรตุเกส, โปแลนด์, โยรูบา, โรมาเนีย, โอเดีย (โอริยา), ไทย, ไอซ์แลนด์, ไอร์แลนด์, การแปลภาษา.

Copyright ©2024 I Love Translation. All reserved.

E-mail: