Table of Contents
- -
Introduction
- -
Hardware Prerequisites
- -
Software Prerequisites
- -
Build and Certification Matrices
- -
Overview
- -
Installation Procedure
- -
Starting Up
- -
Overview
- -
Installation Procedure
- -
Starting Up
- -
Post Installation
- -
Adding Components to an Existing Installation
- -
UNIX Command Line Tools
- -
UNIX User Setup
- -
Environment Variables
- -
Preferences
- -
Microsoft Windows System Factors
- -
X Window System Factors (UNIX only)
- -
OSF/Motif Factors (UNIX only)
- -
Setting up Your license on a Client Machine
- -
Setting up Your License Server
- -
If the FlexNet License Server Goes Down
- -
Specific Licensing for the SDL Suite
- -
Licensing - A General Overview
- -
How to Contact Customer Support
- -
Documentation
- -
Typographic Conventions
- -
Legal Information
- -
Language Compatibility
- -
Tool Limitations
- -
Known Issues
- -
Included Components
- -
New and Changed Functionality
- -
Introduction
- -
Requirements on the Access Control System
- -
System Analysis of the Access Control System
- -
Object Oriented Design of the Access Control System
- -
Introduction
- -
Using SDL Data Types
- -
Using C/C++ in SDL
- -
C Specific Package ctypes
- -
Using ASN.1 in SDL
- -
Own and ORef Generators
- -
Algorithms in SDL
- -
Introduction
- -
Diagram Binding
- -
How to Manage the Diagrams in a Project
- -
Using CM SYNERGY Together with an SDL System
- -
Using ClearCase Together with an SDL System
- -
Introduction
- -
Introduction
- -
Background
- -
A Case Study
- -
The Test Configuration
- -
Specification of Test System Behaviour
- -
TTCN Types and Values
- -
ASN.1 Types and Values
- -
PCOs and CPs
- -
The SEND Statement
- -
The RECEIVE Statement
- -
The OTHERWISE Statement
- -
Defining ASP, PDU and CM Types
- -
Using ASPs and PDUs in Behaviour Trees
- -
TTCN Expressions
- -
Specifying ASP, PDU and CM Values
- -
Constraint References
- -
Matching Received Constraint Values
- -
Encoding
- -
Referencing Components of Complex Types
- -
Verdicts
- -
The GOTO Statement
- -
Timer Statements
- -
Constants and Variables
- -
Dynamic Behaviour Descriptions
- -
Using Aliases
- -
Modularization of Test Cases
- -
Parameter Lists in TTCN
- -
Test Case Selection
- -
Structure of a TTCN Test Suite
- -
Distributed Development
- -
The Complete Case Study
- -
Introduction
- -
Benefits of a Specification Language
- -
General about the SDL Language
- -
More about SDL
- -
The Message Sequence Chart Language
- -
Object Model Notation
- -
State Chart Notation
- -
ASN.1 - Abstract Syntax Notation One
- -
The TTCN Notation
- -
Tool Support
- -
References
- -
About the SDL Suite
- -
Overview of the SDL Suite
- -
Information Management
- -
PCs and Workstations
- -
Purpose of This Tutorial
- -
The Demon Game
- -
Starting the SDL Suite
- -
Preferences
- -
Creating an SDL Structure
- -
Printing the System Diagram
- -
Checking the System Diagram
- -
Creating a New Block Diagram
- -
Creating a Block Diagram From a Copy
- -
Creating a Process Diagram
- -
More About the Organizer
- -
Analyzing the Complete System
- -
Managing Message Sequence Charts
- -
Using the Index Viewer
- -
So Far...
- -
Appendix A: The Definition of the SDL-88 DemonGame
- -
Appendix B: The MSC for the DemonGame
- -
Purpose of This Tutorial
- -
Generating and Starting a Simulator
- -
Executing Transition by Transition
- -
Viewing the Internal Status
- -
Dynamic Errors
- -
Using Different Trace Values
- -
Looking at the External Behavior
- -
Using Breakpoints
- -
Changing the System
- -
Generating Message Sequence Charts
- -
The Coverage Viewer
- -
So Far...
- -
Purpose of This Tutorial
- -
Generating and Starting an SDL Explorer
- -
Navigating in a Behavior Tree
- -
More Tracing and Viewing Possibilities
- -
Validating an SDL System
- -
Verifying a Message Sequence Chart
- -
Using Test Values
- -
So Far...
- -
Purpose of This Tutorial
- -
Applying SDL-92 to the DemonGame
- -
Some Preparatory Work
- -
Creating a Process Type from a Process
- -
Redefining the Properties of a Process Type
- -
Adding Properties to a Process Type
- -
Combining the Properties of Two Process Types
- -
Using Packages and Block Types
- -
Reusing Packages
- -
Conclusion
- -
More Exercises...
- -
Appendix: Diagrams for the DemonGame Using Packages
- -
Prerequisites / Abbreviations Used
- -
Introduction
- -
Prerequisites to the Example
- -
Targeting
- -
Use of the SDL Target Tester
- -
Run Target EXE without Tester
- -
Introduction
- -
Creating the Abstract Syntax
- -
Creating the Transfer Syntax
- -
Compiling Your Application
- -
Running Your Application
- -
Appendix A
- -
Purpose of this Tutorial
- -
Introduction
- -
Graphical Design of Data Types
- -
Creating an SDL Structure
- -
Editing a Diagram
- -
Viewing a Class
- -
Textual Algorithms
- -
Operators without Parameters and Operators without Return Results
- -
Limitations
- -
An Example of Using Class Symbols
- -
Introduction
- -
Description of Example System
- -
Preparations
- -
Drawing a Deployment Diagram
- -
Using the Targeting Expert
- -
Running the System
- -
Introduction
- -
Standardized Formal Methods
- -
The TTCN Language
- -
The ASN.1 Language
- -
The Message Sequence Chart Language
- -
Introduction to the TTCN Suite
- -
The TTCN Suite Toolset
- -
Files in the TTCN Suite
- -
Introduction to the TTCN Suite
- -
The TTCN Suite Toolset
- -
Files in the TTCN Suite
- -
Purpose of This Tutorial
- -
Starting the TTCN Suite
- -
Creating a TTCN Test Suite Document
- -
Using the Browser
- -
Using the Table Editor
- -
Analyzing the Test Suite
- -
Creating TTCN Tables in Other Ways
- -
Exporting a Test Suite
- -
Printing the Test Suite
- -
So Far...
- -
Purpose of This Tutorial
- -
Setting Up the TTCN Suite Environment
- -
Starting the TTCN Suite
- -
Creating a TTCN Test Suite Document
- -
Using the Browser
- -
Using the Table Editor
- -
Analyzing the Test Suite
- -
Saving a TTCN Test Suite Document
- -
Creating TTCN Tables in Other Ways
- -
Selecting Browser Items
- -
Generating Overview Tables
- -
Printing the Test Suite
- -
Creating Reports
- -
Exporting and Importing
- -
Replacing, Comparing and Merging
- -
So Far...
- -
Purpose of This Tutorial
- -
The Steps in a Test Session
- -
The Test System
- -
Setting Up a Simulation
- -
Performing the Simulation
- -
Taking a Look at the Log Window
- -
Purpose of This Tutorial
- -
The Steps in a Test Session
- -
The Test System
- -
Setting Up a Simulation
- -
Performing the Simulation
- -
The Execution Trace
- -
The Conformance Log
- -
Purpose of This Tutorial
- -
More about TTCN Link
- -
Taking a Look at the SDL System
- -
Generating a TTCN Link Executable
- -
Creating a Test Suite
- -
Creating a Simple Test Case
- -
Taking a Look at the SDL System (Again)
- -
So Far...
- -
Purpose of This Tutorial
- -
Basics of Autolink
- -
Getting Ready to Use Autolink
- -
Exercise 1: Basic Concepts
- -
Exercise 2: Advanced Concepts
- -
Exercise 3: Test Generation with Tree Walk
- -
So Far...
- -
Graphical Environments and Style Guides
- -
Constraints
- -
Application Windows
- -
General Menus
- -
General Menu Choices
- -
Defining Menus in the SDL Suite
- -
General Quick-Buttons
- -
The Drawing Area
- -
Dialog Windows
- -
Keyboard Operations
- -
References
- -
Overview
- -
Organizer User Interface
- -
Drawing Area
- -
Menu Bar
- -
Shortcuts
- -
Pop-Up Menus
- -
Keyboard Accelerators
- -
Quick Buttons
- -
Organizer Log Window
- -
System File
- -
Control Unit File
- -
Batch Facilities
- -
Windows and UNIX File Compatibility
- -
Preferences Manager User Interface
- -
Menu Bar
- -
Popup Menu
- -
Keyboard Accelerators
- -
Preference Files
- -
Preference Parameters
- -
Common Preferences
- -
The SDL Suite Specific Preferences
- -
Introduction
- -
How Preferences Are Managed
- -
Starting the Preference Manager
- -
Adjusting a Preference Parameter
- -
Customizing the On-Line Help
- -
Customizing User-Defined Preferences
- -
Customizing Company Preferences
- -
Customizing Project Preferences
- -
Locating the Preference Sources
- -
General
- -
Printing Documents - Some Examples
- -
Default Scope of Print
- -
The Print Dialogs in the SDL Suite and in the Organizer
- -
The Print TTCN Dialog in the Organizer
- -
The Print Dialogs in the TTCN Suite
- -
Print Setup Dialogs
- -
Footer and Header Files
- -
Map File
- -
More Information on Output Formats
- -
Adding Printer Fonts (UNIX only)
- -
Advanced Print Facilities
- -
Text Files
- -
State Overview Files and State Matrices
- -
Text Editor User Interface
- -
Text Area
- -
Menu Bar
- -
Pop-Up Menu
- -
Keyboard Accelerators
- -
Overview
- -
Installation
- -
Customizing
- -
Emacs Commands
- -
Overview
- -
Installation
- -
MS Word Menu Commands
- -
Link Concepts and Overview
- -
Visualization of Endpoints and Links
- -
Tool Support and Operations
- -
Creating Links
- -
The Entity Dictionary
- -
Link Commands in the Tools Menus
- -
The Paste As Command
- -
Other Edit Commands
- -
The Link Manager
- -
The Link File
- -
Introduction to the PostMaster
- -
PostMaster Reference
- -
Run-Time Considerations
- -
General Concepts
- -
The Service Encapsulator
- -
Tool Services
- -
Notifications
- -
Auxiliary Messages
- -
Introduction
- -
The Service Encapsulator
- -
Using the SDL Suite Services
- -
Using TTCN Suite Services
- -
Integrating Applications with SDL Simulators
- -
Introduction
- -
Using the ASN.1 Utilities
- -
Translation of ASN.1 to SDL
- -
Support for External ASN.1 in the TTCN Suite
- -
Error and Warning Messages
- -
Restrictions
- -
Appendix A: List of recognized keywords
- -
Introduction
- -
Executing CPP2SDL
- -
Import Specifications
- -
Source and Error References
- -
C/C++ to SDL Translation Rules
- -
Special Translation Rules for C Compilers
- -
SDL Library for Fundamental C/C++ Types
- -
Example usage of some C/C++ functionality
- -
Error Handling
- -
CPP2SDL Messages
- -
Introduction
- -
Reasons to Migrate
- -
Migration Guidelines
- -
Introduction
- -
CIF2SDT Converter Tool
- -
SDT2CIF Converter Tool
- -
General
- -
Information Server Error Messages
- -
General
- -
Syntax
- -
Examples
- -
OM Access
- -
General Concepts
- -
Files and Compiling
- -
Using OM Access Together with the SDL Suite
- -
Reference
- -
Basic Compiling Theory
- -
The Compiler
- -
Lexical Analyzer
- -
Syntax Definition
- -
Syntax Analyzer
- -
Parse Trees
- -
Parsing
- -
Intermediate Code
- -
Code Generator
- -
The Phases of a Compiler
- -
Symbol Table Management
- -
Error Detection and Reporting
- -
Introduction to TTCN Access
- -
TTCN Access and the TTCN Analyzer
- -
Example of TTCN Access Functionality
- -
Example of TTCN Access Usability
- -
TTCN Access in Relation to TTCN and ASN.1
- -
The TTCN Access Notation
- -
TTCN Access Primitives
- -
The AccessVisitor Class
- -
Common Class Definitions
- -
Getting Started with TTCN Access
- -
TTCN Access
- -
General Concepts
- -
Examples
- -
Summary
- -
Solutions to the Examples
- -
Static and Table Nodes
- -
Parse Tree Nodes
- -
Terminal Nodes
- -
Introduction to the TTCN Browser
- -
The Browser User Interface
- -
Controlling the Items in the Browser
- -
Editing the TTCN Document Structure
- -
Opening a Table
- -
Printing a TTCN Document
- -
Requesting License Information
- -
Using Popup Menus
- -
Using More Complex Selections
- -
Searching and Replacing
- -
Presenting Status Information
- -
Comparing TTCN Documents
- -
Merging TTCN Documents
- -
Merging from MP Files
- -
Exporting a TTCN Document to TTCN-MP
- -
Importing a TTCN-MP Document
- -
Generating the Test Suite Overview Tables
- -
Crash Recovery
- -
Key and Button Bindings
- -
Introduction to the TTCN Table Editor
- -
Opening a Table
- -
Renaming a Table
- -
Navigating and Editing Text in a Table
- -
Editing Rows in a Table
- -
Searching and Replacing
- -
Exporting and Importing Objects
- -
Browsing in the Table Editor
- -
Generating Behaviour Statements
- -
Reverting a Table
- -
Creating a New Constraint Table
- -
Generating the Test Suite Overview Tables
- -
Using Popup Menus
- -
Key and Button Bindings
- -
The TTCN Analyzer
- -
TTCN Suite Preprocessor
- -
Finding Tables
- -
Introduction to the TTCN to C Compiler
- -
Getting Started
- -
What Is Generated?
- -
TTCN Test Logs in MSC Format
- -
The SDL and TTCN Integrated Simulator
- -
Performing a Integrated-Simulation
- -
Setting Up an SDL and TTCN Integrated Simulation
- -
The SDL and TTCN Integrated Simulator User Interface
- -
Managing Setup Documents
- -
Selecting Test Cases and Groups
- -
Executing a Test
- -
Viewing Documents
- -
The SDL and TTCN Integrated Simulator Editor
- -
Integrated-Simulation from command line
- -
Files Handled by the SDL and TTCN Integrated Simulator
- -
Information Messages
- -
Using the UI with an ETS
- -
Type Mappings in Integrated-Simulation
- -
Customizing the TTCN Suite
- -
How Resources Are Read
- -
Customizing Key and Button Bindings
- -
Other Customizations
- -
Introduction to the TTCN Suite
- -
Using the Browser
- -
Editing Tables
- -
Creating Behaviour Lines
- -
Comparing TTCN Documents
- -
Merging TTCN Documents
- -
Viewing Log Information
- -
Finding and Sorting Tables
- -
Converting to TTCN-MP
- -
Converting to HTML
- -
Crash Recovery
- -
Shortcuts
- -
Analyzing TTCN Documents
- -
TTCN Suite Preprocessor
- -
Finding Tables from the Analyzer Log
- -
Introduction to the TTCN to C Compiler
- -
Getting Started
- -
What Is Generated?
- -
TTCN Test Logs in MSC Format
- -
The SDL and TTCN Integrated Simulator
- -
Performing an Integrated-Simulation with the SDL Suite
- -
The SDL and TTCN Integrated Simulator Operations
- -
Integrated-Simulation from command line
- -
Performing "batch mode" Integrated-Simulation
- -
Information Messages
- -
Troubleshooting
- -
Type Mappings in Integrated-Simulation
- -
Introduction
- -
Functionality Overview
- -
Kernel Operation Modes
- -
PCOs
- -
Timers
- -
Test Suite Parameters
- -
Test Case Validation
- -
TTCN Exerciser Commands
- -
ISM Value Encoding
- -
Introduction
- -
Using TTCN Link
- -
TTCN Link Commands in the TTCN Suite
- -
Using Autolink
- -
The GCI Interface
- -
GCI C Code Reference
- -
EGci Value Construction and Functions
- -
The Adaptation Framework
- -
Completing the Adaptation
- -
Error Messages
- -
The Structure of Error Messages
- -
Additional Error Messages on Standard Error
- -
The Meaning of Error Messages
- -
The Restrictions in the TTCN Suite
- -
The TTCN-MP Syntax Productions in BNF
- -
The ASN1 Syntax Productions in BNF
- -
TTCN Static Semantics
- -
ASN.1 Static Semantics
- -
General
- -
The Editor User Interface and Basic Operations
- -
About Symbols and Lines
- -
Editing Text
- -
Menu Bars
- -
OM Editor Specific Information
- -
SC Editor Specific Information
- -
DP Editor Specific Information
- -
MSC Editor Specific Information
- -
Syntax Summary
- -
Comparing and Merging Diagrams
- -
Literature References
- -
Introduction
- -
The Deployment Diagram
- -
Deployment Workflow
- -
General
- -
Compliance with ITU Z.120
- -
Basic Operations
- -
Managing MSCs
- -
Rearranging an MSC
- -
Managing Windows
- -
Selecting Objects
- -
Adding and Removing Objects
- -
Collapsing and Decomposing Diagrams
- -
Moving Objects
- -
Reconnecting Objects
- -
Resizing Objects
- -
Printing Objects
- -
Setting Up the UML2SDL Utility
- -
Converting UML Diagrams
- -
Transformation Rules
- -
A Small Example
- -
General
- -
Compliance with ITU Z.100
- -
The SDL Editor User Interface and Basic Operations
- -
Working with Diagrams
- -
About Symbols and Lines
- -
Working with Symbols
- -
Working with Lines
- -
Working with Classes
- -
Working with Pages
- -
Working with Windows
- -
Editing Text
- -
Grammar Help and Signal Dictionary
- -
Menu Bars
- -
Page Editing Functions
- -
Comparing and Merging Diagrams
- -
GR to PR Conversion
- -
Symbols and Lines in DP Diagrams
- -
Symbols and Lines in HMSC Diagrams
- -
Symbols and Lines in MSC Diagrams
- -
Symbols and Lines in OM Diagrams
- -
Symbols and Lines in SC Diagrams
- -
Symbols and Lines in SDL Diagrams
- -
Objects and Windows
- -
Main Window
- -
Tree Window
- -
Entities and Windows
- -
Index Viewer Window
- -
Coverage Viewer Windows
- -
The Main Window
- -
Coverage Details Window
- -
General
- -
Complexity Numbers
- -
The Simulator Monitor
- -
Syntax of Monitor Commands
- -
Input and Output of Data Types
- -
Monitor Commands
- -
Traces
- -
Dynamic Errors
- -
Graphical User Interface
- -
Restrictions
- -
Structure of a Simulator
- -
Generating and Starting a Simulator
- -
Issuing Monitor Commands
- -
Customizing the Simulator UI
- -
Tracing the Execution
- -
Executing a Simulator
- -
Examining the System
- -
Managing Breakpoints
- -
Sending Signals from the Environment
- -
Logging the Execution
- -
Modifying the System
- -
Exiting a Simulator
- -
Target Simulation
- -
The SDL Explorer Monitor
- -
Monitor Commands
- -
Graphical User Interface
- -
Rules Checked During Exploration
- -
User-Defined Rules
- -
Autolink Configuration Syntax
- -
State Space Files
- -
Restrictions
- -
Introduction
- -
Underlying Principles and Terms
- -
Generating and Starting an SDL Explorer
- -
The SDL Explorer User Interface
- -
Navigating in the State Space
- -
Going to a System State
- -
Tracing, Logging and Viewing Facilities
- -
Performing Automatic State Space Explorations
- -
Validating an SDL System
- -
Validating Large Systems
- -
Verifying an MSC
- -
Using Observer Processes
- -
Defining Signals from the Environment
- -
Validating Systems That Use the Ref Generator
- -
Validating Systems with External C Code
- -
Using User-Defined Rules
- -
Using Assertions
- -
Configuring the SDL Explorer
- -
References
- -
The Analyzer User Interfaces
- -
Starting the Analyzer
- -
Environment Variables
- -
Syntax of Analyzer Commands
- -
Description of Analyzer Commands
- -
Conversion to PR
- -
The Macro Expander
- -
The Lexical and Syntactic Analyzer
- -
Separate Analysis
- -
Including PR Files
- -
The PR to GR Converter
- -
SDL Cross-References
- -
SDL Instance Information
- -
Error Handling
- -
Analyzer Files
- -
Error and Warning Messages
- -
General Description
- -
Using the Analyzer
- -
Introduction
- -
Generating a C Program
- -
Features
- -
Implementation
- -
Abstract Data Types
- -
Directives to the Cadvanced/Cbasic SDL to C Compiler
- -
Using Cadvanced/Cbasic SDL to C Compiler to Generate C++
- -
Restrictions
- -
Migration Guide for Generic Functions
- -
Introduction
- -
Reference Section
- -
Example Section
- -
Appendix A: Formats for ASCII
- -
Appendix B: User defined ASCII encoding and decoding
- -
Appendix C: The SDL System
- -
Appendix D: The Environment Functions
- -
Introduction
- -
Basic Concept
- -
Solution
- -
Encoding and Decoding Functionality
- -
Buffer Management System
- -
Memory Management System
- -
Error Management System
- -
User Data
- -
Printing Opportunities
- -
Structure and Configuration
- -
Introduction
- -
The Graphical User Interface
- -
Interactive Mode
- -
Targeting Work Flow
- -
Batch Mode
- -
Internal
- -
External Makefile Generator
- -
Utilities
- -
FAQs
- -
Introduction
- -
Syntax for Invoking
- -
Return Codes
- -
Actions Performed by SCCD
- -
Configuration File
- -
C Beautifier
- -
Introduction
- -
File Structure
- -
The Symbol Table
- -
The SDL Model
- -
Allocating Dynamic Memory
- -
Compilation Switches
- -
Creating a New Library
- -
Adaptation to Compilers
- -
List of All Compilation Switches
- -
General
- -
Integration with C Data Types
- -
Abstract Data Type for File Manipulations and I/O
- -
Abstract Data Type for Random Numbers
- -
Abstract Data Types for List Processing
- -
Abstract Data Type for Byte
- -
Unsigned (and Similar) Types
- -
How to Obtain PId Literals
- -
General Purpose Operators
- -
Summary of Restrictions
- -
A Performance Simulation Project
- -
The Performance Model
- -
Implementation of the Model
- -
Introduction
- -
Common Features
- -
Light Integration
- -
Threaded Integration
- -
Tight Integration
- -
Limitations for Integrations
- -
A Simple Example
- -
Tight Integration Code Reference
- -
Annex 1: Integration for OSE Delta
- -
Annex 2: Integration for VxWorks
- -
Annex 3: Integration for Win32
- -
Annex 4: Integration for Solaris
- -
Annex 5: Generic POSIX Tight Integration
- -
Annex 6: Building a Threaded Integration
- -
Application Area for the Cmicro SDL to C Compiler
- -
Overview of the Cmicro SDL to C Compiler
- -
Generated Files
- -
Implementation
- -
Abstract Data Types
- -
Exceptions for Directives
- -
Output of Code Generation
- -
Symbol Table File
- -
Generation of Identifiers
- -
SDL Restrictions
- -
Introduction
- -
Differences between Cmicro and Cadvanced
- -
The SDL Scheduler Concepts
- -
Targeting using the Cmicro Package
- -
Compilation Flags
- -
Adaptation to Compilers
- -
Bare Integration
- -
Light Integration
- -
File Structure
- -
Functions of the Basic Cmicro Kernel
- -
Functions of the Expanded Cmicro Kernel
- -
Technical Details for Memory Estimations
- -
Introduction
- -
The SDL Target Tester - An Overview
- -
Using the SDL Target Tester's Host
- -
SDL Target Tester Commands
- -
Graphical User Interface
- -
The Target Library
- -
Connection of Host and Target
- -
More Technical Descriptions
- -
Utility Functions
- -
Trouble-Shooting
- -
File Structure
- -
Environment Functions
- -
Compile and Link an Application
- -
Integration with Compiler and Operating System
- -
Optimization and Configuration
- -
Overview of Important Data Structures
- -
Background
- -
Overview of the SOMT Method
- -
Scope of the SOMT Method
- -
Requirements Analysis
- -
System Analysis
- -
System Design
- -
Object Design
- -
Implementation
- -
Summary
- -
References
- -
Activities, Models and Modules
- -
Implinks and the Paste As Concept
- -
Consistency Checking
- -
Object Model Notation
- -
State Chart Notation
- -
Message Sequence Charts
- -
SDL
- -
TTCN
- -
ASN.1
- -
Requirements Analysis Overview
- -
Textual Requirements
- -
Data Dictionary
- -
Use Cases
- -
Requirements Object Model
- -
System Operations
- -
Consistency Checks
- -
Summary
- -
System Analysis Overview
- -
Analysis Object Model
- -
Analysis Use Case Model
- -
Textual Analysis Documentation
- -
Requirements Traceability
- -
Consistency Checks
- -
Summary
- -
From Analysis to Design - Overview
- -
Analysis vs. Design
- -
Active vs. Passive Objects
- -
Reuse Issues in the Design Models
- -
Mapping Object Models to SDL
- -
Summary
- -
System Design Overview
- -
Architecture Definition
- -
Design Module Structure
- -
Deployment Description
- -
Static Interface Definitions Using SDL
- -
Mapping Object Models to SDL Interface Definitions
- -
Design Use Case Model
- -
Textual Design Documentation
- -
Consistency Checks
- -
Summary
- -
Object Design Overview
- -
Mapping Object Models to SDL Design Models
- -
Describing Object Behavior
- -
Design Testing
- -
Consistency Checks
- -
Summary
- -
Implementation
- -
Partitioning an SDL System
- -
Adaptation
- -
Integration
- -
C Code Generation
- -
Testing
- -
Summary
- -
SOMT Projects
- -
Prestudy/Conceptualization Phase
- -
Requirements Analysis Phase
- -
System Analysis Phase
- -
System Design Phase
- -
Design/Implementation Phase
- -
The Elaboration Phase
- -
Summary
- -
Introduction
- -
Preparing the Documentation Structure
- -
Identifying the Requirements
- -
Performing the System Analysis
- -
Performing the System Design
- -
Performing the Object Design
- -
Implementation
- -
Performing an Iteration
- -
To Conclude...