Generating system documentation augmented with traceability information, using a central XML-based repository

Size: px
Start display at page:

Download "Generating system documentation augmented with traceability information, using a central XML-based repository"

Transcription

1 Generating system documentation augmented with traceability information, using a central XML-based repository Master s thesis presentation Thomas U. Kraus Department of Software Engineering Faculty of EEMCS

2 Context of the graduation project Documentation of a system is important: To understand a system for building, using, assessment, extending, making changes, etc. Both implementation and rationale Ensure a common understanding Prevent architectural erosion Some software systems start to look like the old city centre of Amsterdam Jeroen Douwes, June

3 Context of the graduation project (2) Documentation problems identified at Chess and its customers: Great number of loosely coupled documents No consistency checking of contents Only manual reuse possible Static documents 3

4 Context of the graduation project (3) System development cycle Various models of development strategies exist, e.g.: V-model Waterfall model Spiral model Common tasks in these strategies: Gathering requirements Creating high-level design / architecture Creating detailed design Implementing Testing 4

5 Context of the graduation project (4) Requirements traceability Degree to which a relationship can be established between two or more products of the development process Possibility to trace requirements to their corresponding design and implementation artefacts: Verify whether a system s design is actually based on the requirements Verify system is built as ordered (requirements met) 5

6 Contents The proposed solution: Forest Using Forest in practice Forest tools Prototype implementation Short demo Case studies Conclusions & recommendations 6

7 The proposed solution: Forest New approach to creating and maintaining documentation of any type of system Some concepts already available, some improved MS Word Forest Formal languages (current situation) More structure, strictness More free text 7

8 The proposed solution: Forest (2) Key concepts Information stored in structured repository (XML) Relations stored to enable tracing of requirements Repository contents separated from tools Perform analyses: coverage, cost/benefit, impact Automatic checks ensure consistency and completeness 8

9 The proposed solution: Forest (2) Key concepts (2) Personalized document generation, including system s state (result of tracing) Reuse of requirements, design, etc. Warnings and errors part of information model 9

10 The proposed solution (3) The Forest repository: structure 4 main elements: Requirement System (design) Atom (implementation) Delegation 8 additional elements: Extends Implements Source Target Title Description Motivation Image 10

11 Using Forest in practice 1. Define top-level system 2. Define requirements to this system 3. Define subsystems (and possibly atoms) 4. Delegate requirements to subsystems (or atoms) 5. Zoom in on one subsystem 6. Define new requirements (next to inherited ones) 7. Define subsystems (and possibly atoms) 8. Delegate requirements to subsystems (or atoms) 11

12 Using Forest in practice (2) An example Requirement: cooking a meal Atoms: fridge, oven, sink, etc. 12

13 Using Forest in practice (3) Forest enforces the user to specify design artefacts before requirements can be delegated The user is free to decide how the design is specified (amount of detail) Various development strategies are supported Anything that can be expressed in terms of systems can be documented using Forest, e.g.: A building A company hierarchy A software application 13

14 Forest tools Repository Editors Model Checker Document Generator Document Generator Editors Repository IDE Integration Additional navigation options Model Checker 14

15 Prototype implementation Core: parser/serializer, model, model checker Editors Requirements Document generator Editor Controllers Stand alone Eclipse plug-in Design Editor Document Generator Eclipse I/O Controller Forest Core Demonstrates key concepts Foundation for future research Command line Controller 15

16 Short demo 16

17 Case studies Case I: Documenting prototype using prototype Case II: Redocumenting part of real project done at Chess: a ticketing system of a theatre Setup: Problem description Evaluation criteria Case study details Results & conclusions 17

18 Conclusions New documentation approach is usable Status information in documents is useful Several important benefits: Coverage, cost / benefit, and impact analyses Warnings / errors on consistency & completeness Improved searchability & maintainability Assumption: repository is kept up to date Key to success: easy and well-integrated tools 18

19 Recommendations Documentation templates and query language Extensions Meta model Domain specific plug-ins for model checker Include testing in the tracing process Change management: delta files Reverse engineering Invest in easy-to-use and well-integrated tools 19

20 Using Forest......improves system documentation 20

SAS 9.2 Foundation Services. Administrator s Guide

SAS 9.2 Foundation Services. Administrator s Guide SAS 9.2 Foundation Services Administrator s Guide The correct bibliographic citation for this manual is as follows: SAS Institute Inc. 2009. SAS 9.2 Foundation Services: Administrator s Guide. Cary, NC:

More information

CHAPTER 9 DESIGN ENGINEERING. Overview

CHAPTER 9 DESIGN ENGINEERING. Overview CHAPTER 9 DESIGN ENGINEERING Overview A software design is a meaningful engineering representation of some software product that is to be built. Designers must strive to acquire a repertoire of alternative

More information

Team-Based Collaboration in Simulink

Team-Based Collaboration in Simulink Team-Based Collaboration in Simulink Sonia Bridge 2015 The MathWorks, Inc. 1 Create tools that make it easy for teams to manage the full lifecycle of their Model-Based Design projects Collaborate Integrate

More information

KNIME Extension Points. Tobias Kötter University of Konstanz

KNIME Extension Points. Tobias Kötter University of Konstanz Tobias Kötter University of Konstanz Overview Extension points in general Extension point development KNIME extension points Why Extension Points? Modularity Re-usability Reduce coupling and increase cohesion

More information

Tools to Develop New Linux Applications

Tools to Develop New Linux Applications Tools to Develop New Linux Applications IBM Software Development Platform Tools for every member of the Development Team Supports best practices in Software Development Analyst Architect Developer Tester

More information

Chapter 3. Interactive Software Development Assistants Logic-based Software Representation. Logic-based Software Analysis

Chapter 3. Interactive Software Development Assistants Logic-based Software Representation. Logic-based Software Analysis Advanced Logic Programming Summer semester 2012 R O O T S Chapter 3. Logic-based Analysis Interactive Development Assistants Logic-based Representation Logic-based Analysis Logic-based Transformation Motivation

More information

A Domain-Customizable SVG-Based Graph Editor for Software Visualizations

A Domain-Customizable SVG-Based Graph Editor for Software Visualizations A Domain-Customizable SVG-Based Graph Editor for Software Visualizations Tony Lin, Feng Zou, Holger M. Kienle and Hausi A. Müller University of Victoria, Canada {gaoyun,fzou,kienle,hausi}@cs.uvic.ca Abstract

More information

SAS 9.4 Foundation Services: Administrator s Guide

SAS 9.4 Foundation Services: Administrator s Guide SAS 9.4 Foundation Services: Administrator s Guide SAS Documentation July 18, 2017 The correct bibliographic citation for this manual is as follows: SAS Institute Inc. 2013. SAS 9.4 Foundation Services:

More information

IRQA General Information:

IRQA General Information: : TABLE OF CONTENTS INTRODUCTION...4 KEY DIFFERENTIATORS...5 1. Flexibility to visually support multiple end-to-end processes and methodologies in Software and Systems Engineering... 5 2. Low implementation

More information

MDD with OMG Standards MOF, OCL, QVT & Graph Transformations

MDD with OMG Standards MOF, OCL, QVT & Graph Transformations 1 MDD with OMG Standards MOF, OCL, QVT & Graph Transformations Andy Schürr Darmstadt University of Technology andy. schuerr@es.tu-darmstadt.de 20th Feb. 2007, Trento Outline of Presentation 2 Languages

More information

Enterprise Architect Training Courses

Enterprise Architect Training Courses On-site training from as little as 135 per delegate per day! Enterprise Architect Training Courses Tassc trainers are expert practitioners in Enterprise Architect with over 10 years experience in object

More information

Adapting JDT to the Cloud. Alex Boyko Pivotal Jay Arthanareeswaran - IBM John Arthorne - IBM

Adapting JDT to the Cloud. Alex Boyko Pivotal Jay Arthanareeswaran - IBM John Arthorne - IBM Adapting JDT to the Cloud Alex Boyko Pivotal Jay Arthanareeswaran - IBM John Arthorne - IBM Topics Background and motivation Adapting JDT code base to run in cloud Incorporating Java tooling in Web IDEs

More information

Ontology-based Architecture Documentation Approach

Ontology-based Architecture Documentation Approach 4 Ontology-based Architecture Documentation Approach In this chapter we investigate how an ontology can be used for retrieving AK from SA documentation (RQ2). We first give background information on the

More information

Call: SharePoint 2013 Course Content:35-40hours Course Outline

Call: SharePoint 2013 Course Content:35-40hours Course Outline SharePoint 2013 Course Content:35-40hours Course Outline Exploring SharePoint Designer 2013 Understanding SharePoint Designer 2013 Using SharePoint Designer to Carry Out Common Tasks Understanding What's

More information

Topics. Software Process. Agile. Requirements. Basic Design. Modular Design. Design Patterns. Testing. Quality. Refactoring.

Topics. Software Process. Agile. Requirements. Basic Design. Modular Design. Design Patterns. Testing. Quality. Refactoring. CS310 - REVIEW Topics Process Agile Requirements Basic Design Modular Design Design Patterns Testing Quality Refactoring UI Design How these things relate Process describe benefits of using a software

More information

Event Correlation Engine

Event Correlation Engine Event Correlation Engine Master s Thesis Final Presentation Andreas Müller Tutors: Christoph Göldi, Bernhard Tellenbach Supervisor: Prof. B. Plattner Institut für Technische Informatik und Kommunikationsnetze

More information

Realtime visitor analysis with Couchbase and Elasticsearch

Realtime visitor analysis with Couchbase and Elasticsearch Realtime visitor analysis with Couchbase and Elasticsearch Jeroen Reijn @jreijn #nosql13 About me Jeroen Reijn Software engineer Hippo @jreijn http://blog.jeroenreijn.com About Hippo Visitor Analysis OneHippo

More information

SystemWeaver for EAST-ADL. Concept Presentation 2013

SystemWeaver for EAST-ADL. Concept Presentation 2013 SystemWeaver for EAST-ADL Concept Presentation Concept presentation roadmap 1. Short description Systemweaver is a generic system modeling platform - almost every need of general system modeling is met

More information

Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models

Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models Peter Feiler Software Engineering Institute phf@sei.cmu.edu 412-268-7790 2004 by Carnegie Mellon University

More information

Design. Introduction

Design. Introduction Design Introduction a meaningful engineering representation of some software product that is to be built. can be traced to the customer's requirements. can be assessed for quality against predefined criteria.

More information

Unified Modeling Language (MDT UML2) 3.0 Galileo Simultaneous Release Review. 4 June, 2009

Unified Modeling Language (MDT UML2) 3.0 Galileo Simultaneous Release Review. 4 June, 2009 Unified Modeling Language (MDT UML2) 3.0 Galileo Simultaneous Release Review 4 June, 2009 http://www.eclipse.org/projects/dev_process/development_pr ocess.php#6_3_3_release_review 1 Galileo Simultaneous

More information

Modeling, Testing and Executing Reo Connectors with the. Reo, Eclipse Coordination Tools

Modeling, Testing and Executing Reo Connectors with the. Reo, Eclipse Coordination Tools Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Modeling, Testing and Executing Reo Connectors with the

More information

Acceleo Galileo Simultaneous Release

Acceleo Galileo Simultaneous Release Acceleo 0.8.0 Galileo Simultaneous Release Jonathan Musset Release Review : June 10, 2009 C om m unic a tion C ha nnel :e c lip s e.m o d e lin g.m 2 t n e w s g ro u p P roc es s D oc um enta tion : h

More information

PeopleSoft Query/BI Publisher Power Combo Rel 8.53

PeopleSoft Query/BI Publisher Power Combo Rel 8.53 Oracle University Contact Us: Local: 1800 103 4775 Intl: +91 80 67863102 PeopleSoft Query/BI Publisher Power Combo Rel 8.53 Duration: 5 Days What you will learn This PeopleSoft Query/BI Publisher Power

More information

Software Design Fundamentals. CSCE Lecture 11-09/27/2016

Software Design Fundamentals. CSCE Lecture 11-09/27/2016 Software Design Fundamentals CSCE 740 - Lecture 11-09/27/2016 Today s Goals Define design Introduce the design process Overview of design criteria What results in a good design? Gregory Gay CSCE 740 -

More information

THE DESIGN ENVIRONMENT FOR HETEROGENEOUS SYSTEMS

THE DESIGN ENVIRONMENT FOR HETEROGENEOUS SYSTEMS THE DESIGN ENVIRONMENT FOR HETEROGENEOUS SYSTEMS SystemC / SystemC AMS based Simulation and Modeling Technologies Outline COSIDE Today COSIDE 2.0 COSIDE Future 2 Management Summary Combination of analog

More information

V&V: Model-based testing

V&V: Model-based testing V&V: Model-based testing Systems Engineering BSc Course Budapest University of Technology and Economics Department of Measurement and Information Systems Traceability Platform-based systems design Verification

More information

Automated Fault Identification (STATUS REPORT)

Automated Fault Identification (STATUS REPORT) Automated Fault Identification (STATUS REPORT) Hashem Waly Groupe LSFM, Département d informatique et de génie logiciel, Université Laval, Québec, Canada June 29, 2010 Montréal, Canada Team @Laval Hashem

More information

I Got My Mojo Workin'

I Got My Mojo Workin' I Got My Mojo Workin' Gary Murphy Hilbert Computing, Inc. http://www.hilbertinc.com/ glm@hilbertinc.com Gary Murphy I Got My Mojo Workin' Slide 1 Agenda Quick overview on using Maven 2 Key features and

More information

About the Edinburgh Pathway Editor:

About the Edinburgh Pathway Editor: About the Edinburgh Pathway Editor: EPE is a visual editor designed for annotation, visualisation and presentation of wide variety of biological networks, including metabolic, genetic and signal transduction

More information

Product Range 3SL. Cradle -7

Product Range 3SL. Cradle -7 Cradle -7 From concept to creation... 3SL Product Range PRODUCT RANGE HIGHLIGHTS APPLIES TO AGILE AND PHASE PROJECTS APPLICATION LIFECYCLE MANAGEMENT REQUIREMENTS MANAGEMENT MODELLING / MBSE / SYSML /

More information

Feasibility Evidence Description (FED)

Feasibility Evidence Description (FED) Feasibility Evidence Description (FED) We Are Trojans (WAT) Network Team 01 Team members Eirik Skogstad Min Li Pittawat Pamornchaisirikij Saloni Priya Suleyman Erten Kamonphop Srisopha Ameer Elkordy Punyawee

More information

Information Systems. Software Engineering. MCQ - Part 2

Information Systems. Software Engineering. MCQ - Part 2 Information Systems & Software Engineering MCQ - Part 2 Information Systems & Software Engineering MCQ - Part 2 Changes made to the system to reduce the future system failure chances is called Preventive

More information

Design Patterns

Design Patterns The Joel Test (Joel On Software) Do you use source control? SVN Can you make a build in one step? make or IDE Do you make daily builds? N/A Do you have a bug database? N/A or is it? Do you fix bugs before

More information

HCI in the software process

HCI in the software process chapter 6 HCI in the software process HCI in the software process Software engineering and the process for interactive systems Usability engineering Iterative and prototyping Design rationale the software

More information

HCI in the software. chapter 6. HCI in the software process. The waterfall model. the software lifecycle

HCI in the software. chapter 6. HCI in the software process. The waterfall model. the software lifecycle HCI in the software process chapter 6 HCI in the software process Software engineering and the process for interactive systems Usability engineering Iterative and prototyping Design rationale the software

More information

Introduction to ALM, UFT, VuGen, and LoadRunner

Introduction to ALM, UFT, VuGen, and LoadRunner Software Education Introduction to ALM, UFT, VuGen, and LoadRunner This course introduces students to the Application Lifecycle Management line products Introduction to ALM, UFT, VuGen, and LoadRunner

More information

Human Computer Interaction Lecture 14. HCI in Software Process. HCI in the software process

Human Computer Interaction Lecture 14. HCI in Software Process. HCI in the software process Human Computer Interaction Lecture 14 HCI in Software Process HCI in the software process Software engineering and the design process for interactive systems Usability engineering Iterative design and

More information

HOW TO USE THE WEB DYNPRO CONTENT ADMINISTRATOR. SAP NetWeaver 04 SP Stack 9 JOCHEN GUERTLER

HOW TO USE THE WEB DYNPRO CONTENT ADMINISTRATOR. SAP NetWeaver 04 SP Stack 9 JOCHEN GUERTLER HOW TO USE THE CONTENT ADMINISTRATOR. SAP NetWeaver 04 SP Stack 9 JOCHEN GUERTLER Contents Introduction... 3 Prerequisites... 3 Overview... 4 Enable and disable Web Dynpro applications... 4 Some general

More information

G U I D E F O R W R I T I N G A S Y S T E M D E S I G N D O C U M E N T

G U I D E F O R W R I T I N G A S Y S T E M D E S I G N D O C U M E N T King Saud University College of Computer and Information Sciences Information Technology Department G U I D E F O R W R I T I N G A S Y S T E M D E S I G N D O C U M E N T D OCUMEN T P R EPARED F OR IT

More information

EXTENSIONS OF THE XML FILE FOR THE HIERARCHICAL SYSTEM EDITOR

EXTENSIONS OF THE XML FILE FOR THE HIERARCHICAL SYSTEM EDITOR EXTENSIONS OF THE XML FILE FOR THE HIERARCHICAL SYSTEM EDITOR STATE OF THE ART: OPENPASS GUI existing system editor allows for building several independent systems problems: 1. user looses overview if

More information

Compatible Qualification Metrics for Formal Property Checking

Compatible Qualification Metrics for Formal Property Checking Munich - November 18, 2013 Formal Property Checking Senior Staff Engineer Verification Infineon Technologies Page 1 Overview Motivation Goals Qualification Approaches Onespin s Coverage Feature Certitude

More information

Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages

Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 2. pp. 287 293. Developing Web-Based Applications Using Model Driven Architecture and Domain

More information

ForeScout Extended Module for IBM BigFix

ForeScout Extended Module for IBM BigFix ForeScout Extended Module for IBM BigFix Version 1.0.0 Table of Contents About this Integration... 4 Use Cases... 4 Additional BigFix Documentation... 4 About this Module... 4 Concepts, Components, Considerations...

More information

ASG WHITE PAPER DATA INTELLIGENCE. ASG s Enterprise Data Intelligence Solutions: Data Lineage Diving Deeper

ASG WHITE PAPER DATA INTELLIGENCE. ASG s Enterprise Data Intelligence Solutions: Data Lineage Diving Deeper THE NEED Knowing where data came from, how it moves through systems, and how it changes, is the most critical and most difficult task in any data management project. If that process known as tracing data

More information

The software lifecycle and its documents

The software lifecycle and its documents The software lifecycle and its documents Supplementary material for Software Architecture course B. Meyer, May 2006 Lifecycle models Origin: Royce, 1970, Waterfall model Scope: describe the set of processes

More information

Human Computer Interaction Lecture 06 [ HCI in Software Process ] HCI in the software process

Human Computer Interaction Lecture 06 [ HCI in Software Process ] HCI in the software process Human Computer Interaction Lecture 06 [ HCI in Software Process ] Imran Ihsan Assistant Professor www.imranihsan.com aucs.imranihsan.com HCI06 - HCI in Software Process 1 HCI in the software process Software

More information

MATLAB-Based Policy Simulator

MATLAB-Based Policy Simulator DRAFT MATLAB-Based Policy Simulator Regulatory & Risk Analytics (RRA) Prepared by Seth Aslin Date: October 2013 Presentation Outline Background and context to Project Navigator General project objectives

More information

DABYS: EGOS Generic Database System

DABYS: EGOS Generic Database System SpaceOps 2010 ConferenceDelivering on the DreamHosted by NASA Mars 25-30 April 2010, Huntsville, Alabama AIAA 2010-1949 DABYS: EGOS Generic base System Isabel del Rey 1 and Ramiro

More information

About Codefrux While the current trends around the world are based on the internet, mobile and its applications, we try to make the most out of it. As for us, we are a well established IT professionals

More information

THE BCS PROFESSIONAL EXAMINATION BCS Level 6 Professional Graduate Diploma in IT September 2017 EXAMINERS REPORT. Software Engineering 2

THE BCS PROFESSIONAL EXAMINATION BCS Level 6 Professional Graduate Diploma in IT September 2017 EXAMINERS REPORT. Software Engineering 2 General Comments THE BCS PROFESSIONAL EXAMINATION BCS Level 6 Professional Graduate Diploma in IT September 2017 EXAMINERS REPORT Software Engineering 2 The pass rate was 40% representing the lowest mark

More information

Feasibility Evidence Description (FED)

Feasibility Evidence Description (FED) Feasibility Evidence Description (FED) We Are Trojans (WAT) Network Team 01 Team members Eirik Skogstad Min Li Pittawat Pamornchaisirikij Saloni Priya Suleyman Erten Kamonphop Srisopha Ameer Elkordy Punyawee

More information

1.2 Building the Right System. Identifying Needs & Expectations. Where to look for needs & expectations? or Who are the stakeholders?

1.2 Building the Right System. Identifying Needs & Expectations. Where to look for needs & expectations? or Who are the stakeholders? These slides are designed for presentation, not for stand-alone reading. 1.2 Building the Right System Elizabeth Bjarnason elizabeth@cs.lth.se Department Of Computer Science Lund University Identifying

More information

AADL Requirements Annex Review

AADL Requirements Annex Review Dominique Blouin Lab-STICC Université de Bretagne-Occidentale Université de Bretagne-Sud Bretagne, France 1 AADL Standards Meeting, April 23 th, 2013 Agenda Comments from Annex Document Review Motivations

More information

IRQA THE REQUIREMENTS SOLUTION

IRQA THE REQUIREMENTS SOLUTION IRQA THE REQUIREMENTS SOLUTION www.visuresolutions.com 1 Copyright Visure Solutions 2011 IRQA THE REQUIREMENTS SOLUTION IRQA the Requirements solution... 2 Business Requirements and Solutions Repository...

More information

Raising the Level of Development: Models, Architectures, Programs

Raising the Level of Development: Models, Architectures, Programs IBM Software Group Raising the Level of Development: Models, Architectures, Programs Dr. James Rumbaugh IBM Distinguished Engineer Why Is Software Difficult? Business domain and computer have different

More information

A Software Developing Environment for Earth System Modeling. Depei Qian Beihang University CScADS Workshop, Snowbird, Utah June 27, 2012

A Software Developing Environment for Earth System Modeling. Depei Qian Beihang University CScADS Workshop, Snowbird, Utah June 27, 2012 A Software Developing Environment for Earth System Modeling Depei Qian Beihang University CScADS Workshop, Snowbird, Utah June 27, 2012 1 Outline Motivation Purpose and Significance Research Contents Technology

More information

Runtime Asset Management

Runtime Asset Management Runtime Asset Management Prior to 4.16, UE4 has not provided much support for runtime loading/unloading of assets. There were bits and pieces in StreamableManager, ObjectLibrary, and the Map streaming

More information

Software Architecture Checker

Software Architecture Checker School of Mathematics and Systems Engineering Reports from MSI - Rapporter från MSI Software Architecture Checker Yasin Bahtiyar Jul 2008 MSI Report 08075 Växjö University ISSN 1650-2647 SE-351 95 VÄXJÖ

More information

Agilent ChemStation Plus

Agilent ChemStation Plus Agilent ChemStation Plus Getting Started Guide Agilent Technologies Notices Agilent Technologies, Inc. 2004, 2006-2008 No part of this manual may be reproduced in any form or by any means (including electronic

More information

Enterprise Architect. User Guide Series. Portals. Author: Sparx Systems. Date: 19/03/2018. Version: 1.0 CREATED WITH

Enterprise Architect. User Guide Series. Portals. Author: Sparx Systems. Date: 19/03/2018. Version: 1.0 CREATED WITH Enterprise Architect User Guide Series Portals Author: Sparx Systems Date: 19/03/2018 Version: 1.0 CREATED WITH Table of Contents Portals 3 Perspective Portal 6 Workspace Portal 7 Window Portal 9 Status

More information

Towards Generating Domain-Specific Model Editors with Complex Editing Commands

Towards Generating Domain-Specific Model Editors with Complex Editing Commands Towards Generating Domain-Specific Model Editors with Complex Editing Commands Gabriele Taentzer Technical University of Berlin Germany gabi@cs.tu-berlin.de May 10, 2006 Abstract Domain specific modeling

More information

Lecture 4, Task Analysis, HTA

Lecture 4, Task Analysis, HTA Lecture 4: HCI, advanced course, Task Analysis, HTA To read: Shepherd: HTA as a framework for task analysis Ormerod & Shepherd Using task analyses for information requirement specification: The SGT method

More information

Semantic Web. Lecture XIII Tools Dieter Fensel and Katharina Siorpaes. Copyright 2008 STI INNSBRUCK

Semantic Web. Lecture XIII Tools Dieter Fensel and Katharina Siorpaes. Copyright 2008 STI INNSBRUCK Semantic Web Lecture XIII 25.01.2010 Tools Dieter Fensel and Katharina Siorpaes Copyright 2008 STI INNSBRUCK Today s lecture # Date Title 1 12.10,2009 Introduction 2 12.10,2009 Semantic Web Architecture

More information

WPF. Source Module 01: Lesson1

WPF. Source Module 01: Lesson1 WPF Creating an Application by Using Windows Presentation Foundation Lesson: Overview of WPF What Is WPF? WPF Architecture Defining User Interfaces in WPF WPF Capabilities and Features WPF Application

More information

Guidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process

Guidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process Guidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process UK MathWorks Aerospace & Defence Industry Working Group Guidelines for deployment of MathWorks R2010a toolset within

More information

Enterprise Architect Visual Studio (VSTS) Integration

Enterprise Architect Visual Studio (VSTS) Integration Enterprise Architect Visual Studio (VSTS) Integration Model and gather requirements in Enterprise Architect Integrate EA with Visual Studio / TFS Theresa Ruhnke Team Leader Microsoft Technology Centre

More information

SYSTEM PROCESS VERIFICATION & DATA AUDITING. Version 1.1

SYSTEM PROCESS VERIFICATION & DATA AUDITING. Version 1.1 SYSTEM PROCESS VERIFICATION & DATA AUDITING Version 1.1 DOCUMENT CONTROL Document System Process Verification & Data Auditing Current Version Version Date Issued Pages Reason For Issue 1.1 May 2015 All

More information

Architectural Design. Topics covered. Architectural Design. Software architecture. Recall the design process

Architectural Design. Topics covered. Architectural Design. Software architecture. Recall the design process Architectural Design Objectives To introduce architectural design and to discuss its importance To explain the architectural design decisions that have to be made To introduce three complementary architectural

More information

CONFIGURING SAFE V4.0 IN THE IBM COLLABORATIVE LIFECYCLE MANAGEMENT

CONFIGURING SAFE V4.0 IN THE IBM COLLABORATIVE LIFECYCLE MANAGEMENT CONFIGURING SAFE V4.0 IN THE IBM COLLABORATIVE LIFECYCLE MANAGEMENT Abstract In this document, we provide step-by-step guidance to configure support for the SAFe V4.0 methodology in CLM tooling. Amy Silberbauer

More information

Oscar Slotosch, Validas AG. Proposal for a Roadmap towards Development of Qualifyable Eclipse Tools

Oscar Slotosch, Validas AG. Proposal for a Roadmap towards Development of Qualifyable Eclipse Tools Oscar Slotosch, Proposal for a Roadmap towards Development of Qualifyable Eclipse Tools, 2012 Seite 1 Content Roadmap Requirements for Tool Qualification (Standards) Proposals for Goals for Eclipse Proposals

More information

Selecting an Electronic Records Repository Platform

Selecting an Electronic Records Repository Platform Selecting an Electronic Records Repository Platform How we conjured something from nothing A Presentation By Bryan Collars and Brian Thomas South Carolina Department of Archives and History BPE 2015 Topics

More information

vcdmstudio Product Information

vcdmstudio Product Information Product Information Table of Contents 1 Overview... 3 1.1 Introduction... 3 1.2 Overview of Advantages... 4 1.3 Application Areas... 5 1.4 System Requirements... 5 2 Functions... 5 3 Supported File Formats...

More information

Chapter 8: Class and Method Design

Chapter 8: Class and Method Design Chapter 8: Class and Method Design Objectives Become familiar with coupling, cohesion, and connascence. Be able to specify, restructure, and optimize object designs. Be able to identify the reuse of predefined

More information

DEPARTMENT OF COMPUTER SCIENCE

DEPARTMENT OF COMPUTER SCIENCE Department of Computer Science 1 DEPARTMENT OF COMPUTER SCIENCE Office in Computer Science Building, Room 279 (970) 491-5792 cs.colostate.edu (http://www.cs.colostate.edu) Professor L. Darrell Whitley,

More information

Enterprise Architect. User Guide Series. Portals

Enterprise Architect. User Guide Series. Portals Enterprise Architect User Guide Series Portals What are Portals? In Sparx Systems Enterprise Architect, each Portal is a high-level logical grouping of common tools, custom searches, window layouts and

More information

WebML: Model-driven design of Web Applications

WebML: Model-driven design of Web Applications WebML: Model-driven design of Web Applications Stefano Ceri, Piero Fraternali, Aldo Bongio, Marco Brambilla, Alessandro Bozzon WebML 2 WebML: Web Modeling Language Structured approach for the design of

More information

Requirements-driven Verification Methodology for Standards Compliance Serrie-justine Chapman (TVS)

Requirements-driven Verification Methodology for Standards Compliance Serrie-justine Chapman (TVS) Requirements-driven Verification Methodology for Standards Compliance Serrie-justine Chapman (TVS) in collaboration with Test and Verification Solutions Ltd Infineon Technologies UK ARTEMIS CRYSTAL project

More information

COPYRIGHTED MATERIAL. Contents. Part One: Team Architect 1. Chapter 1: Introducing the Visual Designers 3

COPYRIGHTED MATERIAL. Contents. Part One: Team Architect 1. Chapter 1: Introducing the Visual Designers 3 About the Authors Acknowledgments Introduction Part One: Team Architect 1 Chapter 1: Introducing the Visual Designers 3 Why Design Visually? 4 Microsoft s Modeling Strategy 5 Model-driven development 5

More information

Integrity 10. Curriculum Guide

Integrity 10. Curriculum Guide Integrity 10 Curriculum Guide Live Classroom Curriculum Guide Integrity 10 Workflows and Documents Administration Training Integrity 10 SCM Administration Training Integrity 10 SCM Basic User Training

More information

Ensuring System Integrity through Advanced System Software Verification

Ensuring System Integrity through Advanced System Software Verification Mike Bartley, TVS Ensuring System Integrity through Advanced System Software Verification Test and Verification Solutions Helping companies develop products that are: Reliable, Safe and Secure Our Opportunities

More information

System context. Usage facet. IT system facet. Core activities

System context. Usage facet. IT system facet. Core activities System context Subject facet Usage facet IT system facet Development facet Validation Core activities Observe Documentation the system context to Elicitation detect context changes Manage the execution

More information

CS SOFTWARE ENGINEERING QUESTION BANK SIXTEEN MARKS

CS SOFTWARE ENGINEERING QUESTION BANK SIXTEEN MARKS DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING CS 6403 - SOFTWARE ENGINEERING QUESTION BANK SIXTEEN MARKS 1. Explain iterative waterfall and spiral model for software life cycle and various activities

More information

AADL Graphical Editor Design

AADL Graphical Editor Design AADL Graphical Editor Design Peter Feiler Software Engineering Institute phf@sei.cmu.edu Introduction An AADL specification is a set of component type and implementation declarations. They are organized

More information

News in RSA-RTE 10.0 updated for sprint Mattias Mohlin/Anders Ek, June 2016

News in RSA-RTE 10.0 updated for sprint Mattias Mohlin/Anders Ek, June 2016 News in RSA-RTE 10.0 updated for sprint 2016.29 Mattias Mohlin/Anders Ek, June 2016 Overview of Improvements (1/3) Now based on Eclipse Mars (4.5.2) New installation scheme RSARTE is now installed as a

More information

The etrice Eclipse Project Proposal

The etrice Eclipse Project Proposal The etrice Eclipse Project Proposal Dipl.-Ing. Thomas Schütz, Protos Software GmbH Eclipse Embedded Day 2010, Stuttgart Agenda Motivation Scope of etrice ROOM Language Codegenerators Middleware Realization

More information

COMPAS ID Author: Jack Barnard TECHNICAL MEMORANDUM

COMPAS ID Author: Jack Barnard TECHNICAL MEMORANDUM MesaRidge Systems Subject: COMPAS Document Control Date: January 27, 2006 COMPAS ID 30581 Author: Jack Barnard info@mesaridge.com TECHNICAL MEMORANDUM 1. Changing this Document Change requests (MRs) for

More information

Quick tour of the Test and Performance Tools Platform (TPTP) Valentina Popescu IBM Tivoli TPTP AG Lead

Quick tour of the Test and Performance Tools Platform (TPTP) Valentina Popescu IBM Tivoli TPTP AG Lead Quick tour of the Test and Performance Tools Platform (TPTP) Valentina Popescu IBM Tivoli TPTP AG Lead 2006 by IBM; made available under the EPL v1.0 October 11, 2006 Agenda TPTP Overview TPTP Architecture

More information

Software Requirements Specification. <Project> for. Version 1.0 approved. Prepared by <author(s)> <Organization> <Date created>

Software Requirements Specification. <Project> for. Version 1.0 approved. Prepared by <author(s)> <Organization> <Date created> Software Requirements Specification for Version 1.0 approved Prepared by Software Requirements Specification for Page 2 Table of Contents Revision

More information

A QUICK OVERVIEW OF THE OMNeT++ IDE

A QUICK OVERVIEW OF THE OMNeT++ IDE Introduction A QUICK OVERVIEW OF THE OMNeT++ IDE The OMNeT++ Integrated Development Environment is based on the Eclipse platform, and extends it with new editors, views, wizards, and additional functionality.

More information

Outline. 1 Introduction. 2 Semantic Assistants: NLP Web Services. 3 NLP for the Masses: Desktop Plug-Ins. 4 Conclusions. Why?

Outline. 1 Introduction. 2 Semantic Assistants: NLP Web Services. 3 NLP for the Masses: Desktop Plug-Ins. 4 Conclusions. Why? Natural Language Processing for the Masses: The Semantic Assistants Project Outline 1 : Desktop Plug-Ins Semantic Software Lab Department of Computer Science and Concordia University Montréal, Canada 2

More information

ForeScout Extended Module for IBM BigFix

ForeScout Extended Module for IBM BigFix Version 1.1 Table of Contents About BigFix Integration... 4 Use Cases... 4 Additional BigFix Documentation... 4 About this Module... 4 About Support for Dual Stack Environments... 5 Concepts, Components,

More information

Appending Variable-Structure to Modelica Models (WIP)

Appending Variable-Structure to Modelica Models (WIP) Appending Variable-Structure to Modelica Models (WIP) Daniel Gomez Esperon, Alexandra Mehlhase, Thomas Karbe Technische Universität Berlin Ernst-Reuter-Platz 7, 10587 Berlin, Germany {gomezesperon, a.mehlhase,

More information

Chapter 4 Objectives

Chapter 4 Objectives Chapter 4 Objectives Eliciting requirements from the customers Modeling requirements Reviewing requirements to ensure their quality Documenting requirements for use by the design and test teams 4.1 The

More information

Evolution of XML Applications

Evolution of XML Applications Evolution of XML Applications University of Technology Sydney, Australia Irena Mlynkova 9.11. 2011 XML and Web Engineering Research Group Department of Software Engineering Faculty of Mathematics and Physics

More information

In this Lecture you will Learn: Testing in Software Development Process. What is Software Testing. Static Testing vs.

In this Lecture you will Learn: Testing in Software Development Process. What is Software Testing. Static Testing vs. In this Lecture you will Learn: Testing in Software Development Process Examine the verification and validation activities in software development process stage by stage Introduce some basic concepts of

More information

Software Testing MANUAL TESTING. Introduction to Testing. Software Quality Software Testing Definition. Different Life Cycle Models Waterfall Model

Software Testing MANUAL TESTING. Introduction to Testing. Software Quality Software Testing Definition. Different Life Cycle Models Waterfall Model Software Testing MANUAL TESTING Introduction to Testing 1. Brief History of Testing 2. Testing Opportunities 3. Testing Principles Software Quality Software Testing Definition 1. Verification 2. Validation

More information

THE GREAT CONSOLIDATION: ENTERTAINMENT WEEKLY MIGRATION CASE STUDY JON PECK, MATT GRILL, PRESTON SO

THE GREAT CONSOLIDATION: ENTERTAINMENT WEEKLY MIGRATION CASE STUDY JON PECK, MATT GRILL, PRESTON SO THE GREAT CONSOLIDATION: ENTERTAINMENT WEEKLY MIGRATION CASE STUDY JON PECK, MATT GRILL, PRESTON SO Slides: http://goo.gl/qji8kl WHO ARE WE? Jon Peck - drupal.org/u/fluxsauce Matt Grill - drupal.org/u/drpal

More information

GoedelWorks Press release

GoedelWorks Press release Linden, 1 st September 2015 GoedelWorks Press release Altreonic is proud to announce the release of the version 3.0 of GoedelWorks, its unique end- to- end portal solution for trustworthy systems development.

More information

Composer MP4.10. Building Technologies WW8000. The common tool environment

Composer MP4.10. Building Technologies WW8000. The common tool environment WW8000 Composer MP4.10 The common tool environment The WW8000 Composer is a flexible tool environment devoted to the configuration of a fire & security system. It provides both the general user interface

More information