책 이미지
eBook 미리보기
책 정보
· 제목 : Modelling Systems : Practical Tools and Techniques in Software Development (Hardcover, 2 Revised edition)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9780521899116
· 쪽수 : 288쪽
· 출판일 : 2009-06-11
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9780521899116
· 쪽수 : 288쪽
· 출판일 : 2009-06-11
목차
Foreword to the first edition; Preface; 1. Introduction; 2. Constructing a model; 3. VDMTools Lite; 4. Describing system properties using logical expressions; 5. The elements of a formal model; 6. Sets; 7. Sequences; 8. Mappings; 9. Recursive structures; 10. Validating models; 11. State-based modelling; 12. Large-scale modelling; 13. Using VDM in practice; A. Language guide; B. Solutions to exercises; Bibliography; Subject index; Definitions index.
