Requirements Specification
for Deepthought Scheduler
Version 1.0 Release
10 December 2010

• 1. Introduction
  • 1.1. Problem Statement
  • 1.2. System Personnel
  • 1.3. Operational Setting
  • 1.4. Impacts
  • 1.5. Related Systems
    • 1.5.1. Mimosa
    • 1.5.2. Lantiv
    • 1.5.3. PeopleCube
    • 1.5.4. UReserve
    • 1.5.5. Madrigal
    • 1.5.6. Office Tracker
    • 1.5.7. Cal Poly Pass
• 2. Functional Requirements
  • 2.1. User Interface Overview
    • 2.1.1 Main Window
    • 2.1.2 Menu Bar
      • 2.1.2.1 Login
    • 2.1.3 Navigation Bar
  • 2.2. Tool Management
    • 2.2.1 User Rights Management
      • 2.2.1.1 Create a new User
      • 2.2.1.2 View/Select an existing User
      • 2.2.1.3 Change Permissions an existing User
      • 2.2.1.4 Delete an existing User
    • 2.2.2. Lookup Settings
      • 2.2.2.1. Buildings
      • 2.2.2.2. Department
      • 2.2.2.3. Room Attributes
      • 2.2.2.4. Time Blocks
      • 2.2.2.5. Map Setup
  • 2.3. Resource Management
    • 2.3.1. Rooms
      • 2.3.1.1 Single-Select
      • 2.3.1.2 Create
      • 2.3.1.3 Modify
      • 2.3.1.4 Delete
      • 2.3.1.5 Multi-Select
    • 2.3.2. Courses
      • 2.3.2.1 Single-Select
      • 2.3.2.2 Create
      • 2.3.2.3 Modify
      • 2.3.2.4 Delete
      • 2.3.2.5 Multi-Select
    • 2.3.3. Teacher
      • 2.3.3.1 Single-Select
      • 2.3.3.2 Create
      • 2.3.3.3 Modify
      • 2.3.3.4 Delete
      • 2.3.3.5 Multi-Select
  • 2.4. Scheduling
    • 2.4.1. Choosing Resources
      • 2.4.1.1 Rooms
      • 2.4.1.2 Courses
      • 2.4.1.3 Teachers
    • 2.4.2. Choosing Scheduling Options
      • 2.4.2.1 Time Blocks
      • 2.4.2.2 Time Restrictions
      • 2.4.2.3 Preference Weighting
    • 2.4.3. Scheduling Functionality Overview
      • 2.4.3.1. Scheduled Item
        • 2.4.3.1.1. Locking Resources
        • 2.4.3.1.2. Conflict Resolution
      • 2.4.3.2. Generation Modes
        • 2.4.3.2. Automatic Generation
        • 2.4.2.2 Manual Manipulation
      • 2.4.3.3. Scheduling Views
        • 2.4.3.3.1. Week View
          • 2.4.3.3.1.1. Adding Item
          • 2.4.3.3.1.2. Moving Item
          • 2.4.3.3.1.3. Locking Item
          • 2.4.3.3.1.4. Removing Item
        • 2.4.3.3.2. Table View
          • 2.4.3.3.2.1. Adding Item
          • 2.4.3.3.2.2. Moving Item
          • 2.4.3.3.2.3. Locking Item
          • 2.4.3.3.2.4. Removing Item
        • 2.4.3.3.3. Resource by Time View
          • 2.4.3.3.3.1. Adding Item
          • 2.4.3.3.3.2. Moving Item
          • 2.4.3.3.3.3. Locking Item
          • 2.4.3.3.3.4. Removing Item
  • 2.5. Reports
    • 2.5.1. Raw Listing Report
    • 2.5.2. Resource by Time Report
• 3. Non-Functional Requirements
  • 3.1 Performance
  • 3.2 Characteristics
• 4. Developer Overview
• 5. Formal Specifications
  • 5.1 UML
    • 5.1.1 UML (JPEG)
    • 5.1.1 UML (Visio)
  • 5.2. SpecL (Data Dictionary)
    • 5.2.1. DTScheduler.sl
    • 5.2.2. CommonDataTypes.sl
    • 5.2.3. Admin/Settings
      • 5.2.3.1. Login.sl
      • 5.2.3.2. UserRights.sl
      • 5.2.3.3. Building.sl
      • 5.2.3.4. Department.sl
      • 5.2.3.5. Map.sl
      • 5.2.3.6. RoomAttribute.sl
      • 5.2.3.7. TimeBlock.sl
    • 5.2.4. Resources
      • 5.2.4.1. Course.sl
      • 5.2.4.2. Room.sl
      • 5.2.4.3. Teacher.sl
    • 5.2.5. Views
      • 5.2.5.1. Navigation.sl
    • 5.2.6. Scheduling
      • 5.2.6.1. Schedule.sl
      • 5.2.6.2. ScheduleReports.sl