A view of software engineering thro

A view of software engineering through which the production and evolution of software can be modelled, and practically carried out, by a chain of transformations which preserves some essential properties of the source specifications. Program compilation, but also transforming tail recursion into an iterative pattern are popular examples. This approach is currently applied to software evolution, reverse engineering and migration. The transformational paradigm is one of the most powerful approaches to formally guaranteetra ceability.

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

มุมมองของวิศวกรรมซอฟแวร์ที่ผ่านการผลิตและการวิวัฒนาการของซอฟต์แวร์ที่สามารถจำลองและการดำเนินการในทางปฏิบัติออกจากห่วงโซ่ของการแปลงที่เก็บรักษาคุณสมบัติที่สำคัญบางส่วนของคุณสมบัติของแหล่งที่มา รวบรวมโปรแกรม แต่ยังเปลี่ยนเรียกซ้ำหางเป็นรูปแบบซ้ำแล้วซ้ำอีกเป็นตัวอย่างที่ได้รับความนิยม วิธีการนี​​้ถูกนำมาใช้ในปัจจุบันวิวัฒนาการของซอฟแวร์วิศวกรรมและการย้ายถิ่นกลับ กระบวนทัศน์การเปลี่ยนแปลงเป็นหนึ่งในวิธีที่มีประสิทธิภาพมากที่สุดอย่างเป็นทางการ guaranteetra ceability

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

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

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

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