Key points are not available for this paper at this time.
تم تقديم تطوير نظام جدولة المصاعد من قبل طلاب المرحلة الجامعية. تم إجراء التطوير من قبل 20 فريقًا من طلاب المرحلة الجامعية، مقسمين إلى مجموعتين. أنتجت مجموعة واحدة مواصفات من خلال استخدام طريقة رسمية تتضمن فقط المنطق من الدرجة الأولى. ولم تستخدم المجموعة الأخرى أي تحليل رسمي. تتم مقارنة حلول المجموعتين باستخدام مقاييس صحة الكود، والإيجاز، والتعقيد. يتم إيلاء اهتمام خاص لمجموعة فرعية من مجموعة الطرق الرسمية التي قدمت تحققًا كاملًا من تنفيذها. تتم مقارنة نتائجهم مع حلول رسمية منشورة أخرى. وتظهر حلول مجموعة الطرق الرسمية أنها أكثر صحة بكثير من الحلول غير الرسمية.
Building similarity graph...
Analyzing shared references across papers
Loading...
Ann E. Kelley Sobel
Michael R. Clarkson
Cornell University
IEEE Transactions on Software Engineering
Cornell University
Miami University
Building similarity graph...
Analyzing shared references across papers
Loading...
درس سوبيلي وزملاؤه (الجمعة) هذا السؤال.
synapsesocial.com/papers/6a0f99764fb650da4ffe4c0b — DOI: https://doi.org/10.1109/32.991322
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: