In this paper, we propose a metamod

In this paper, we propose a metamodel which
explicitly captures the concepts of NFRs, FRs and
their relations throughout the software development
process, and which is independent of any
programming paradigm. The metamodel can be
enhanced to provide additional properties and
concepts, and instantiated to define a customized
traceability model with respect to the required
programming type (e.g. object-orientation, procedural
programming, etc.).
We transform the proposed metamodel into a
relational model [28] based on predicate logic and set
theory. We then use Datalog expressions to
implement queries to represent tracing information.
Query evaluation with Datalog is sound and
complete, and can be performed efficiently, even for
large databases. In addition, Datalog supports
Recursive Closure Operations which make it possible
to trace through multiple levels of refinements within
the software development process. The discussions in
this paper are illustrated through examples from an
Email Application case study.

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

ในกระดาษนี้ เราเสนอแบบ metamodel ซึ่งจับแนวคิดของ NFRs, FRs อย่างชัดเจน และความสัมพันธ์ตลอดทั้งการพัฒนาซอฟต์แวร์กระบวนการ และซึ่งเป็นอิสระใด ๆกระบวนทัศน์ที่เขียนโปรแกรม การ metamodel สามารถเพิ่มขึ้นเพื่อให้คุณสมบัติเพิ่มเติม และแนวคิด และเริ่มต้นการกำหนดตัวเองแบบตรวจสอบย้อนกลับตามที่จำเป็นชนิด (เช่นวัตถุปฐมนิเทศ ขั้นตอนการเขียนโปรแกรมเขียนโปรแกรม ฯลฯ)เราเปลี่ยนการนำเสนอ metamodel เป็นการแบบจำลองเชิงสัมพันธ์ [28] อิงตรรกะเพรดิเคต และตั้งทฤษฎี เราใช้ Datalog นิพจน์เพื่อใช้แบบสอบถามเพื่อแสดงข้อมูลการติดตามผลการประเมินแบบสอบถามกับ Datalog เป็นเสียง และสมบูรณ์ และสามารถดำเนินการได้อย่างมีประสิทธิภาพ แม้แต่ฐานข้อมูลขนาดใหญ่ นอกจากนี้ การรองรับของ Datalogดำเนินการปิดซ้ำซึ่งทำให้สามารถการสืบค้นกลับผ่านการปรับแต่งภายในขั้นตอนการพัฒนาซอฟต์แวร์ การสนทนาในเอกสารนี้จะแสดงถึงตัวอย่างจากการอีประยุกต์กรณีศึกษา

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

ในบทความนี้เรานำเสนอ metamodel ที่
ชัดเจนจับแนวคิดของ NFRs, FRS และ
ความสัมพันธ์ของพวกเขาตลอดการพัฒนาซอฟต์แวร์
กระบวนการและที่มีความเป็นอิสระของการ
เขียนโปรแกรมแบบ metamodel สามารถ
ปรับปรุงเพื่อให้คุณสมบัติเพิ่มเติมและ
แนวคิดและอินสแตนซ์ที่จะกำหนดปรับแต่ง
รูปแบบการตรวจสอบย้อนกลับด้วยความเคารพที่จำเป็นใน
ประเภทการเขียนโปรแกรม (เช่นวัตถุปฐมนิเทศขั้นตอน
การเขียนโปรแกรมอื่น ๆ ).
เราเปลี่ยน metamodel เสนอเป็น
แบบเชิงสัมพันธ์ [ 28] อยู่บนพื้นฐานของตรรกะกริยาและตั้ง
ทฤษฎี จากนั้นเราจะใช้การแสดงออก Datalog การ
ใช้แบบสอบถามเพื่อแสดงข้อมูลการติดตาม.
ประเมินผลแบบสอบถามกับ Datalog เป็นเสียงและ
สมบูรณ์และสามารถดำเนินการได้อย่างมีประสิทธิภาพแม้สำหรับ
ฐานข้อมูลขนาดใหญ่ นอกจากนี้ Datalog สนับสนุน
การดำเนินการปิดซ้ำที่ทำให้มันเป็นไปได้
ที่จะติดตามผ่านหลายระดับของการปรับแต่งภายใน
กระบวนการพัฒนาซอฟต์แวร์ การอภิปรายใน
บทความนี้จะแสดงผ่านตัวอย่างจาก
กรณีศึกษาการประยุกต์ใช้อีเมล์

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

ในกระดาษนี้เราเสนอ metamodel ซึ่งโดยรวบรวมแนวคิดของ nfrs FRS , และความสัมพันธ์ของพวกเขาตลอดการพัฒนาซอฟต์แวร์กระบวนการ และที่เป็นอิสระใด ๆกระบวนทัศน์การเขียนโปรแกรม metamodel สามารถปรับปรุงเพื่อให้คุณสมบัติเพิ่มเติมและแนวคิด และ instantiated เพื่อนิยามเองรูปแบบการตรวจสอบส่วนที่เกี่ยวข้องกับที่ต้องการประเภทของโปรแกรม ( เช่นวัตถุปฐมนิเทศ , ขั้นตอนการเขียนโปรแกรม , ฯลฯ )เราแปลงเสนอ metamodel เป็นสัมพันธ์แบบ [ 28 ] ตามตรรกะภาคแสดงและตั้งค่าทฤษฎี เราใช้สำนวนข้อมูลคืนมาใช้แบบสอบถามเพื่อแสดงการติดตามข้อมูลการประเมินด้วยแบบสอบถามข้อมูลคืนเป็นเสียงและที่สมบูรณ์และสามารถดำเนินการได้อย่างมีประสิทธิภาพ แม้สำหรับฐานข้อมูลขนาดใหญ่ นอกจากนี้ ข้อมูลคืน สนับสนุนวิธีการปิดการซึ่งทำให้มันเป็นไปได้ติดตามผ่านหลายระดับของการปรับแต่งภายในในกระบวนการพัฒนาซอฟต์แวร์ การอภิปรายในกระดาษนี้จะแสดงผ่านตัวอย่างจากโปรแกรมอีเมลและกรณีศึกษา