Welcome to Telelogic Product Support
  Home Downloads Knowledgebase Case Tracking Licensing Help Telelogic Passport
Telelogic Rhapsody (steve huntington)
Decrease font size
Increase font size
Topic Title: Models of Software System
Topic Summary:
Created On: 23-Mar-2006 16:50
Status: Read Only
Linear : Threading : Single : Branch
Search Topic Search Topic
Topic Tools Topic Tools
Subscribe to this topic Subscribe to this topic
E-mail this topic to someone. E-mail this topic
Bookmark this topic Bookmark this topic
View similar topics View similar topics
View topic in raw text format. Print this topic.
 23-Mar-2006 16:50
User is offline View Users Profile Print this message


Brandi Carroll

Posts: 82
Joined: 22-Jul-2004

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.
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic Rhapsody forum.
There are currently 0 users logged in.
You have posted 0 messages to this forum. 0 overall.

FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.