For the past five or six years my o

For the past five or six years my own research, and that of many of my students and close colleagues, has focused on the problems of documentation. We have shown how, mathematical methods can be used to provide clear, concise, and systematic documentation of program design [3,4]. We have invented and illustrated new mathematical notation that is much more suited to use in documentation, but no less formal [5,6,7]. The reaction of academics and practitioners to this work has been insight-provoking.

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

ผ่านมาห้า หรือหก ปี วิจัยของตัวเอง และที่อยู่ของนักเรียนและเพื่อนร่วมงานปิด ฉันมีเน้นในปัญหาของเอกสาร เราได้แสดงอย่างไร สามารถใช้วิธีการทางคณิตศาสตร์ให้ชัดเจน กระชับ และการออกแบบระบบเอกสารของโปรแกรม [3, 4] เราได้คิดค้น และแสดงสัญลักษณ์ทางคณิตศาสตร์ใหม่ที่เหมาะสมมากที่จะใช้ ในเอกสาร แต่ไม่ ค่อยเป็นทางการ [5,6,7] ปฏิกิริยาของนักวิชาการและผู้ไปงานนี้ได้รับความเข้าใจ provoking

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

สำหรับที่ผ่านมาห้าหรือหกปีในการวิจัยของตัวเองและที่ของหลายนักเรียนและเพื่อนร่วมงานที่ใกล้ชิดของฉันมีความสำคัญกับปัญหาของเอกสาร เราได้แสดงให้เห็นว่าวิธีการทางคณิตศาสตร์สามารถนำมาใช้เพื่อให้เอกสารชัดเจนรัดกุมและเป็นระบบของการออกแบบโปรแกรม [3,4] เราได้คิดค้นและแสดงสัญกรณ์คณิตศาสตร์ใหม่ที่มีความเหมาะสมมากขึ้นเพื่อใช้ในเอกสาร แต่ไม่น้อยอย่างเป็นทางการ [5,6,7] ปฏิกิริยาของนักวิชาการและผู้ปฏิบัติงานที่จะทำงานนี้ได้รับข้อมูลเชิงลึกที่กระตุ้น

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

ตลอด 5 หรือ 6 ปีงานวิจัยของผมเอง และของมากของนักเรียนและเพื่อนร่วมงานที่ใกล้ชิด ได้มุ่งเน้นไปที่ปัญหาของเอกสาร เราต้องแสดงให้เห็นว่า วิธีการทางคณิตศาสตร์ที่สามารถใช้ให้ชัดเจน กระชับ และเอกสารในระบบของโปรแกรมการออกแบบ [ 3 , 4 ] เราได้คิดค้นและภาพประกอบใหม่ทางคณิตศาสตร์สัญกรณ์ที่เหมาะที่จะใช้ในเอกสารแต่ไม่เป็นทางการน้อยกว่า [ 5,6,7 ] ปฏิกิริยาของนักวิชาการและผู้ปฏิบัติงานทำงานได้ลึกยั่ว .