Formal Methods in Software Engineering
|
|
- Dale Morris
- 5 years ago
- Views:
Transcription
1 Formal Methods in Software Engineering Introduction to Atelier B Installation This section describes the Atelier B installation procedure. For Window operating system, installation is fully automatic.
2 Just follow the assistant to simply install Atelier B. It will ask you for some preferences, for instance: the installation directory.
3 Finally, if the installation is correct, it will display the following window:
4 Main GUI The main GUI looks like the following screenshot:
5 Editor Atelier B furnishes a special editor specially customized for B component edition. It proposes functionalities like: completion, error underlining, etc... It looks like this: Its main functionalities are: Component editing, PMM file associated to B component editing, RMF file associated to B component editing, Patch Prover and Patch Rafiner editing, Syntaxic coloration, Printing, Auto-completion and automatic indentation, Some syntax checking, Navigation between open files. It also includes a presentation of language B symbols with facility to insert them in a component.
6 To start a development with the Atelier B, you will have to: 1. Create a project The Attach project function allows all users to declare a new project in Atelier B. The information required to declare the project is: the name of the new project and its owner, the Project Database directory (PDB) used by Atelier B to store internal files, the translation directory used by Atelier B to store translated files. The project type (non required) : SOFTWARE for B-Software projects, SYSTEM for Event-B projects. By default, the newly created project is considered as software. To reference a given project, only the PDB and translation directories are required by Atelier. The creation of these two directories is up to the user. The project components can be "scattered through" the file system, their access path and names are stored in a file located in the PDB and called project_name.db. In order to create a project from the GUI, you have to click on the AtelierB -> New Project menu, or use either the shortcut Ctrl+P, either a right click on the given workspace, then the New -> Project menu. The project creation wizard will then appear. You will have to choose between B-Software and Event-B. After having typed a project name, the interface will choose directories suitable for the project location, but it will be customizable on the second
7 page of the wizard: You can use the Browse buttons to facilitate the choice of these directories. Once the configuration is done and the wizard closed, the newly created project should appear into the workspace view, and be automatically opened, as shown in the screenshot below: 2. Open this project To open a project into the interface, you have to, click on the Project -> Open menu, or to rightclick on the given workspace on the wanted project, then click on Open. 3. Add components to this project A B project is made up of a list of B components located in text files. These components are either directly linked to the project, or accessible through libraries. The B source files are text files containing one or several components. Once a source file has been attached to a project, the user analyses which components are contained in the file and permit the management of these components. Atelier B only accepts as B source files those whose name ends in one of the four following sufixes :.mch,.ref,.imp,.mod. The contents of each type of file are as follows: A file named Ident.mch must contain one and only one component : an abstract machine named Ident. A file named Ident.ref must contain one and only one component : a refinement named Ident. A file named Ident.imp must contain one and only one component : an implementation named Ident. A file named Ident.mod must contain a component named Ident. It can also contain the refinements of this component, as well as modules (an abstract machine and all its refinements) imported by the implantation of the component. Finally, for each module present in the file, the modules imported by this module can also be present. A sufix file.mod permits the storage in a single file of a B module, or a sub-part of the project made up of a module and the modules imported by this module. If the contents of the files do not respect these rules, the file will still be attached to the project. An error message is then displayed in the startup window. No other operation will be possible on the component before its correction. The GUI is launched, and a project is opened. In order to add components from existing files, you can use the Project -> Add Components. This will lead you to a file selection dialog. Note that the file selection can be multiple if you have to add more than one file. Once the desired files are selected,
8 confirm by clicking on the _Open_ button. Another solution will be to create a new component, if it does not exist. To do so, select in the contextual menu New -> Components.._, or click in the blue + icon onto the toolbar. It will then display the following wizard : Once the name of the new component, the component type, the potential raffined component and the destination path are entered, click on the Next button. Once those steps accomplished, you can begin to apply B Method on your components; the Atelier B allows you to: 1. Perform the syntax analysis and the Type Check This function combines the syntax analysis and the type checking of B components. The syntax checking ensures that the sources for the selected machines comply with the B language syntax. Type checking controls: identifier confiicts, typing rules, missing declarations, language restrictions, visibility rules, etc... This type check is necessary for the PO generation. The type check of a component is automatically applied to all the components required by the current component, through the following links SEES, USES, INCLUDES, IMPORT, EXTENDS, REFINES. This type check on the required components is only applied when necessary, i.e. if a component change was made since the last type check
9 .Modifications of _form_ (comments, spaces,...) are not taken in account. Syntax errors are displayed in an error window and in the start-up window. They are displayed as following: <file>:<line number>:<column number> <error description> Example: AA.mch:6:17 Sequential (';') substitution is not allowed in a specification Line and column numbers show exactly the location in the source file where the error occurs. Semantic errors are displayed in the Atelier B start-up window. They are displayed as following: Type checking machine AA Loading referencedfimachines Checking nameficonflicts Checking constraints clause... Checking INVARIANT clause Error: 1+2 in ( aa: 1+2 ) should be a set Error: Variable aa has not been typed Checking operation b_ask_code Checking operation b_code_typed No information saved for AA End of Type checking The type checker displays an information message for each processed clause. The GUI is launched and a project is opened. To do a syntax analysis and a type check on components, you have to: 1. Select the desired components into the components list, 2. Click on the _Typecheck_ button. Each component is processed successively. If there is a syntax error, an error window will be displayed. This window contains the description of the detected errors. If there is a semantic error on one of the components, a warning window will be displayed. In this case, check the type of error according to the messages displayed in the start-up window. If a syntax error occurs, the error is reported with a description into the errors view. 2. Generate the Proof Obligations This function produces the proof obligations of a component. The component must be type checked. The proof obligations are defined by the B method. They depend on the level of the software development: In machines, the selected mathematical model must be consistent. In the following steps, you must prove that refinements keep the properties of the previous step model. These obligations can be large and complex formulas. The Proof Obligations Generator function split the theoretical PO into many simpler PO. Some PO is so easy to prove that the PO Generator can prove them by itself. In return, the initially foreseen number of formula increases. Some PO defined as obvious are automatically eliminated by the tool. Before generating the proof obligations for a component, Atelier B ensures that the component is type checked. Otherwise, the type check is automatically performed. Generating proof obligations creates four files in the PDB: the comp_name.po file contains the PO of the comp_name component. the comp_name.opo file contains the obvious PO of the comp_name component. the comp_name.pmi file contains the status of the proof obligations (proved/not proved) as well as the interactive demonstrations. the comp_name.stc file contains a description of the component.
10 3. Automatically demonstrate some of these Proof Obligations To launch the automatic prover on some components, you have to perform the following instructions: Select the components into the list, Click on the _Component -> Proof _ menu, and on the desired force. This function automates, in the limit of its ability, the demonstration of the proof obligations for each B component. The messages of the automatic prover are displayed in the start-up window as shown below: Proving B_Delays Proof pass 0, still 3 unproved PO clause b_init_delas -+ End of Proof Initialisation Proved 0 Unproved 0 b_init_delay Proved 1 Unproved 0 b_stop_delay Proved 0 Unproved 0 b_delay_is_up Proved 3 Unproved 0 TOTAL for B_Delays Proved 4 Unproved 0 4. Displaying the Proof Obligations and Use the interactive prover to demonstrate remaining proof obligations This tool enables: displaying the proof obligations of a component clause by clause, displaying obvious proof obligations, i.e. those that were eliminated by the proof obligations generator, Displaying and printing proof obligations using mathematical fonts via a word processing program. The proof obligations include comments that specify: the origin of the assumptions (for example: Component invariant), The theoretical justification of the proof obligation. Click on the given component, and trigger the _Component -> Proof -> Interactive Proof..._ menu.
11 IMPORTANT DATES TO REMEMBER Project Proposal: Submission Date: 19 th April,2013 before 10:00 am Format: Project Name. Members (maximum 3 members). Project requirements. Progress Report: Submission date: 3 rd May, Final project submission: From 20 th May 2013 to 24 th May 2013 For any Queries: saima.zareeen@uettaxila.edu.pk saima_nazir_91@yahoo.com
Atelier B 4. User manual
Atelier B 4 User manual ClearSy Document written by ClearSy. This documentation is distributed under the Creative Commons - CC-By. Every names of products quoted in this document are trademarks of their
More informationWebStudio User Guide. OpenL Tablets BRMS Release 5.18
WebStudio User Guide OpenL Tablets BRMS Release 5.18 Document number: TP_OpenL_WS_UG_3.2_LSh Revised: 07-12-2017 OpenL Tablets Documentation is licensed under a Creative Commons Attribution 3.0 United
More informationIBM Rational Rhapsody Gateway Add On. User Guide
User Guide Rhapsody IBM Rational Rhapsody Gateway Add On User Guide License Agreement No part of this publication may be reproduced, transmitted, stored in a retrieval system, nor translated into any
More informationAt the shell prompt, enter idlde
IDL Workbench Quick Reference The IDL Workbench is IDL s graphical user interface and integrated development environment. The IDL Workbench is based on the Eclipse framework; if you are already familiar
More informationKeysight TAP Training Lab 2 TAP Results Viewer
Keysight TAP Training Lab 2 TAP Results Viewer Notices DFARS/Restricted Rights Notice If software is for use in the performance of a U.S. Government prime contract or subcontract, Software is delivered
More informationAtelier B. Model Editor. User Manual. version 3.1
Atelier B Model Editor User Manual version 3.1 ATELIER B Model Editor User Manual version 3.1 Document made by CLEARSY. This document is the property of CLEARSY and shall not be copied, duplicated or distributed,
More informationImperative and Object Oriented Programming. Tutorial 1. Charlie Abela Department of Artificial Intelligence
Imperative and Object Oriented Programming Tutorial 1 Department of Artificial Intelligence charlie.abela@um.edu.mt Tutorial 1 In this tutorial you will be using the BlueJ IDE to develop java classes.
More informationIBM Rational Rhapsody Gateway Add On. Tagger Manual
Tagger Manual Rhapsody IBM Rational Rhapsody Gateway Add On Tagger Manual License Agreement No part of this publication may be reproduced, transmitted, stored in a retrieval system, nor translated into
More information1 Preface About this Manual Intended Audience Revision History Document Conventions Version...
Table of Contents 1 Preface... 3 1.1 About this Manual... 3 1.2 Intended Audience... 3 1.3 Revision History... 3 1.4 Document Conventions... 3 1.5 Version... 4 2 Introduction... 5 2.1 Overview... 5 2.2
More informationEmbarcadero PowerSQL 1.1 Evaluation Guide. Published: July 14, 2008
Embarcadero PowerSQL 1.1 Evaluation Guide Published: July 14, 2008 Contents INTRODUCTION TO POWERSQL... 3 Product Benefits... 3 Product Benefits... 3 Product Benefits... 3 ABOUT THIS EVALUATION GUIDE...
More informationWPS Workbench. user guide. "To help guide you through using the WPS user interface (Workbench) to create, edit and run programs"
WPS Workbench user guide "To help guide you through using the WPS user interface (Workbench) to create, edit and run programs" Version: 3.1.7 Copyright 2002-2018 World Programming Limited www.worldprogramming.com
More informationfor Q-CHECKER Text version 15-Feb-16 4:49 PM
Q-MONITOR 5.4.X FOR V5 for Q-CHECKER USERS GUIDE Text version 15-Feb-16 4:49 PM Orientation Symbols used in the manual For better orientation in the manual the following symbols are used: Warning symbol
More informationOpenBridge User s Guide
OpenBridge User s Guide Updated: 5/21/2015 OpenBridge User s Guide Copyright 2002-2014 Tucker-Davis Technologies, Inc. (TDT). All rights reserved. No part of this manual may be reproduced or transmitted
More informationLogi Ad Hoc Reporting Management Console Overview
Logi Ad Hoc Reporting Management Console Overview Version 12 July 2016 Page 2 Table of Contents INTRODUCTION...3 System Requirements...4 Management Console Overview...5 Configuration Wizard Overview...9
More informationSQL Server. Management Studio. Chapter 3. In This Chapter. Management Studio. c Introduction to SQL Server
Chapter 3 SQL Server Management Studio In This Chapter c Introduction to SQL Server Management Studio c Using SQL Server Management Studio with the Database Engine c Authoring Activities Using SQL Server
More informationMicrosoft Office Outlook 2007: Intermediate Course 01 Customizing Outlook
Microsoft Office Outlook 2007: Intermediate Course 01 Customizing Outlook Slide 1 Customizing Outlook Course objectives Create a custom toolbar and customize the menu bar; customize the Quick Access toolbar,
More informationText version 15-Aug-12. for Q-CHECKER V4, V5 and V6
Text version 15-Aug-12 Q-MONITOR V4 for Q-CHECKER V4, V5 and V6 USERS GUIDE Orientation Symbols used in the manual For better orientation in the manual the following symbols are used: Warning symbol Tip
More informationUse Active Directory To Simulate InfoPath User Roles
Page 1 of 7 Use Active Directory To Simulate InfoPath User Roles You can leverage the information returned by the Active Directory web service to simulate InfoPath User Roles, which are disabled in browser
More informationTheorem proving. PVS theorem prover. Hoare style verification PVS. More on embeddings. What if. Abhik Roychoudhury CS 6214
Theorem proving PVS theorem prover Abhik Roychoudhury National University of Singapore Both specification and implementation can be formalized in a suitable logic. Proof rules for proving statements in
More informationIBM Rational Rhapsody Gateway Add On. User Manual
User Manual Rhapsody IBM Rational Rhapsody Gateway Add On User Manual License Agreement No part of this publication may be reproduced, transmitted, stored in a retrieval system, nor translated into any
More informationGetting Started with Access
MS Access Chapter 2 Getting Started with Access Course Guide 2 Getting Started with Access The Ribbon The strip across the top of the program window that contains groups of commands is a component of the
More informationUSER MANUAL. Version May 2015
USER MANUAL Version 6.60 - May 2015 USER MANUAL IPBrowse 6.60 Disclaimer This manual and the information contained herein are the sole property of EVS Broadcast Equipment SA and/or its affiliates (EVS)
More informationHalcyon Spooled File Manager GUI. v8.0 User Guide
Halcyon Spooled File Manager GUI v8.0 User Guide Copyright Copyright HelpSystems, LLC. All rights reserved. www.helpsystems.com US: +1 952-933-0609 Outside the U.S.: +44 (0) 870 120 3148 IBM, AS/400, OS/400,
More informationPrototype User Guide Public Release Version 1
Public Release Version 1 Related task of the project (Task # and full name): Author: Task 2.6 - Prototype James Carr Prepared by: Approved by: Page: 1 of 24 1 Definitions 1.1 Acronyms and Abbreviations
More informationEmbedded101 Blog User Guide
Serving the Windows Embedded Community Embedded101 Blog User Guide Using Windows Live Write 2011 To Upload Blog Entry Samuel Phung Windows Embedded MVP http://www.embedded101.com Screen captured with Snagit
More informationMicrosoft Excel Chapter 3. Working with Large Worksheets, Charting, and What-If Analysis
Microsoft Excel 2013 Chapter 3 Working with Large Worksheets, Charting, and What-If Analysis Objectives Rotate text in a cell Create a series of month names Copy, paste, insert, and delete cells Format
More informationEmbarcadero DB Optimizer 1.0 Evaluation Guide. Published: July 14, 2008
Published: July 14, 2008 Embarcadero Technologies, Inc. 100 California Street, 12th Floor San Francisco, CA 94111 U.S.A. This is a preliminary document and may be changed substantially prior to final commercial
More informationAgWare ClickFORMS 7.0 Introductory Tutorial
AgWare ClickFORMS 7.0 Introductory Tutorial MAIN WINDOW If you have used Office 2007, our new layout will look familiar. Here is a screenshot of the new and improved AgWare ClickFORMS window: The Forms
More informationJSF Tools Reference Guide. Version: M5
JSF Tools Reference Guide Version: 3.3.0.M5 1. Introduction... 1 1.1. Key Features of JSF Tools... 1 2. 3. 4. 5. 1.2. Other relevant resources on the topic... 2 JavaServer Faces Support... 3 2.1. Facelets
More informationACCT 133 Excel Schmidt Excel 2007 to 2010 Conversion
ACCT 133 Excel Schmidt Excel 2007 to 2010 Conversion Note: Use this handout in connection with the handout on the parts of the Excel 2010 worksheet. This will allow you to look at the various portions
More informationdotdefender for IIS Installation Guide
dotdefender for IIS Installation Guide Installation Process The installation guide contains the following sections: System Requirements Installing dotdefender System Requirements dotdefender operation
More informationVolume KRP DATA SYSTEMS. WebLEDS Client Guide. WebLEDS Client Guide
Volume 3 KRP DATA SYSTEMS WebLEDS Client Guide WebLEDS Client Guide WebLEDS Client Guide Revision 1.1 KRP Data Systems 257 Martha Drive PO Box 302 Winchester, Oregon 97495 Phone: (541) 580-4849 Email:
More information'phred dist acd.tar.z'
Phred is free for academic use but does require registration and for you to obtain a licence. Please visit http://www.phrap.org/consed/consed.html#howtoget and follow the instructions. A copy of the Phred
More information5 WAYS TO CUSTOMIZE ALTIUM DESIGNER FOR BETTER EFFICIENCY
Menu items, shortcut keys, and toolbar icons are the three ways of accessing features within the Altium Designer environment. All of these are customizable and may enhance the user experience with Altium
More informationCreate a personal geodatabase
Create a personal geodatabase To create a personal geodatabase that corresponds to the same release as the ArcGIS for Desktop client you are using, follow these steps: 1. In ArcCatalog, right-click the
More informationAbila MIP DrillPoint Reports. Installation Guide
Abila MIP DrillPoint Reports This is a publication of Abila, Inc. Version 16.1 2015 Abila, Inc. and its affiliated entities. All rights reserved. Abila, the Abila logos, and the Abila product and service
More informationAn Introductory Guide to SpecTRM
An Introductory Guide to SpecTRM SpecTRM (pronounced spectrum and standing for Specification Tools and Requirements Methodology) is a toolset to support the specification and development of safe systems
More informationDMU Space Engineering Assistant User Guide
DMU Space Engineering Assistant User Guide Overview Conventions What's New? Getting Started User Tasks Setting Up Your Session Running an Interference Analysis Workbench Description DMU Space Engineering
More informationTalend Open Studio for MDM Web User Interface. User Guide 5.6.2
Talend Open Studio for MDM Web User Interface User Guide 5.6.2 Talend Open Studio for MDM Web User Interface Adapted for v5.6.2. Supersedes previous releases. Publication date: May 12, 2015 Copyleft This
More informationInstallation Assistance Windows/Microsoft Updates Updating from Spectra 7.x Upgrading from Spectra 6.x... 7
Spectra 7.2.1.1 Windows Upgrade Installation Instructions Installation Assistance... 3 Windows/Microsoft Updates... 3 Updating from Spectra 7.x... 4 Important Notices... 4 Downloading the Spectra Update
More informationDesktop & Laptop Edition
Desktop & Laptop Edition USER MANUAL For Mac OS X Copyright Notice & Proprietary Information Redstor Limited, 2016. All rights reserved. Trademarks - Mac, Leopard, Snow Leopard, Lion and Mountain Lion
More informationOffice of Administrative Hearings. Rules Division. Template Documentation
Office of Administrative Hearings Rules Division Template Documentation The Rules Division within the Office of Administrative Hearings has created a Microsoft Word Macro Enabled Template that Rule Making
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 informationSlide 1 CS 170 Java Programming 1 Duration: 00:00:49 Advance mode: Auto
CS 170 Java Programming 1 Eclipse@Home Downloading, Installing and Customizing Eclipse at Home Slide 1 CS 170 Java Programming 1 Eclipse@Home Duration: 00:00:49 What is Eclipse? A full-featured professional
More informationCreating an Outlook Auto-Response Rule for Departmental Accounts
Ready Reference 120408 Creating an Outlook Auto-Response Rule for Departmental Accounts Introduction This document contains instructions on how to create a rule from a departmental account in order to
More informationTeiid Designer User Guide 7.5.0
Teiid Designer User Guide 1 7.5.0 1. Introduction... 1 1.1. What is Teiid Designer?... 1 1.2. Why Use Teiid Designer?... 2 1.3. Metadata Overview... 2 1.3.1. What is Metadata... 2 1.3.2. Editing Metadata
More information3. Hello World! for IDEA. Java. Summer 2008 Instructor: Dr. Masoud Yaghini
3. Java Summer 2008 Instructor: Dr. Masoud Yaghini Outline Java IDEs Creating A Project Making A Java Class Building the Project Running the Project References Java IDEs Java IDEs Integrated Development
More informationMarthon User Guide. Page 1 Copyright The Marathon developers. All rights reserved.
1. Overview Marathon is a general purpose tool for both running and authoring acceptance tests geared at the applications developed using Java and Swing. Included with marathon is a rich suite of components
More informationUser Guide: Content editing
DIGITAL FACTORY 7.0 User Guide: Content editing Rooted in Open Source CMS, Jahia s Digital Industrialization paradigm is about streamlining Enterprise digital projects across channels to truly control
More informationGNATbench for Eclipse User s Guide
GNATbench for Eclipse User s Guide Release 19.0.20180812.w AdaCore August 13, 2018 CONTENTS 1 Getting Started 1 1.1 Prior Required Tool Installations................................... 1 1.2 Conflicting
More informationDMU Space Engineering Assistant User Guide
Page 1 DMU Space Engineering Assistant User Guide Overview Conventions What's New? Getting Started User Tasks Setting Up Your Session Running a Interference Workbench Description DMU Space Engineering
More informationRapid SQL 7.5 Evaluation Guide. Published: September 28, 2007
Rapid SQL 7.5 Evaluation Guide Published: September 28, 2007 Embarcadero Technologies, Inc. 100 California Street, 12th Floor San Francisco, CA 94111 U.S.A. This is a preliminary document and may be changed
More informationCreating a new CDC policy using the Database Administration Console
Creating a new CDC policy using the Database Administration Console When you start Progress Developer Studio for OpenEdge for the first time, you need to specify a workspace location. A workspace is a
More informationMicrosoft Word Important Notice
Microsoft Word 2013 Important Notice All candidates who follow an ICDL/ECDL course must have an official ICDL/ECDL Registration Number (which is proof of your Profile Number with ICDL/ECDL and will track
More informationNews in RSA-RTE 10.1 updated for sprint Mattias Mohlin, March 2017
News in RSA-RTE 10.1 updated for sprint 2017.13 Mattias Mohlin, March 2017 Overview Now based on Eclipse Neon.3 (4.6.3) Many general improvements since Eclipse Mars Contains everything from RSARTE 10 and
More informationAn Extensible Open Source AADL Tool Environment (OSATE)
An Extensible Open Source AADL Tool Environment (OSATE) Release 1.0 May 23, 2005 The SEI AADL Team Software Engineering Institute tools@aadl.info 1 Table of Content An Extensible Open Source AADL Tool
More information2 The Stata user interface
2 The Stata user interface The windows This chapter introduces the core of Stata s interface: its main windows, its toolbar, its menus, and its dialogs. The five main windows are the Review, Results, Command,
More informationBCM 4.0 Personal Call Manager User Guide. BCM 4.0 Business Communications Manager
BCM 4.0 Personal Call Manager User Guide BCM 4.0 Business Communications Manager Document Status: Beta Document Version: 02 Part Code: N0027256 Date: January 2006 Copyright Nortel Networks Limited 2006
More informationImagine. Create. Discover. User Manual. TopLine Results Corporation
Imagine. Create. Discover. User Manual TopLine Results Corporation 2008-2009 Created: Tuesday, March 17, 2009 Table of Contents 1 Welcome 1 Features 2 2 Installation 4 System Requirements 5 Obtaining Installation
More informationDRAFT. Table of Contents About this manual... ix About CuteSITE Builder... ix. Getting Started... 1
DRAFT Table of Contents About this manual... ix About CuteSITE Builder... ix Getting Started... 1 Setting up... 1 System Requirements... 1 To install CuteSITE Builder... 1 To register CuteSITE Builder...
More informationJanuary 2015 SPIDER 2j Full Install & Update
January 2015 SPIDER 2j Full Install & Update These are brief instructions for installing SPIDER 2j or updating from SPIDER 2i. This software is provided on CD-ROM. The CD contains both the complete SPIDER
More information11.1 Create Speaker Notes Print a Presentation Package a Presentation PowerPoint Tips... 44
Contents 1 Getting Started... 1 1.1 Presentations... 1 1.2 Microsoft Office Button... 1 1.3 Ribbon... 2 1.4 Mini Toolbar... 2 1.5 Navigation... 3 1.6 Slide Views... 4 2 Customize PowerPoint... 5 2.1 Popular...
More informationFormat your assignment
Introduction This workbook accompanies the computer skills training workshop. The trainer will demonstrate each skill and refer you to the relevant page at the appropriate time. This workbook can also
More informationCopyright ATRIL Language Engineering, SL. All rights reserved.
Us ergui de Déj àvux2e DI T OR dé j à v u Copyright 1993-2011 ATRIL Language Engineering, SL. All rights reserved. This document is provided for informational purposes only and ATRIL makes no warranties,
More informationZend Studio 3.0. Quick Start Guide
Zend Studio 3.0 This walks you through the Zend Studio 3.0 major features, helping you to get a general knowledge on the most important capabilities of the application. A more complete Information Center
More informationExcel Basics Tips & Techniques
Excel Basics Tips & Techniques Excel Terminology What s a spreadsheet? What s a workbook? Each Excel spreadsheet is a grid of data divided into rows and columns. Each block in this grid is called a cell,
More informationUser Guide. Chapter 6. Teacher Pages
User Guide Chapter 6 s Table of Contents Introduction... 5 Tips for s... 6 Pitfalls... 7 Key Information... 8 I. How to add a... 8 II. How to Edit... 10 SharpSchool s WYSIWYG Editor... 11 Publish a...
More informationIntroduction. Purpose. Objectives. Content. Learning Time
Introduction Purpose This training course provides an overview of the installation and administration aspects of the High-performance Embedded Workshop (HEW), a key tool for developing software for embedded
More informationInstallation Guide CSA Group Reader App for Windows Desktop
Installation Guide CSA Group Reader App for Windows Desktop Contents Downloading and Installing the CSA Reader App. 2 Creating an Account.... 3 Redeeming your Code. 5 Navigating the ebook.. 7 Page 1 of
More informationLet s create another simple report from one of our queries available: Author Age query.
Microsoft Access 6: Reports & Other Useful Functions This can be a very quick way to build a report, especially if you plan to put only a few fields on your report. When you click on the Blank Report button,
More informationSpatial Data Standards for Facilities, Infrastructure, and Environment (SDSFIE)
Spatial Data Standards for Facilities, Infrastructure, and Environment (SDSFIE) Model Builder User Guide Version 1.3 (24 April 2018) Prepared For: US Army Corps of Engineers 2018 Revision History Model
More informationLab 3: Editing a Rhapsody Model in RMM
Lab 3: Editing a Rhapsody Model in RMM Objectives After completing this lab, you will be able to: Create an RTC repository workspace and local sandbox Load a Rhapsody model from RMM into your local sandbox
More informationServer Edition USER MANUAL. For Mac OS X
Server Edition USER MANUAL For Mac OS X Copyright Notice & Proprietary Information Redstor Limited, 2016. All rights reserved. Trademarks - Mac, Leopard, Snow Leopard, Lion and Mountain Lion are registered
More informationIBM ILOG OPL IDE Reference
IBM ILOG OPL V6.3 IBM ILOG OPL IDE Reference Copyright International Business Machines Corporation 1987, 2009 US Government Users Restricted Rights - Use, duplication or disclosure restricted by GSA ADP
More informationMAS 90/200 Intelligence Tips and Tricks Booklet Vol. 1
MAS 90/200 Intelligence Tips and Tricks Booklet Vol. 1 1 Contents Accessing the Sage MAS Intelligence Reports... 3 Copying, Pasting and Renaming Reports... 4 To create a new report from an existing report...
More informationEmbest IDE Pro for ARM 2005
Embest IDE Pro for ARM 2005 1.1 About Embest IDE Pro for ARM2005 Embest IDE Pro for ARM2005 is a new release of Embest IDE for ARM based on 2004 version. It is an Integrated Development Environment for
More informationChapter 10 Linking Calc Data
Calc Guide Chapter 10 Linking Calc Data Sharing data in and out of Calc This PDF is designed to be read onscreen, two pages at a time. If you want to print a copy, your PDF viewer should have an option
More informationPart One: Installing Adobe Digital Editions on Your Computer. 1. Go to
Downloading and Installing Adobe Digital Editions 4 for Use with OverDrive ebooks (NOT for Kindle Users) Adobe Digital Editions software is required by several ereader devices (those without a modern browser)
More informationSCHEMATIC DESIGN IN QUARTUS
SCHEMATIC DESIGN IN QUARTUS Consider the design of a three-bit prime number detector. Figure 1 shows the block diagram and truth table. The inputs are binary signals A, B, and C while the output is binary
More informationSQL Deluxe 2.0 User Guide
Page 1 Introduction... 3 Installation... 3 Upgrading an existing installation... 3 Licensing... 3 Standard Edition... 3 Enterprise Edition... 3 Enterprise Edition w/ Source... 4 Module Settings... 4 Force
More informationUser's Guide c-treeace SQL Explorer
User's Guide c-treeace SQL Explorer Contents 1. c-treeace SQL Explorer... 4 1.1 Database Operations... 5 Add Existing Database... 6 Change Database... 7 Create User... 7 New Database... 8 Refresh... 8
More informationSage HRMS Sage 100 Advanced ERP G/L Link User Guide. April 2014
Sage HRMS Sage 100 Advanced ERP G/L Link User Guide April 2014 This is a publication of Sage Software, Inc. Document version: April 11, 2014 Copyright 2014. Sage Software, Inc. All rights reserved. Sage,
More informationSemester 2, 2018: Lab 1
Semester 2, 2018: Lab 1 S2 2018 Lab 1 This lab has two parts. Part A is intended to help you familiarise yourself with the computing environment found on the CSIT lab computers which you will be using
More informationDocumentDirect for Windows (DDW) Current version 4.4 (white screen)
DocumentDirect for Windows (DDW) Current version 4.4 (white screen) The basics how to open, navigate and how to export & save your DocumentDirect report to excel Prepared by Kittson, Norman, Roseau Counties
More informationBASIC USER TRAINING PROGRAM Module 4: Topology
BASIC USER TRAINING PROGRAM Module 4: Topology Objective Students will learn to work in the Topology editor to create devices, specify links between devices, create and set properties. In addition, students
More informationEvaluation Guide - WebSphere Integration
Evaluation Guide - WebSphere Integration Copyright 1994-2005 Embarcadero Technologies, Inc. Embarcadero Technologies, Inc. 100 California Street, 12th Floor San Francisco, CA 94111 U.S.A. All rights reserved.
More informationUser s Manual for ArpEdit
User s Manual for ArpEdit Introduction into User s Manual for ArpEdit............................................................. 3 General principles of operating ArpEdit................................................................
More informationConcordance Basics. Part I
Concordance Basics Part I 1 Getting Started 1 Familiarity with the Concordance environment is the first step in learning the multi-faceted features of this powerful program. This chapter focuses on learning
More informationGetting Started. April Strand Life Sciences, Inc All rights reserved.
Getting Started April 2015 Strand Life Sciences, Inc. 2015. All rights reserved. Contents Aim... 3 Demo Project and User Interface... 3 Downloading Annotations... 4 Project and Experiment Creation... 6
More informationUsing Optical Character Recognition on Scanned Text
Using Optical Character Recognition on Scanned Text This document describes how to use the optical character recognition software OmniPage Professional 15 to convert scanned documents into computer-editable
More informationElectrical System Functional Definition
Electrical System Functional Definition Overview Conventions What's New? Getting Started Creating a New System Creating Equipment Creating Connectors Creating a Signal Connecting Saving Your System User
More informationFinalizing the Project
Item#: MB7920 Finalizing the Project Use the steps in this section to prepare your project to send to Yearbook Interactive for duplication. This process is required before project submission. It may take
More informationDell Canvas Layout. Version 1.0 User s Guide
Dell Canvas Layout Version 1.0 User s Guide Notes, cautions, and warnings NOTE: A NOTE indicates important information that helps you make better use of your product. CAUTION: A CAUTION indicates either
More informationLogi Ad Hoc Management Console Overview
Logi Ad Hoc Management Console Overview Version 10 Last Updated: July 2010 Page 2 Table of Contents INTRODUCTION... 3 System Requirements... 4 Management Console Overview... 5 Configuration Wizard Overview...
More informationDVT Eclipse IDE. My First Verilog/SystemVerilog Project
DVT Eclipse IDE My First Verilog/SystemVerilog Project 1 Switch to the DVT Perspective from menu Window > Open Perspective > Other... > DVT The DVT Perspective presents different Views (GUI components)
More informationEclipse Plug-in for AccuRev User s Guide Version April 2012
Eclipse Plug-in for AccuRev User s Guide Version 2012.1 April 2012 Revised 4/16/12 Copyright AccuRev, Inc. 1995 2012 ALL RIGHTS RESERVED This product incorporates technology that may be covered by one
More informationMyEclipse ER-Designer Quickstart
MyEclipse ER-Designer Quickstart Last Revision: Outline 1. Preface 2. Requirements 3. Introduction 4. Creating an ER Diagram from a Database 5. Working with an Entity-Relationship Diagram 1. Notation and
More informationDHIS 2 Android User Manual 2.23
DHIS 2 Android User Manual 2.23 2006-2016 DHIS2 Documentation Team Revision 2174 2016-11-23 11:23:21 Version 2.23 Warranty: THIS DOCUMENT IS PROVIDED BY THE AUTHORS ''AS IS'' AND ANY EXPRESS OR IMPLIED
More informationQRG: Using the WYSIWYG Editor
WYSIWYG Editor QRG: Using the WYSIWYG Editor WYSIWYG stands for What You See Is What You Get. The WYSIWYG Editor is the reason you don t need to be an IT Programmer to write content for your web page.
More informationInstallation and Getting Started Guide
Installation and Getting Started Guide Metrics ICV Version 4.1.0 Copyright 1999-2015, Metrics Technology, Inc. All rights reserved. Table of Contents Installing the ICV Software... 4 Obtain a Codeword...
More information