![]() |
Telelogic Rhapsody (steve huntington) | ![]() |
Topic Title: Models of Software System Topic Summary: Created On: 23-Mar-2006 16:50 Status: Read Only |
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() |
|
Models of Software System
Instructor: Dr. Sungwon Kang Email: [email]kangsw@icu.ac.kr[/email] Information and Communication University SOUTH KOREA [url]http://azalea.icu.ac.kr/asq/[/url] Catalog Description A contemporary subject in the field of computer science is explored. In this edition, we will deal with many types of software modeling including UML 2.0. Course Objectives Computer Scientists have long investigated the problem of how to automate software development from its specification to its program. So far the efforts were not fully successful but much of the results can be fruitfully applied to development of small programs and critical small portions of large programs. In this course, we learn how to formally write requirements, how to formally model specifications and how to rigorously verify that the models have the required properties. Prerequisites Discrete Math Textbooks Magee and Kramer, Concurrency: State Models and Java Programs, John Wiley & Sons, 1999 Woodcock, J., and Davies, J., Using Z: Specification, Refinement, and Proof, Prentice Hall International, 1996. Reference Graeme Smith, The Object-Z Specification Language, Advances in Formal Methods, Kluwer Academic Publishers, 2000. ISBN 0-7923-8684-1. 160 pages Holzmann, G. J., The SPIN Model Checker, Addison-Wesley, 2004. |
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.