TAILIEUCHUNG - Lecture Software engineering: Lecture 10 - Ivan Marsic

Lecture 10: Specifying systems - intro. The main contents of this chapter include all of the following: Domains, phenomena; states, events; context diagrams; systems and system descriptions; basic formalisms for specifications. | Ivan Marsic Rutgers University LECTURE 10: Specifying Systems - Intro Topics Domains, Phenomena States, Events Context Diagrams Systems and System Descriptions Basic Formalisms for Specifications Boolean Logic Finite State Machines World, Parts, Phenomena Example of a Problem Domains Example of Problem Domains Example of Problem Domains Software-to-be (1) Tenant (4) List of valid keys (3) Lock (6) Photosensor (7) Light (8) Alarm bell (9) Desktop computer (2) Landlord (3) Key (5) Device preferences (10) Tenant accounts (11) Log of accesses Definitions A phenomenon is a fact, or object, or occurrence that appears or is perceived to exist An event is an individual happening, occurring at a particular point in time Events are indivisible and instantaneous A state is a relation among individual entities and values, which can change over time Individuals are in relation if they share a certain characteristic RelationName(Individual1, , .

TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.