A Theory and Practice of Program Development

تئوری و عمل توسعه برنامه مقدمه ای جامع برای روش توسعه نرم افزار مبتنی بر VDM-SL ارائه می دهد. هر مرحله توسعه به شدت توجیه می شود و استراتژی ها و تحولات مورد استفاده به صورت موضوعی توجیه و توضیح داده می شوند. این رویکرد معنای رسمی یک زبان برنامه نویسی ساده، اما قدرتمند و با طیف گسترده را ارائه می دهد و یک تعریف رسمی از اصلاح الگوریتمی و داده ارائه می دهد. برخلاف سایر متون، هم تئوری و هم عملی توسعه برنامه را پوشش می دهد. اگرچه بر اساس VDM-SL است، هیچ دانشی از این زبان فرض نمی شود، بنابراین آن را به طور گسترده در دسترس قرار می دهد. تئوری و عمل توسعه برنامه برای دانشجویان سال سوم/چهارم کارشناسی و کارشناسی ارشد در نظر گرفته شده است که روش های رسمی و مهندسی نرم افزار را می گذرانند. توسعه دهندگان نرم افزار درگیر در تولید سیستم های کامپیوتری قابل اثبات صحیح و طراحی قابل استفاده مجدد و مشکلات کدهای قابل استفاده مجدد.

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.