Software Architecture and Specification 2 Derived from Dr. Fawcett’s slides Phil Pratt-Szeliga Fall 2009.

Slides:



Advertisements
Similar presentations
Chapter 7 System Models.
Advertisements

Presentation by Prabhjot Singh
ARCH-05 Application Prophecy UML 101 Peter Varhol Principal Product Manager.
Software Development Process Models Derived from Dr. Fawcett’s slides Phil Pratt-Szeliga CSE 784 Fall 2009.
IT Requirements Capture Process. Motivation for this seminar Discovering system requirements is hard. Formally testing use case conformance is hard. We.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
Chapter 22 Object-Oriented Systems Analysis and Design and UML Systems Analysis and Design Kendall and Kendall Fifth Edition.
Requirements and Design
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 8 Slide 1 System models.
B-Spec Review Phil Pratt-Szeliga CSE 784 Fall 2009.
Detailed Design Kenneth M. Anderson Lecture 21
Software Requirements Specification Quality Measures Derived from Dr. Fawcett’s slides Phil Pratt-Szeliga Fall 2009.
CSE 784 Software Studio Phil Pratt-Szeliga Fall 2010 Slides Derived From: Dr. Fawcett.
1 SYSTEM and MODULE DESIGN Elements and Definitions.
Lecture 13 Revision IMS Systems Analysis and Design.
Software Architecture and Specification Derived from Dr. Fawcett’s slides Phil Pratt-Szeliga Fall 2010.
CS 221/ IT 221 Lecture 14 Software Engineering Dr. Jim Holten.
Design 15 February. Software Engineering: Elaborated Steps Concept (contract, intro on web site) Requirements (use cases, requirements) Architecture Design.
Software Issues Derived from Dr. Fawcett’s Slides Phil Pratt-Szeliga Fall 2009.
Common Page Design. Graphics and Tables Uses: Objects Numbers Concepts Words.
Project Scope Management J. S. Chou, P.E., PhD.
Module 9 Session 9.2 Visual 1 Module 9 Designing Control and Reporting Systems (Time, Cost, Resources and Scope (Performance and Quality)) Session 9.2Managing.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
Lesson 7 Guide for Software Design Description (SDD)
Chapter 4 System Models A description of the various models that can be used to specify software systems.
System models Abstract descriptions of systems whose requirements are being analysed Abstract descriptions of systems whose requirements are being analysed.
Software Engineering Chapter 8 Fall Analysis Extension of use cases, use cases are converted into a more formal description of the system.Extension.
Homework Assignment 3 Due date: Tuesday, Wednesday, or Thursday, October 4-6, 2005 input: push-button switch output: seven-segment LED 7 points Menu System.
CS351/ IT351 Modeling and Simulation Software Engineering Dr. Jim Holten.
© 2012 Cengage Learning. All Rights Reserved. This edition is intended for use outside of the U.S. only, with content that may be different from the U.S.
©Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions.
SOFTWARE DESIGN (SWD) Instructor: Dr. Hany H. Ammar
Project Scope Management Project management Digital Media Department Unit Credit Value : 4 Essential Learning time : 120 hours.
Large Scale Software Systems Derived from Dr. Fawcett’s Notes Phil Pratt-Szeliga Fall 2010.
Chapter 7 System models.
System models l Abstract descriptions of systems whose requirements are being analysed.
Modified by Juan M. Gomez Software Engineering, 6th edition. Chapter 7 Slide 1 Chapter 7 System Models.
Software Engineering, 8th edition Chapter 8 1 Courtesy: ©Ian Somerville 2006 April 06 th, 2009 Lecture # 13 System models.
Sommerville 2004,Mejia-Alvarez 2009Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
CS 4850: Senior Project Fall 2014 Object-Oriented Design.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
Context Process0. student Data Flow Diagram Progression.
Lecture 1: Introduction – Graduation Projects Topics to Discuss in Lectures 1. Project Deliverables 2. Course grading 3. Project Concept Writing.
1)History of water fall model. 2)Features of water fall model. 3)Phase of water fall model. 4)Brief description of phases. 5)Advantages. 6)Disadvantages.
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
Software Design Derived from Dr. Fawcett’s slides CSE784 – Software Studio Fall 2009.
Documenting Software Architectures. Outline  Introduction  Uses of Architectural Documentation  Views  Choosing the Relevant Views  Documenting a.
 System Requirement Specification and System Planning.
Guidelines for a Technical Presentation or Poster by Dr. Robert A. Pilgrim Class ID Date Title Author(S) Event/Venue Date.
Engineering, 7th edition. Chapter 8 Slide 1 System models.
CSE784 – Software Studio Jim Fawcett Fall 2002.
Chapter ? Quality Assessment
Architecture Concept Documents
System Design and Modeling
Lecture 9- Design Concepts and Principles
CSE784 – Software Studio Jim Fawcett Fall 2006.
Abstract descriptions of systems whose requirements are being analysed
What is an Architecture?
Logical architecture refinement
INFS 6225 Object Oriented Systems Analysis & Design
Lecture 9- Design Concepts and Principles
SWEN 5230 Your Project Title
CS 8532: Advanced Software Engineering
Project Prototype Demo 1 Grading Rubric
What is an Architecture?
Requirements Document
Chapter 22 Object-Oriented Systems Analysis and Design and UML
Chapter 3 Software Architecture and Specification
Executable Specifications
Software Architecture
Presentation transcript:

Software Architecture and Specification 2 Derived from Dr. Fawcett’s slides Phil Pratt-Szeliga Fall 2009

C-Level Specifications: Overview Written by the developers Customer does not have approval rights Describes the design “as built” Defines how a software product satisfies its requirements. Includes for each component: Design, concept, physical structure, states, control and low-level interface details Translates logical descriptions of B-Spec into: Physical structure, classes, functions and data structures used to implement each component

C-Level Specifications: Contents The C-Specification Contains: Physical description of the software architecture One or more activity diagrams and package diagrams or structure charts showing data and control flow between programs and modules A physical description for each module One or more of the following for each module: Package diagram or structure chart Class diagrams Event trace State transition diagram or control flow graph Manual/Maintenance Pages in the Code with HIPOs A data dictionary describing data flows between components

C-Spec Structure 1.Architecture 1.Referenced Documents 1.Module Specifications 1.Class Declarations 2.Function Definitions 3.Structure Charts 4.State Transitions Diagrams 5.Event Trace Diagrams 2.Data Dictionary Names, Types, Scope and Descriptions of Declared Data 1.Notes 1.[Complete Code Listings]

Activity Diagram (CRC Builder)

Package Diagram Example (VRTS)

Structure Chart Example (Duplicates)

Class Diagram Example (Duplicates) aggregation composition derivation using Key

Event Trace Diagram (Duplicates)

State Transition Diagram (Pattern Matcher) Start (Match)

Specification Goals Legally Complete Requirements Spec – Complete description of what must be done Product Spec – Complete description of how the processing is accomplished in this product Eliminates all ambiguity Definition of what is ambiguous depends on the expertise of development team and customer For example: declared – 5 definitions. We want to formally make known Brief Eliminate all redundancy and extraneous descriptions No adjectives or adverbs Based on architectural components Allows team to work relatively independently on an assigned component Makes orderly integration and test possible

Specification Summary A level spec B level spec C level spec Contractual description of what the product will do, how it behaves. Each “shall” is binding and tested at system test. High level decomposition, description of processing and data flows. Each “shall” is binding and tested at qualification test Physical description of each component, as built. No “shalls”. Eventually contains the source code listings.