1986 मध्ये सॉफ्टवेअर इंजिनीरिंग मधील IEEE ट्रान्सक्शन मध्ये या क्षेत्रातील एक महत्त्वाचा परिणाम म्हणजे Weyukar's Anticomposition axiom.
ওয়্যুকার্স অ্যান্টি{কম্পোজিশন অক্সিওম এক্ষেত্রে একটা ল্যান্ডমার্ক আবিষ্কার। 1986 সালে সফটওয়্যার ইঞ্জিনিয়ারিংয়ের IEEE ট্রানস্যাকশনগুলোর ক্ষেত্রে ব্যবহৃত হয়েছিল।