Where Have We Been? Flowcharts State Transition Diagrams Data Flow Diagrams Structure Charts Petri Nets. Real-Time Systems. Software Engineering - 1
|
|
- Wendy May
- 5 years ago
- Views:
Transcription
1 Where Have We Been? Scheduling - Periodic Tasks Scheduling - Sporadic Tasks Communication and Synchronization What Now? Software Engineering Software Life Cycle Specification Methods Flowcharts State Transition Diagrams Data Flow Diagrams Structure Charts Petri Nets Software Engineering - 1 Real-Time Systems
2 Software Life Cycle (Software Engineering) Ideal Waterfall Model Concept Requirements Design Programming Test Maintenance Software Engineering - 2 Real-Time Systems
3 Software Life Cycle Phases Concept Phase need and goals management directive, customer input, technology, etc. features and feasibility (design and testing) Requirements Phase Software Specification timing, accuracy, user interface, etc. software/hardware interfaces testing plan budget and schedule Functional and Non-functional requirements Complete, correct, consistent, testable Software Engineering - 3 Real-Time Systems
4 Software Phases (cont.) Design Phase Convert Requirements to Detailed Design Spec. Module partitioning Programming Phase convert to code, incremental test, documentation Test Phase Formal test cases, meets the spec? Maintenance Phase customer support, bug fixes Software Engineering - 4 Real-Time Systems
5 The Real Software Life Cycle New Product Concept Phase Cannot Specify Maintenance Phase Testing Phase Programming Phase Requirements Phase Design Phase Feature not Feasible Feature not Feasible Feature not Feasible Error Detected in Concept Validate suspected problem Feature not Feasible Error Detected in Requirements Error in Design Design not Feasible Error in Coding Software Engineering - 5
6 Software Specification and Design Natural Languages Required, but should be redundant Mathematical Specification Precise, maps to code, provable (?) Flowcharts Well understood, but promotes use of GOTO Parallel flow interaction not easily represented Timing issues difficult to represent Software Engineering - 6 Real-Time Systems
7 Natural Language (Print Spooler) When started, the print spooler must first initialize a queue of print objects (file pointers) and check the print queue backup file in case there was a system crash or other exit condition. If the backup file is not empty, load the queue from the backup file, maintaining order. If the queue could not be initialized, alert operator and exit. If the printer is not busy, set the busy flag to false. Assume a semaphore mechanism exists and block. (This could be a polling loop testing some pre-defined operating system flags.) If it unblocks on a request to print, queue the job and update backup file. If printer is not busy, send the job to the printer, else block. If the queue is full, alert the requestor and block with no change to queue. If it unblocks on printer done, check the queue and either send the next job and update backup file or set busy false. If printer error, alert operator. All cases block. If unblock on exit request, quit. Software Engineering - 7
8 Flowchart (Print Spooler) Start Init Queue Load Queue no Queue OK? yes Backup Empty? yes Block on Semaphore no Update Backup unblock == done? no Dequeue Print unblock == exit? yes Enqueue Stop Software Engineering - 8
9 State Transition Diagrams State (circle) Represents equilibrium points of the system Transitions (arrow) Changes of state Occurs when condition is met Actions are taken during transition System must have Discrete States Determine What Events Cause Changes in State Mealy = output during transition Moore = output within state Software Engineering - 9
10 State Transition Diagram (Print Spooler) Start error Init success Wait queue error queued, busy print request Queue exit request error printer done no job, busy = false sent, busy=true Print queued, printer not busy Exit Software Engineering - 10
11 Structure Charts Calling Trees Left-to-Right implies: Execution order Top-to-Bottom implies: Increasing detail o - denotes conditional execution * - denotes repetitive execution Jackson Extensions Represents program flow, not data flow Example in [PL] text is poor Software Engineering - 11
12 Structure Chart (Beverage Vending) Dispense Beverage* on Demand Accept coins Accept choice Dispense cup Make Beverage Brew Beverage Dispense Additives o o o Coffee Decaf Tea Dispense Grounds Dispense Hot H2O Mix Software Engineering - 12
13 Where Have We Been? Scheduling Algorithms Communication and Synchronization Software Engineering ([PL] Chapter 5) Software Life Cycle Software Specification Natural Language Flowcharts State Transition Diagrams (FSM) Structure Charts Where are we headed? More Software Engineering Software Specification Dataflow Diagrams Petri Nets Statecharts Software Engineering - 13
14 The View from Above Informal Specification Methods Intuitive to non-technical people Difficult to prove anything Natural Language Flowcharts Structure Charts Semiformal Specification Methods Easy to learn, but requires training Some rigor Dataflow Diagrams ([PL] construction) Formal Specification Methods Difficult to learn Rigorous and provable State Transition Diagrams Petri Nets Statecharts Software Engineering - 14
15 Dataflow Diagrams Analyze Data Flow Through System and Determine Major Functions Emphasizes Flow of Data Shows Concurrency Explicitly Does Not Show Synchronization (implicit at best) Process Sink/Source Data Store Data Flow (Data Transformation) Software Engineering - 15
16 DFD Example [PL] Raw Comp. Comp. Gyro Raw Gyro Comp. Comp. Compensated Data Calc. Pos. Position Attitude Gyro Pos, Att,... Torque Gyro Data Update Display Gyro Cmds Position Attitude eration Screen Data Display and Gyro Compensation are Concurrent Synchronization of Comp. Data is only Implied Hierarchies of DFDs Provide Process Details Describes What the System Does, not When Software Engineering - 16
17 Improved DFD Example [PL & JC] Raw eration Update Display Screen Data Display Comp. Comp. Compensated Data Calc. Pos. Position Attitude Pos, Att Position Attitude Comp. Gyro Comp. Raw Gyro Gyro Data eration Torque Gyro Cmds Fixed some bugs in the [PL] diagram (magenta) Use of Data Stores more closely match [JC] definition Eliminated redundant stores eration input to Torque matches natural language spec. Software Engineering - 17
18 Doubly Improved DFD Example [PL & JC] Raw Comp. Comp. eration Compensated Data Calc. Pos. Position Attitude eration Position, Attitude Pos, Att Update Display Screen Data Position Attitude Display Comp. Gyro Comp. Raw Gyro Gyro Data eration Torque Gyro Cmds Added Likely Information to Better Justify Data Stores This info is not explicitly in the spec but it makes the meaning clearer (left out to simplify the example) Reinforces their existence as true Data Stores (not just temporary variables) Software Engineering - 18
19 Control Flow Diagrams Analyze Control Flow (Events and Actions) and Determine Their Dynamics Emphasizes Flow of Control Control Transformations Represented by Attached State Transition Diagrams Dynamic Behavior is Explicitly Indicated Control Transformation Events and Actions Control Store Software Engineering - 19
20 Real-Time DFD Link CFD with DFD Introduce Synchronization Prompts Enable/Disable Prompt - on until off ed Trigger Prompt - one shot Activator Prompt - active for duration of state L prompt label (E,T,A) Prompt (Note double-arrow meant continuous time in DFD) Prompts Couple CFD to DFD Software Engineering - 20
21 Real-Time DFD Example Raw Comp. Comp. T eration Compensated Data Calc. Pos. Position Attitude eration Position, Attitude Pos, Att Update Display Screen Data T Position Attitude Display Comp. Gyro Raw Gyro Comp. T T Gyro Data eration Torque Gyro Cmds 5ms Tick Compensate Gyro Control Transform Compensate Calculate Position Update Disp. Torque T STDs Software Engineering - 21
22 STDs for Real-Time DFD Example Count Ticks Modulo 8 8th Tick reset counter T: comp. accel. T: comp. gyro T: calc. pos. T: torque gyros Other Tick inc. counter T: comp. accel. 200th Tick reset counter T: update display Count Ticks Modulo 200 Other Tick inc. counter Other Topologies Possible Software Engineering - 22
23 Petri Nets Formal Method for Multitasking and Synchronization 2 Places Nodes Transitions Inputs Outputs Marks Tokens Initial Marking Indicates How the Net Starts P1 T1 T1 P1 P2 P2 2 1 Transitions Fire if all Inputs have a Token Tokens are Consumed and Produced by Transitions Software Engineering - 23
24 Petri Net Example [PL] P1 T1 T1 P2 P1 P2 Produced P1 T1 P2 Before Firing Table 1: Firing Table epoch P1 P2 m m m 2 Consumed After Firing All Transitions are Synchronized Transitions Triggered by Event such as Clock Software Engineering - 24
25 Multiple Transitions Example [PL] P1 1 P2 1 T1 T2 P3 T3 P4 2 0 Multiple Transitions are Enabled Simultaneously Evaluate All Transitions to See Which Fire Software Engineering - 25
26 Petri Nets Can Be Non-Deterministic P1 T1 P4 P2 T2 P5 T4 P7 P3 T3 P6 What Transitions are Enabled? Can Both T2 and T3 Fire? Beware the Errant Token Software Engineering - 26
27 Associating Entities with Tokens and Transitions [PL] a,a,a P1 Multiply T1 P4 2 P2 Multiply T2 P5 Add T4 P7 bi,bi,bi P3 Multiply T3 P6 Complex Multiplication: (a+bi)(a+bi) = a 2 - b 2 + 2abi Tokens: intermediate results (variables) Transitions: operations Creation of tokens tied to external event Software Engineering - 27
28 Escort Tokens and Inhibitors Basic production facility (conveyor contention) Loading Dock Staging Area Work Station Finished Inventory Staging Area Loading Dock unload truck transport assemble transport load (conveyor in) (conveyor out) truck Escort token to eliminate conveyor contention Loading Dock Staging Area Work Station Finished Inventory Staging Area Loading Dock unload truck transport assemble transport load (conveyor in) (conveyor out) truck Software Engineering - 28
29 Escort Tokens and Inhibitors (cont.) Inhibitor to protect only conveyor (not entire station) Loading Dock Staging Area Work Station Finished Invent. Staging Area Loading Dock unload truck transport assemble transport load (conveyor in) (conveyor out) truck To deal with finite time transitions, add done indicator that produces a token Loading Dock Unloading Truck Staging Area start unloading finish unloading Done Button Software Engineering - 29
30 Elements of Statecharts Finite State Automata Depth - states inside states (hierarchical) Orthogonality - concurrent processes Broadcast Communications - synchronization Software Engineering - 30 Real-Time Systems
31 Unified Modeling Language Aimed at Object-Oriented Systems Design Independent of Design Process Modeling Language (semantics and notation) Process of Application of that Language UML s Characteristics Semi-formal Language Discrete Systems (vs. continuous) based on finite state machines semantics ==> meaning syntax ==> representation of semantics Software Engineering - 31 Real-Time Systems
32 UML Components 3 Distinct Models Requirements Model Black box, hiding implementation Actors and use cases (external to system) Structural Model Classes and how they collaborate Associations among classes Components (executables) and nodes (CPUs, I/O, etc) Behavioral Model Statecharts Refs: Real-Time UML, Douglass, Addison Wesley UML for Systems Engineering, UML s Shortfalls in Modeling Complex Real-Time Systems, 11/98 Computer Design Software Engineering - 32
Business Process Modeling
Business Process Modeling Jaelson Castro jbc@cin.ufpe.br Jaelson Castro 2016 1 Objectives Business processes Modeling concurrency and synchronization in business activities BPMN Diagrams Jaelson Castro
More informationCLASS/YEAR: II MCA SUB.CODE&NAME: MC7303, SOFTWARE ENGINEERING. 1. Define Software Engineering. Software Engineering: 2. What is a process Framework? Process Framework: UNIT-I 2MARKS QUESTIONS AND ANSWERS
More informationBusiness Process Modeling Information Systems in Industry ( )
Business Process Modeling Information Systems in Industry (372-1-4207 ) Arnon Sturm The material of this presentation is adopted from various people including:, Pnina Soffer, Iris Reinhartz-Berger 1 Outline
More informationIntroduction to Computer Simulation
Introduction to Computer Simulation EGR 260 R. Van Til Industrial & Systems Engineering Dept. Copyright 2013. Robert P. Van Til. All rights reserved. 1 What s It All About? Computer Simulation involves
More informationBusiness modelling with UML
Business modelling with UML Aljaž Zrnec, Marko Bajec, Marjan Krisper Fakulteta za računalništvo in informatiko Univerza v Ljubljani Tržaška 25, 1000 Ljubljana, Slovenija aljaz.zrnec@fri.uni-lj.si Abstract
More informationCS/IT Secure Software Construction
CS/IT 328 - Secure Software Construction Chapter 4 UML the Unified Modeling Language Book: Fowler, UML Distilled, chap. 1.. 4 Notation: Notations and Meta-Models a graphical representation of a model,
More informationTDT4252 Modelling of Information Systems Advanced Course
1 TDT4252 Modelling of Information Systems Advanced Course Sobah Abbas Petersen Adjunct Associate Professor sap@idi.ntnu.no 2 Overview of lecture today Process Modelling: IDEF0 and BPMN Based on the following
More informationFunctional requirements and acceptance testing
Functional requirements and acceptance testing Lecture 3 Software Engineering TDDC88/TDDC93 autumn 2007 Department of Computer and Information Science Linköping University, Sweden Message from the course
More informationSYSTEM AND SOFTWARE DESIGN USING THE UNIFIED MODELING LANGUAGE (UML)
Michael Weintraub And Frank Tip SYSTEM AND SOFTWARE DESIGN USING THE UNIFIED MODELING LANGUAGE (UML) Thanks go to Martin Schedlbauer and to Andreas Zeller for allowing incorporation of their materials
More informationECE-492 SENIOR ADVANCED DESIGN PROJECT
ECE-492 SENIOR ADVANCED DESIGN PROJECT Meeting #7 ECE-492 Meeting#7 Q1: Let s discuss your Design Reviews Q2: Any question about Design Document format and preparation? HW5: Teams show your background
More informationLoops and Counters. If Statement: Ladder Logic Code:
If Statement: Loops and Counters if (A == 0) then do function F1 if (A == 1) then do function F2 do function F3 Ladder Logic Code: A return statement takes you to the next line of code. This checks if
More informationSoftware Engineering Fall 2015 (CSC 4350/6350) TR. 5:30 pm 7:15 pm. Rao Casturi 09/08/2015
Software Engineering Fall 2015 (CSC 4350/6350) TR. 5:30 pm 7:15 pm Rao Casturi 09/08/2015 http://cs.gsu.edu/~ncasturi1 Functional and Non Functional Requirement Functional Specification a system should
More informationDevelopment Process and Analysis. LTOOD/OOAD - Verified Software Systems 1
Development Process and Analysis LTOOD/OOAD - Verified Software Systems 1 Software Crisis Declared in the late 60 s Expressed by delays and failures of major software projects (unreached goals, unpredictable
More informationRequirements Engineering
Requirements Engineering Software Engineering CS 130 Donald J. Patterson Content adapted from Essentials of Software Engineering 3rd edition by Tsui, Karam, Bernal Jones and Bartlett Learning Requirements
More informationWorkflow and Business Process Modeling with UML Activity Diagrams. April 17, 2008
Workflow and Business Process Modeling with UML Activity Diagrams April 17, 2008 1 About Today s Seminar Your input Polls Questions This session will be recorded 2 Introductions ti Boston University Corporate
More informationProcess Specifications. and process modelling
Process Specifications and process modelling Copyright smart-ba 2008 1 process specifications are the pivot around which solutions are specified, designed and implemented Introduction The diagram illustrates
More informationCHAPTER 2 LITERATURE SURVEY
10 CHAPTER 2 LITERATURE SURVEY This chapter provides the related work that has been done about the software performance requirements which includes the sub sections like requirements engineering, functional
More informationPolytechnic University of Tirana Department of Computer Engineering. Elinda Kajo Mece Kleona Binjaku Inesa Buzo
Polytechnic University of Tirana Department of Computer Engineering Elinda Kajo Mece Kleona Binjaku Inesa Buzo Content Introduction Survey results Conclusions Proposed ideas Introduction Dozens of companies
More informationChallenges for Performance Analysis in High-Performance RC
Challenges for Performance Analysis in High-Performance RC July 20, 2007 Seth Koehler Ph.D. Student, University of Florida John Curreri Ph.D. Student, University of Florida Dr. Alan D. George Professor
More informationChapter 3 Prescriptive Process Models
Chapter 3 Prescriptive Process Models - Generic process framework (revisited) - Traditional process models - Specialized process models - The unified process Generic Process Framework Communication Involves
More information1
VE7104/INTRODUCTION TO EMBEDDED CONTROLLERS MULTITASKING AND THE REAL-TIME OPERATING SYSTEM The challenges of multitasking and real-time, Achieving multitasking with sequential programming, RTOS, Scheduling
More informationIn general, a model is used to understand a system. It is only a representation of a more complicated original system based on mutual
In general, a model is used to understand a system. It is only a representation of a more complicated original system based on mutual characteristics, that is used for a specific exercise by a third system.
More informationWorkflow Model Representation Concepts
Workflow Model Representation Concepts József Tick Institute for Software Engineering, John von Neumann Faculty, Budapest Tech tick@bmf.hu Abstract: Workflow management and the possibilities of workflow
More informationManaging Systems Development. Definitions. Opening case. Off the Shelf software. Custom software. In house system development.
Managing Systems Development October 14, 2015 Off the Shelf software Definitions Standard (not custom) software applications that can be purchased from computer store. Custom software Tailor made software
More informationMethods for the specification and verification of business processes MPB (6 cfu, 295AA)
Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 20 - Event-driven process chains 1 Object Finish image f finish failed
More informationBrief Summary of Last Lecture. Model checking of timed automata: general approach
Brief Summary of Last Lecture Formal verification Types: deductive (theorem proving) and algorithmic (model checking) ields proof that a (formal) specification is fulfilled Formalization of specs e.g.
More informationSystem Development Life Cycle (SDLC) Project
System Development Life Cycle (SDLC) Project Six Phases of the System Development Life Cycle Preliminary Investigation Assesses feasibility and practicality of system System Analysis Study old system and
More informationGalaxy 300. Operation 05/
Galaxy 300 60 80 kva Operation 05/2016 www.schneider-electric.com Legal Information The Schneider Electric brand and any registered trademarks of Schneider Electric Industries SAS referred to in this guide
More informationNucleus Detailed Reference Guide
Nucleus Detailed Reference Guide Table of Contents Nucleus Overview Nucleus Login Screen 5 Nucleus Home Screen 6 Clearing Failed Doors 7 Practice Management Accessing Patient Screen 9 Adding a New Patient
More informationModular Logic Controllers for Machining Systems: Formal Representation and Analysis using Petri Nets
Modular Logic Controllers for Machining Systems: Formal Representation and Analysis using Petri Nets Dawn Tilbury Mechanical Engineering and Applied Mechanics University of Michigan Acknowledgments Joint
More informationCourse Organization. Lecture 1/Part 1
Course Organization Lecture 1/Part 1 1 Outline About me About the course Lectures Seminars Evaluation Literature 2 About me: Ing. RNDr. Barbora Bühnová, Ph.D. Industrial experience Research Quality of
More informationHow to describe Museum Processes and Subprocesses
Author: Jutta Stockklauser Version: V 1.0 Date: 23.05.2012 How to describe Museum Processes and Subprocesses Guidebook prepared for: CIDOC Working Group http://network.icom.museum/cidoc/ TABLE OF CONTENTS
More informationCMSC 435: Software Engineering Section Back to Software. Important: Team Work. More Resources
CMSC 435: Software Engineering Section 0101! Atif M. Memon (atif@cs.umd.edu)! 4115 A.V.Williams building! Phone: 301-405-3071! Office hours!.tu.th. (10:45am-12:00pm)! Don t wait, don t hesitate, do communicate!!!
More informationModeling Process Aware Information Systems with BPMN
Modeling Process Aware Information Systems with BPMN Fabrizio Maria Maggi Based on lecture material by Marlon Dumas (University of Tartu, Estonia) and Wil van der Aalst (Eindhoven University of Technology,
More informationCS SOFTWARE ENGINEERING QUESTION BANK
CS6403 - SOFTWARE ENGINEERING QUESTION BANK UNIT I- SOFTWARE PRODUCT AND PROCESS Part - A (2 M ARKS) 1. What is the prime objective of software engineering? 2. Define software engineering paradigm. 3.
More information03. Perspective Process Models
03. Perspective Process Models Division of Computer Science, College of Computing Hanyang University ERICA Campus 1 st Semester 2017 Prescriptive Process Models advocates an orderly approach to software
More informationRequirements Use Cases
Requirements Engineering Requirements Use Cases Software Lifecycle Activities Requirements Analysis Software Design Implementation System Engineering Computer Science Department Baylor University Evolution
More informationLecture 4 Advanced Process Modeling
MTAT.03.231 Business Process Management Lecture 4 Advanced Process Modeling Marlon Dumas marlon.dumas ät ut. ee 1 Business Process Lifecycle 1. Introduction 2. Process Identification 3. Essential Process
More informationAn Exercise In Process Modeling
IS 2000 PRINCIPLES OF INFORMATION SCIENCE An Exercise In Process Modeling Assignment 7 Jennifer Varavithaya 11/18/2014 1 Contents Data Collection Method... 3 Flow Chart... 4 Flow Chart Explanation... 5
More informationCSCC40 Analysis and Design of Information Systems mid-term exam
UNIVERSITY OF TORONTO at Scarborough CSCC40 Analysis and Design of Information Systems mid-term exam October 26 2007 Duration: 2.5 hours One 8.5 by 11 hand-written aid sheet is permitted. Regarding the
More informationGalaxy 300 and Galaxy 300i
Galaxy 300 and Galaxy 300i 10-40 kva 380/400/415 V Operation 07/2016 www.schneider-electric.com Legal Information The Schneider Electric brand and any registered trademarks of Schneider Electric Industries
More informationChapter 2 Accountants as Business Analysts. Changing Roles of Accountants in Business
Chapter 2 Accountants as Business Analysts Changing Roles of Accountants in Business - Past; accountants focused on stewardship and reporting functions: kept financial records, prepared financial reports
More informationOPERATING SYSTEMS. Systems and Models. CS 3502 Spring Chapter 03
OPERATING SYSTEMS CS 3502 Spring 2018 Systems and Models Chapter 03 Systems and Models A system is the part of the real world under study. It is composed of a set of entities interacting among themselves
More information(c) Addison Wesley Chapter 1. ! Software production is an art. ! Two groups. ! Main causes of software failures
MACIASZEK, L.A. (2001): Requirements Analysis and System Design. Developing Information Systems with UML, Addison Wesley Chapter 1 Software Process Copyright 2000 by Addison Wesley Version 1.0 Software
More informationHomework 2: Comparing Scheduling Algorithms
Homework 2: Comparing Scheduling Algorithms The purpose of this homework is to build a scheduler to compare performance of a First In First Out (FIFO) versus Round Robin algorithms. The algorithms will
More informationPersonal Software Process SM for Engineers: Part I
Personal Software Process SM for Engineers: Part I Introduction to the PSP SM Defect Removal Estimation of Project Size Microsoft Project Design READING FOR THIS LECTURE A Discipline for Software Engineering,
More informationThe Design and Development Process for Hardware/Software Embedded Systems: Example Systems and Tutorials
The Design and Development Process for Hardware/Software Embedded Systems: Example Systems and Tutorials A Thesis submitted to the Graduate School of The University of Cincinnati In partial fulfillment
More informationSoftware Processes. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 4 Slide 1
Software Processes Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 4 Slide 1 Objectives To introduce software process models To describe three generic process models and when they may be
More informationShipping. User Guide
Shipping User Guide The information in this document is subject to change without notice and does not represent a commitment on the part of Horizon. The software described in this document is furnished
More informationLectures 2 & 3. Software Processes. Software Engineering, COMP201 Slide 1
Lectures 2 & 3 Software Processes Software Engineering, COMP201 Slide 1 What is a Process? When we provide a service or create a product we always follow a sequence of steps to accomplish a set of tasks
More informationTHE BCS PROFESSIONAL EXAMINATION Diploma. October EXAMINERS REPORT Systems Analysis and Design
THE BCS PROFESSIONAL EXAMINATION Diploma October 2017 EXAMINERS REPORT Systems Analysis and Design Case study for both Sections A and B BCS Builders BCS Builders is a company offering house building and
More informationFORMAL PROPERTY VERIFICATION OF COUNTER FSM AND I2C
FORMAL PROPERTY VERIFICATION OF COUNTER FSM AND I2C SNEHA S 1, ROOPA G 2 1 PG Student, Dept. of Electronics and Communication Engineering, Nagarjuna College of Engineering, Bengaluru Karnataka Email: sneha44enz@gmail.com
More informationCHAPTER 1. Business Process Management & Information Technology
CHAPTER 1 Business Process Management & Information Technology Q. Process From System Engineering Perspective From Business Perspective In system Engineering Arena Process is defined as - a sequence of
More informationKINGS COLLEGE OF ENGINEERING DEPARTMENT OF INFORMATION TECHNOLOGY QUESTION BANK
KINGS COLLEGE OF ENGINEERING DEPARTMENT OF INFORMATION TECHNOLOGY QUESTION BANK Subject Code & Subject Name: IT1251 Software Engineering and Quality Assurance Year / Sem : II / IV UNIT I SOFTWARE PRODUCT
More informationChapter 4 Structured Analysis and Functional Architecture Design. Dr. Eng. Shady Aly
Chapter 4 Structured Analysis and Functional Architecture Design Dr. Eng. Shady Aly 1 Modeling IIS This is the first step in the design of IIS for an industrial enterprise. The design proceeds from a definition
More informationObject-Oriented & Classical Soft Engineering
Object-Oriented & Classical Soft Engineering Seventh Edition Stephen R. Schach Vanderbilt University Higher Education Boston Burr Ridge, IL Dubuque, IA New York San Francisco St. Louis Bangkok Bogota Caracas
More informationSoftware Processes. Objectives. Topics covered. The software process. Waterfall model. Generic software process models
Objectives Software Processes To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software
More informationSystems Analysis for Business Analysts (3 Day)
www.peaklearningllc.com Systems Analysis for Business Analysts (3 Day) This is a basic course to help business analysts understand the basics of systems analysis. This course is ideal for people who are
More informationEnterprise by HansaWorld Resource Planner
Enterprise by HansaWorld Resource Planner Version 7.2 Mac OS October 2014 Table of Contents THE RESOURCE PLANNING MODULE...3 Settings...3 Display Groups...3 Invoice Items...4 Number Series Reservations...4
More informationObjectives. The software process. Topics covered. Waterfall model. Generic software process models. Software Processes
Objectives Software Processes To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software
More informationENGM 541, ENGM 670 & MECE 758 Modeling and Simulation of Engineering Systems Winter 2011 Lecture 9: Discrete Event Systems Modeling & Simulation M.G. Lipsett University of Alberta http://www.ualberta.ca/~mlipsett/engm541/engm541.htm
More information4 BUILDING YOUR FIRST MODEL. L4.1 Building Your First Simulation Model. Knowing is not enough; we must apply. Willing is not enough; we must do.
Pro, Second Edition L A B 4 BUILDING YOUR FIRST MODEL Knowing is not enough; we must apply. Willing is not enough; we must do. Johann von Goethe In this lab we build our first simulation model using Pro.
More informationTopics covered. Software process models Process iteration Process activities The Rational Unified Process Computer-aided software engineering
Software Processes Objectives To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software
More informationSolutions Manual. Object-Oriented Software Engineering. An Agile Unified Methodology. David Kung
2 David Kung Object-Oriented Software Engineering An Agile Unified Methodology Solutions Manual 3 Message to Instructors July 10, 2013 The solutions provided in this manual may not be complete, or 100%
More informationCost-Effective Verification and Validation of Modeling and Simulation
Cost-Effective Verification and Validation of Modeling and Simulation Dr. Dave Cook The AEgis Technologies Group, Inc. Purpose of This Talk Show what V&V is (and what it is not!) and how it applies to
More informationAn Introduction to Use Cases
An Introduction to Use Cases Geri Schneider and Jason P. Winters Wyyzzk, Inc. Santa Clara, CA 95051 1 Abstract Use cases, also referred to as user stories, enable the functional requirements of a software
More informationINFORMATION SYSTEMS ANALYSIS AND DESIGN
INFORMATION SYSTEMS ANALYSIS AND DESIGN Shouhong Wang Hai Wang Universal-Publishers Boca Raton TABLE OF CONTENTS PREFACE 7 CHAPTER 1. INTRODUCTION 13 1.1. Context of Information Systems Analysis and Design
More informationII. Software Life Cycle. Laurea Triennale in Informatica Corso di Ingegneria del Software I A.A. 2006/2007 Andrea Polini
II. Software Life Cycle Laurea Triennale in Informatica Corso di Objectives To introduce software process models To describe three generic process models and when they may be used To describe outline process
More informationCSE 435 Software Engineering. Sept 14, 2015
CSE 435 Software Engineering Sept 14, 2015 What is Software Engineering Where Does the Software Engineer Fit In? Computer science: focusing on computer hardware, compilers, operating systems, and programming
More informationReference model of real-time systems
Reference model of real-time systems Chapter 3 of Liu Michal Sojka Czech Technical University in Prague, Faculty of Electrical Engineering, Department of Control Engineering November 8, 2017 Some slides
More informationAn Introduction to Use-Case Modeling
An Introduction to Use-Case Modeling The process of modeling a system s functions in terms of business events who initiated the events how the system responds to those events An approach that facilitates
More informationSelecting Software Development Life Cycles. Adapted from Chapter 4, Futrell
Selecting Software Development Life Cycles Adapted from Chapter 4, Futrell Examples of Software Life Cycle Models Classical Waterfall Waterfall with feedback V-Shaped Prototyping Incremental Spiral Rapid
More informationThe Product Creation Process
- 0. feasibility 1. definition 2. system 3. 4. integration & test 5. field monitoring needs verification core information Legend: in draft full under development most information 50% available in concept
More informationResearch on the Service Modeling Method of Information Management Software based on the Petri Net Model
Research on the Modeling Method of Information Management Software based on the Petri Net Model Han Tianfeng School of Computer Application, Qingdao Hotel Management College P.R.China hantianfeng@126.com
More informationSoftware Engineering II - Exercise
Software Engineering II - Exercise April 29 th 2009 Software Project Management Plan Bernd Bruegge Helmut Naughton Applied Software Engineering Technische Universitaet Muenchen http://wwwbrugge.in.tum.de
More informationBusiness Processes Modelling MPB (6 cfu, 295AA)
Business Processes Modelling MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 21 - Event-driven process chains!1 Object Finish image f finish failed Start u V V Evaluate e V redo Create thumbnail
More informationAnalyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams
Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams Henk Jan Pels Technische Universiteit Eindhoven h.j.pels@tue.nl Abstract. A method to model the interaction
More informationCSC 1600: Chapter 5. CPU Scheduling. Review of Process States
CSC 1600: Chapter 5 CPU Scheduling Review of Process States 1 OS Queuing Model Enter Ready queue CPU Exit Disk Queue Network Queue Printer Queue Processes enter and leave the system CPU Scheduling Each
More informationP12-1 ANS. a. Table of Entities and Activities for Internet Payment Platform (Purchasing and Receiving Processes)
Accounting Information Systems, 7e 1 on pg. 12-4) P12-1 ANS. a. Table of Entities and Activities for Internet Payment Platform (Purchasing and Receiving Processes) Entities Para Activities Contracting
More informationDEVS MODELING OF RUN-TIME WORKFLOW SIMULATION AND ITS APPLICATION
DEVS MODELING OF RUN-TIME WORKFLOW SIMULATION AND ITS APPLICATION Byoung K. Choi, Duckwoong Lee, and Dong H. Kang Department of Industrial Engineering KAIST 373-1 Guseong-dong, Yuseong-gu, Daejeon, 305-701,
More informationCHAPTER 3 Use Cases. 3. Use Cases
CHAPTER 3 Use Cases Introduction When, Why, Where, What Iteratively Developing Use Cases Inception + Scope Definition + Risk Identification + Actors & Use cases + Project Plan Elaboration + Primary & Secondary
More informationCHAPTER 3 Use Cases. 3. Use Cases
CHAPTER 3 Use Cases Introduction When, Why, Where, What Iteratively Developing Use Cases Inception + Scope Definition + Risk Identification + Actors & Use cases + Project Plan Elaboration + Primary & Secondary
More informationSOFTWARE ENGINEERING WITH JAVA
SOFTWARE ENGINEERING WITH JAVA Stephen R. Schach Vanderbilt University Irwin McGraw-Hill Boston, Massachusetts Burr Ridge, Illinois Dubuque, Iowa Madison, Wisconsin New York, New York San Francisco, California
More informationTopic 4: Object-Oriented Approach to Requirements Engineering. Software Engineering. Faculty of Computing Universiti Teknologi Malaysia
Topic 4: Object-Oriented Approach to Requirements Engineering Software Engineering Faculty of Computing Universiti Teknologi Malaysia Software Engineering 2 Topic Outline Part I: Requirements Document
More informationTopic 4: Object-Oriented Approach to Requirements Engineering. Software Engineering. Faculty of Computing Universiti Teknologi Malaysia
Topic 4: Object-Oriented Approach to Requirements Engineering Software Engineering Faculty of Computing Universiti Teknologi Malaysia Software Engineering 2 Topic Outline Part I: Requirements Document
More informationBPMN Guide Quick Start. by Bizagi BPM
BPMN Guide Quick Start by Bizagi BPM Recruitment and Selection 1 Table of Contents Scope... 2 BPMN 2.0 Business Process Modeling Notation... 2 Why Is It Important To Model With BPMN?... 2 Introduction
More informationCOINS Enhancement: Entering Payroll Time Cards For Inactive Employees
COINS Enhancement: Modules Affected: Payroll Versions Affected: COINS Version 7 and COINS Ti 2.6 (software level 9.7c2.34) Documentation Updated: New changes described in this CE document are included
More informationRequirements Verification and Validation
SEG3101 (Fall 2010) Requirements Verification and Validation SE502: Software Requirements Engineering 1 Table of Contents Introduction to Requirements Verification and Validation Requirements Verification
More informationOperating instructions. METTLER TOLEDO MultiRange Application software IND690-FormXP.
Operating instructions METTLER TOLEDO MultiRange Application software IND690-FormXP www.mt.com/support Congratulations on choosing the quality and precision of METTLER TOLEDO. Proper use according to these
More informationInternational Journal of Computing and Business Research (IJCBR) ISSN (Online) :
International Journal of Computing and Business Research (IJCBR) ISSN (Online) : 2229-6166 Volume 3 Issue 2 May 2012 LATEST PROGRAMMING LANGUAGE TOOLS FOR BUSINESS PROCESS MODELLING Dr. Ram Shukla, Faculty
More informationThomson Learning DOCUMENTING ACCOUNTING SYSTEMS LEARNING OBJECTIVES
3 DOCUMENTING ACCOUNTING SYSTEMS LEARNING OBJECTIVES After completing this chapter, you should understand: U1. Information represented on UML activity diagrams. U2. Differences between an overview activity
More information5.3 Supply Management within the MES
Technical 6x9 / Manufacturing Execution Sytems (MES): Design, Planning, and Deployment / Meyer / 0-07-162383-3 / Chapter 5 Core Function Production Flow-Oriented Planning 85 Customer data (e.g., customer
More informationChapter 1. What is Software Engineering. Shari L. Pfleeger Joanne M. Atlee. 4 th Edition
Chapter 1 What is Software Engineering Shari L. Pfleeger Joanne M. Atlee 4 th Edition Contents 1.1 What is Software Engineering? 1.2 How Successful Have We Been? 1.3 What Is Good Software? 1.4 Who Does
More informationThe software process
Software Processes The software process A structured set of activities required to develop a software system Specification; Design; Validation; Evolution. A software process model is an abstract representation
More informationStock Ledger. Reference Manual
Stock Ledger Reference Manual 2002 NSB Retail Solutions Inc. The contents of this manual and the software it describes are the property of NSB Retail Solutions Inc. and are copyrighted. Any unauthorized
More informationProcesses. Object Orientated Analysis and Design. Benjamin Kenwright
Processes Object Orientated Analysis and Design Benjamin Kenwright Outline Review What are Processes? Why are they important in Object Orientated Analysis and Design Conclusion and Discussion Summary Revision
More informationThe assessment of interlocking control algorithm developed by Rhapsody
The assessment of interlocking control algorithm developed by Rhapsody 1 Yong-Ki Yoon, 2 Won-Young Kim, 2 Yong-Kyu Kim Train Control Research Team, Signaling & Electrical Engineering Dep., Korea Railroad
More informationIMPOSSIBILITY OF CONSENSUS
IMPOSSIBILITY OF CONSENSUS Fall 2012 Ken Birman Consensus a classic problem Consensus abstraction underlies many distributed systems and protocols N processes They start execution with inputs {0,1} Asynchronous,
More informationRequirements Knowledge Model. Business. Event. Business. responding. Business. Use Case 1.. Business tracing * * * * Requirement
Requirements Knowledge Model This model provides a language for communicating the knowledge that you discover during requirements-related activities. We present it here as a guide to the information you
More informationSCHEDULING IN MANUFACTURING SYSTEMS
In process planning, the major issue is how to utilize the manufacturing system s resources to produce a part: how to operate the different manufacturing processes. In scheduling. The issue is when and
More information