Publisher: Springer; Softcover reprint of the original 1st ed. 1998 edition (December 31, 2013)
Format: PDF / Kindle / ePub
Size: 9.3 MB
Downloadable formats: PDF
This publication constitutes the complaints of the IFIP operating convention seasoned COMET'98, held 8-12 June 1998 at guard Island, N.Y. The convention is geared up by way of the t'wo IFIP TC 2 operating teams 2.2 Formal Description of Programming strategies and 2.3 Programming technique. WG2.2 and WG2.3 were organizing those meetings each 4 years for over two decades. the purpose of such operating meetings geared up via IFIP operating teams is to assemble best scientists in a given quarter of laptop technology. Participation is through invitation merely. accordingly, those meetings distinguish themselves from different conferences via wide and efficient technical discus sions. PROCOMET stands for Programming ideas and strategies, indicating that the realm of dialogue for the convention is the formal description of professional gramming suggestions and techniques, their software aid, and their purposes. At PROCOMET operating meetings, papers are awarded from this entire sector, reflecting the curiosity of the contributors in WG2.2 and WG2.3.