Generating system documentation augmented with traceability information, using a central XML-based repository
|
|
- Elijah McCormick
- 6 years ago
- Views:
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 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 informationCHAPTER 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 informationTeam-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 informationKNIME 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 informationTools 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 informationChapter 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 informationA 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 informationSAS 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 informationIRQA 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 informationMDD 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 informationEnterprise 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 informationAdapting 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 informationOntology-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 informationCall: 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 informationTopics. 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 informationEvent 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 informationRealtime 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 informationSystemWeaver 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 informationInvestigation 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 informationDesign. 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 informationUnified 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 informationModeling, 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 informationAcceleo 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 informationPeopleSoft 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 informationSoftware 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 informationTHE 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 informationV&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 informationAutomated 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 informationI 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 informationAbout 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 informationProduct 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 informationFeasibility 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 informationInformation 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 informationDesign 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 informationHCI 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 informationHCI 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 informationIntroduction 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 informationHuman 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 informationHOW 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 informationG 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 informationEXTENSIONS 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 informationCompatible 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 informationDeveloping 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 informationForeScout 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 informationASG 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 informationThe 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 informationHuman 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 informationMATLAB-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 informationDABYS: 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 informationAbout 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 informationTHE 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 informationFeasibility 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 information1.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 informationAADL 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 informationIRQA 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 informationRaising 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 informationA 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 informationRuntime 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 informationSoftware 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 informationAgilent 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 informationEnterprise 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 informationTowards 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 informationLecture 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 informationSemantic 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 informationWPF. 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 informationGuidelines 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 informationEnterprise 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 informationSYSTEM 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 informationArchitectural 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 informationCONFIGURING 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 informationOscar 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 informationSelecting 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 informationvcdmstudio 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 informationChapter 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 informationDEPARTMENT 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 informationEnterprise 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 informationWebML: 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 informationRequirements-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 informationCOPYRIGHTED 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 informationIntegrity 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 informationEnsuring 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 informationSystem 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 informationCS 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 informationAADL 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 informationNews 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 informationThe 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 informationCOMPAS 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 informationQuick 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 informationSoftware 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 informationA 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 informationOutline. 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 informationForeScout 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 informationAppending 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 informationChapter 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 informationEvolution 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 informationIn 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 informationSoftware 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 informationTHE 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 informationGoedelWorks 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 informationComposer 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