Education is vital to the success o

Education is vital to the success of the
formal methods. There are different
kinds of audiences:
—Our research peers. Some of our greatest skeptics are our own colleagues.
We can overcome this skepticism by
collaborating with them and their
students on systems that they care
about.
—Practitioners. Technology transfer
should be taken very seriously from
the very beginning. The recent spread
of formal methods is directly related
to efforts made by researchers in
teaching their techniques to industry.
For effective technology transfer,
however, we must keep in mind that
success for industry depends on
timely delivery, continuously enhanced functionality, understanding
customers’ needs, reuse of legacy
code, commitment to quality, elimination of errors, cost-effective development, and real-time performance.
—Students at all levels. Some graduate
programs now incorporate formal
methods in their curricula [Garlan et
al. 1995; Oxford University 1996]. Educators are starting to consider teaching formal methods at the undergraduate level. Students need to
understand not just how to build single stand-alone programs from
scratch, but also how to construct
large systems, perhaps using off-theshelf components, and how to maintain legacy code; they need to know
not just how to code, but also how to
do high-level system design.

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

การศึกษามีความสำคัญต่อความสำเร็จของการวิธีการอย่างเป็นทางการ มีแตกต่างกันประเภทของผู้ชม:— เพื่อนวิจัยของเรา ของเราสงสัยมากที่สุดได้เพื่อนร่วมงานของเราเองเราสามารถเอาชนะนี้สงสัยโดยร่วมมือกับพวกเขา และของพวกเขานักเรียนในระบบที่จะดูแลเกี่ยวกับการตัวผู้ การถ่ายทอดเทคโนโลยีควรดำเนินการอย่างจริงจังมากจากเริ่มต้น แพร่ล่าสุดวิธีการศึกษาจะเกี่ยวข้องโดยตรงในความพยายามที่ทำ โดยนักวิจัยในสอนเทคนิคการอุตสาหกรรมสำหรับการถ่ายทอดเทคโนโลยีที่มีประสิทธิภาพอย่างไรก็ตาม เราต้องเก็บไว้ในจิตใจที่ความสำเร็จในอุตสาหกรรมขึ้นอยู่กับส่งทันเวลา ความเข้าใจ ฟังก์ชันขั้นสูงอย่างต่อเนื่องความต้องการของลูกค้า ของเลกาซีรหัส ความมุ่งมั่นเพื่อคุณภาพ กำจัดข้อผิดพลาด พัฒนาประสิทธิภาพ และประสิทธิภาพการทำงานแบบเรียลไทม์ซึ่งระดับนักเรียนทั้งหมด บัณฑิตบางโปรแกรมนี้รวมเป็นวิธีการในหลักสูตรของพวกเขา [Garlan etal. 1995 มหาวิทยาลัยออกซฟอร์ด 1996] นักการศึกษาจะเริ่มต้นการสอนวิธีการศึกษาในระดับปริญญาตรี นักเรียนต้องการเข้าใจไม่ได้เป็นเพียงวิธีการสร้างโปรแกรมแบบสแตนด์อโลนเดียวจากรอยขีดข่วน แต่วิธีสร้างระบบขนาดใหญ่ บางทีใช้คอมโพเนนต์ออก theshelf และวิธีการรักษาแบบดั้งเดิมรหัส พวกเขาจำเป็นต้องรู้ไม่ใช่แค่การเขียนโค้ด แต่วิธีการทำการออกแบบระบบในระดับสูง

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

การศึกษามีความสำคัญต่อความสำเร็จของ
วิธีการทางการ มีที่แตกต่างกัน
ชนิดของผู้ชม: เพื่อนร่วมงานวิจัย -Our
บางส่วนของความคลางแคลงที่ยิ่งใหญ่ที่สุดของเราเป็นเพื่อนร่วมงานของเราเอง.
เราสามารถเอาชนะความสงสัยนี้โดยการ
ทำงานร่วมกันกับพวกเขาและพวกเขา
นักเรียนในระบบที่พวกเขาดูแล
เกี่ยวกับ. -Practitioners
การถ่ายทอดเทคโนโลยี
จะต้องดำเนินการอย่างจริงจังจาก
จุดเริ่มต้นมาก การแพร่กระจายที่ผ่านมา
ของวิธีการทางการจะเกี่ยวข้องโดยตรง
กับความพยายามที่ทำโดยนักวิจัยใน
การเรียนการสอนเทคนิคของพวกเขาให้กับอุตสาหกรรม.
สำหรับการถ่ายโอนเทคโนโลยีที่มีประสิทธิภาพ
แต่เราต้องเก็บไว้ในใจว่า
ประสบความสำเร็จสำหรับอุตสาหกรรมขึ้นอยู่กับการ
ส่งมอบทันเวลาการทำงานที่เพิ่มขึ้นอย่างต่อเนื่องในการทำความเข้าใจ
ความต้องการของลูกค้า นำมาใช้ใหม่ของมรดก
รหัสมุ่งมั่นในคุณภาพการกำจัดข้อผิดพลาดของการพัฒนาที่มีประสิทธิภาพและประสิทธิภาพการทำงานแบบ real-time.
-Students ในทุกระดับ บางคนจบการศึกษา
โปรแกรมอย่างเป็นทางการในขณะนี้รวม
วิธีการในการเรียนการสอนของพวกเขา [Garlan และ
อัล 1995; Oxford University 1996] การศึกษาจะเริ่มต้นที่จะต้องพิจารณาวิธีการสอนอย่างเป็นทางการในระดับปริญญาตรี นักศึกษาจะต้อง
เข้าใจไม่ได้เป็นเพียงวิธีการสร้างโปรแกรมแบบสแตนด์อะโลนเดียวจาก
รอยขีดข่วน แต่ยังวิธีการสร้าง
ระบบขนาดใหญ่อาจจะใช้องค์ประกอบปิด theshelf และวิธีการรักษารหัสเดิม; พวกเขาจำเป็นต้องรู้
ไม่ได้เป็นเพียงวิธีการรหัส แต่ยังวิธีการ
ทำระดับสูงการออกแบบระบบ

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

การศึกษามีความสำคัญต่อความสำเร็จของ
วิธีการอย่างเป็นทางการ มีชนิดที่แตกต่างกันของผู้ชม :
-
เพื่อนร่วมงานวิจัยของเรา บางส่วนของ Skeptics ของเรามากที่สุด คือ เพื่อนร่วมงานของเราเอง เราสามารถเอาชนะความสงสัยนี้

โดยร่วมมือกับพวกเขา และนักเรียนในระบบที่พวกเขาดูแล

.
- บัติ การถ่ายโอนเทคโนโลยีควร

อย่างจริงจังมากจากจุดเริ่มต้นมาก
แพร่ล่าสุดวิธีการอย่างเป็นทางการจะเกี่ยวข้องโดยตรงกับความพยายามที่ทำโดยนักวิจัยใน

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

ส่งทันเวลาการปรับปรุงอย่างต่อเนื่องการทำงานความเข้าใจ
ความต้องการของลูกค้า ใช้รหัสเดิม
, มุ่งมั่นเพื่อคุณภาพ การขจัดข้อผิดพลาด , การพัฒนา , ประหยัดและประสิทธิภาพการทำงานแบบเรียลไทม์
- นักเรียนทุกระดับ บางโปรแกรมบัณฑิต

ตอนนี้รวมวิธีการทางการของหลักสูตร [ garlan et
อัล 1995 ; มหาวิทยาลัยออกซ์ฟอร์ด 1996 ] ครูจะเริ่มสอนวิธีพิจารณาอย่างเป็นทางการในระดับปริญญาตรี นักเรียนต้อง
เข้าใจไม่เพียง แต่วิธีการสร้างโปรแกรมแบบ stand - alone เดี่ยวจาก
รอยขีดข่วน แต่ยังวิธีการสร้าง
ระบบขนาดใหญ่บางทีการใช้ theshelf ปิดส่วนประกอบและวิธีการรักษารหัสเดิม พวกเขาต้องรู้
ไม่เพียงวิธีการรหัส แต่ยังวิธีการ
ออกแบบระบบพื้นฐาน