SW: from Craftsmanship to Industry. The role of code generation in the industrialisation of software development
|
|
|
- Andra Jennings
- 10 years ago
- Views:
Transcription
1 SW: from Craftsmanship to Industry The role of code generation in the industrialisation of software development
2 The Market Situation Complexity grows Shorter TTM 15% - 25% of all software defects are delivered to customers. Approximately 40-50% of the effort is spent on avoidable work. Labor-intensive, requiring highly educated engineers. SASG - Oct [email protected]
3 The V-model: Current practice We live in uncertainty Plan Unexpected delay We do things wrong Detail level We re way slower Lead time We need more detail We don t get expected quality SASG - Oct [email protected]
4 Software Productivity Killers Poor design: Software specifications and designs are not verified before implementation Incomplete, incorrect and ambiguous specifications and designs are only discovered during the test phases High Complexity: Software designs are increasingly asynchronous, concurrent, reactive and event driven Complexity, Deadlocks, Races, Non-determinism, Multi-core CPUs Software architects can t oversee implications of design choices Poor Quality: Testing is an exercise in sampling Sample is small, population is very large A linear increase in the probability of finding a defect requires an exponential increase in the number of test cases Testing is the most expensive, least certain way to detect and remove defects and has the biggest impact on T2M SASG - Oct [email protected]
5 Software Engineering Challenge Product specification Highly variable, human language based dialects Design Gap Level of Automation Program code (C)OTS compilers, interpreters Limited variable, general applicable artificial dialects Machine code Limited variable, processor-family dependent dialects SASG - Oct [email protected]
6 Reduce the Design Gap Product specification Design Gap Product code Specific artificial dialect Specific compilers, interpreters Level of Automation Program code Machine code SASG - Oct [email protected]
7 This is Mechanical Engineering Automate Engineer Automate or Outsource Lead time Detail level SASG - Oct [email protected]
8 This is Software Engineering Evidence Lead time Detail level SASG - Oct [email protected]
9 sd move(postion) absposition = function(position) 1 1: Logical.Internal.UCrealizations.supporting.unlock ogca te a UC ea at o s suppo t g oc sg:ssfservogroup In case of a symbolic setpoint Software Engineering Should Be Evidence Rigorous Specification & Design: Model Driven Design using mathematics (formal verification) where possible Automated Construction Engineer Automated Construction Detail level Lead time SASG - Oct [email protected]
10 Model Streams DSL s, optimized for product development Increasing level of detail System (Software) Construction Code Code HW, SW Code Code HW, SW SASG - Oct [email protected]
11 Model Streams DSL s, optimized for product development Formal, executable languages Increasing level of detail System (Software) Construction Support of decisions Code Code HW, SW Code Code HW, SW SASG - Oct [email protected]
12 DSL Abstraction Levels Essential level: Specific DSL s -Problem related -Engineering efficiency -Relate to problem domain L-system ADL D-system Intermediate level: Generic DSL s -Solution specific -Early integration -Relate to formalisms L-target ADL D-target AVV system Real system Realization level: ADL GPL s L-code D-code SASG - Oct [email protected]
13 Generator Architecture: Overview Essential model Generator model Complete model Refine Verify Model to Model other models Target model Code Code Code Code Code Code Code Code Code Beautify Facility inputs Facility inputs Facility inputs SASG - Oct [email protected]
14 Model to Model mapping mapping SASG - Oct [email protected]
15 Model to Model: QVTO transformation SASG - Oct [email protected]
16 Generator Architecture: Overview Essential model Generator model Complete model Refine Verify other models Target model Model to Code Code Code Code Code Code Code Code Code Code Beautify Facility inputs Facility inputs Facility inputs SASG - Oct [email protected]
17 Model to Code SASG - Oct [email protected]
18 Current Software Environment Products X Y Z Technologies A B C D E SASG - Oct [email protected]
19 Decoupling from Technology Product Development Environment DSL Decoupling layer (Software) Technology Solutions SASG - Oct [email protected]
20 Industrialization: Factories! Primary Process Secondary Process Focus on building products in the factory Focus on building and maintaining the factory SASG - Oct [email protected]
21 Software Factory! X Products Y Z Decoupling Layer Technologies A B C D E SASG - Oct [email protected]
22 Vragen? SASG - Oct [email protected]
23 BACKUP SASG - Oct [email protected]
24 Mechanical Engineering Processable models Formal models Generate Consistency! Engineer Generate Detail level Lead time SASG - Oct [email protected]
25 e self move(postion) absposition = function(position) Logical.Internal.UCrealizations.supporting.lock sg:ssfservogroup In case of a symbolic setpoint Engineering with models: Software MDE Processable models Formal models Generate Consistency? Engineer Generate Lead time Detail level SASG - Oct [email protected]
26 Analysis Models Design context Construction model Realization hints Analysis context Analysis model contribution Other Andere contributions bijdragen Aspect Analysis model Realization context Realization model Realization contribution (code/hw) predicts aspect of Other contributions Andere (code/hw) bijdragen Realization (systeem) SASG - Oct [email protected]
27 Embedding Proven Suites Construction model Analysis model development aspect Proven (generic) development suite Construction model Analysis model Other Andere contributions bijdragen predicts aspect of! Aspect Analysis model other aspects Realization contribution (code/hw) Realization contribution (code/hw) predicts aspect of? SASG - Oct [email protected]
28 sd ove ref absposition = function(position) lf move(postion) 1.1 * Logical.Internal.UCrealizations.supporting.unlock sg:ssfservogroup In case of a symbolic setpoint MDE approaches Evidence Contribution (Intermediate.Lang.) Runtime + configuration Consistency? Consistency! data? Property Preserving Code Generation? Construction SASG - Oct [email protected]
29 Tuinhuis (1) Garden shed Blokhut model: b x l x h = 4m x 4,5m x 2,5m. Houten frame 9cm op betonnen plaat 10cm. Dubbele deur aan voorkant: 1,40m Flat roof model: w x l x h = 4m x 4,5m x 2,5m. Wooden frame 9cm on concrete slab foundation Double door in front: 1,40m SASG - Oct [email protected]
30 Tuinhuis (2) SASG - Oct [email protected]
31 Domain Specific Modeling Awareness of Concepts in the target domain Meta-models define these concepts Domain Specific Language SASG - Oct [email protected]
32 Example: 3D Drawing SASG - Oct [email protected]
33 Example: 3D Drawing SASG - Oct [email protected]
34 Example: 3D Drawing SASG - Oct [email protected]
35 Example: 3D Drawing SASG - Oct [email protected]
Decomposition into Parts. Software Engineering, Lecture 4. Data and Function Cohesion. Allocation of Functions and Data. Component Interfaces
Software Engineering, Lecture 4 Decomposition into suitable parts Cross cutting concerns Design patterns I will also give an example scenario that you are supposed to analyse and make synthesis from The
Industrial case study: Zero defect secure software for the National Security Agency
p Industrial case study: Zero defect secure software for the National Security Agency Martin Croxford CEng MBCS Praxis High Integrity Systems Bath, UK Copyright Praxis High Integrity Systems Limited 2006
Software Engineering. Objectives. Designing, building and maintaining large software systems
Software Engineering Objectives Designing, building and maintaining large software systems To define software engineering and explain its importance To discuss the concepts of software products and software
Trends in Embedded Software Development in Europe. Dr. Dirk Muthig [email protected]
Trends in Embedded Software Development in Europe Dr. Dirk Muthig [email protected] Problems A software project exceeds the budget by 90% and the project time by 120% in average Project Management
Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification
Introduction Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification Advanced Topics in Software Engineering 1 Concurrent Programs Characterized by
The Software Development Process
Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Lecture 03 (26.10.2015) The Software Development Process Christoph Lüth Jan Peleska Dieter Hutter Your Daily Menu Models of software
(Refer Slide Time: 01:52)
Software Engineering Prof. N. L. Sarda Computer Science & Engineering Indian Institute of Technology, Bombay Lecture - 2 Introduction to Software Engineering Challenges, Process Models etc (Part 2) This
Software Engineering. Software Engineering. Software Costs
Software Engineering Software Engineering is the science and art of building significant software systems that are: 1) on time 2) on budget 3) with acceptable performance 4) with correct operation. Ian
The V-Model. Prepared for. Prepared by. Christian Bucanac [email protected] Software Engineering Student, University Of Karlskrona/Ronneby
Course: Quality Management, DPT404 Teacher: Conny Johansson Department: IDE, University Of Karlskrona/Ronneby The V-Model Prepared for Conny Johansson [email protected] IDE, University Of Karlskrona/Ronneby
Operations Management and the Integrated Manufacturing Facility
March 2010 Page 1 and the Integrated Manufacturing Facility This white paper provides a summary of the business value for investing in software systems to automate manufacturing operations within the scope
Functional Validation of SAP Implementation
Functional Validation of SAP Implementation Efficiently produce and maintain a SAP test repository thru modeling of business processes and business rules Geoffrey Potoczny/Smartesting Professional Services
Hardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09
Testen von Embedded Systems Hardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09 Raimund dkirner Testing Embedded Software Testing the whole system including the physical environment is not possible
High-Level Guide for Managers. The Information Framework
High-Level Guide for Managers The Information Framework March 2010 1. Executive Summary The Information Framework is one of the major components that make up TM Forum Frameworx, an Integrated Business
Model-Driven Software Development for Robotics: an overview
Model-Driven Software Development for Robotics: an overview IEEE-ICRA2011 Workshop on Software Development and Integration in Robotics Jan F. Broenink, Maarten M. Bezemer Control Engineering, University
SOFTWARE ENGINEERING AT MOTOROLA SOLUTIONS. Jeff Yakey
SOFTWARE ENGINEERING AT MOTOROLA SOLUTIONS Jeff Yakey Educational background 1993 Graduated from Belvidere High School 1997 B.A. from Wartburg College, Waverly IA Double major in Computer Science and Mathematics
Software Engineering Reference Framework
Software Engineering Reference Framework Michel Chaudron, Jan Friso Groote, Kees van Hee, Kees Hemerik, Lou Somers, Tom Verhoeff. Department of Mathematics and Computer Science Eindhoven University of
Minimizing code defects to improve software quality and lower development costs.
Development solutions White paper October 2008 Minimizing code defects to improve software quality and lower development costs. IBM Rational Software Analyzer and IBM Rational PurifyPlus software Kari
IBM InfoSphere Information Server Ready to Launch for SAP Applications
IBM Information Server Ready to Launch for SAP Applications Drive greater business value and help reduce risk for SAP consolidations Highlights Provides a complete solution that couples data migration
MDE Adoption in Industry: Challenges and Success Criteria
MDE Adoption in Industry: Challenges and Success Criteria Parastoo Mohagheghi 1, Miguel A. Fernandez 2, Juan A. Martell 2, Mathias Fritzsche 3 and Wasif Gilani 3 1 SINTEF, P.O.Box 124-Blindern, N-0314
ATV Data Link Simulator: A Development based on a CCSDS Layers Framework
SpaceOps 2010 ConferenceDelivering on the DreamHosted by NASA Mars 25-30 April 2010, Huntsville, Alabama AIAA 2010-2089 ATV Data Link Simulator: A Development based on a CCSDS
Aerospace Software Engineering
16.35 Aerospace Software Engineering Software Architecture The 4+1 view Patterns Prof. Kristina Lundqvist Dept. of Aero/Astro, MIT Why Care About Software Architecture? An architecture provides a vehicle
Multi-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars
Multi-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars Jonn Lantz Technical Specialist, Electric Propulsion Systems @ Volvo Car Group [email protected] 1 Partners
Certification Authorities Software Team (CAST) Position Paper CAST-13
Certification Authorities Software Team (CAST) Position Paper CAST-13 Automatic Code Generation Tools Development Assurance Completed June 2002 NOTE: This position paper has been coordinated among the
Der Mythos vom Re-Use
Der Mythos vom Re-Use Was ist dran an der Wiederverwendung? Uwe Friedrichsen, codecentric GmbH SET 2009, Zürich, 5. Mai 2009 Uwe Friedrichsen Architect Consultant Project Manager Coach Software Architecture
Development of AUTOSAR Software Components within Model-Based Design
2008-01-0383 Development of AUTOSAR Software Components within Model-Based Design Copyright 2008 The MathWorks, Inc. Guido Sandmann Automotive Marketing Manager, EMEA The MathWorks Richard Thompson Senior
Use service virtualization to remove testing bottlenecks
Use service virtualization to remove testing bottlenecks Discover integration faults early by pushing integration testing left in the software lifecycle Contents 1 Complex, interconnected applications
Lowering business costs: Mitigating risk in the software delivery lifecycle
August 2009 Lowering business costs: Mitigating risk in the software delivery Roberto Argento IBM Rational Business Development Executive Valerie Hamilton IBM Rational Solution Marketing Manager and Certified
HP DevOps by Design. Your Readiness for Continuous Innovation Rony Van Hove/ April 2 nd, 2015. HP Software: Apps meet Ops 2015
HP Software: Apps meet Ops 2015 HP DevOps by Design Your Readiness for Continuous Innovation Rony Van Hove/ April 2 nd, 2015 HP Software: Apps meet Ops 2015 Build it, test it, and fix the things that go
ALGEBRA I (Common Core)
The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION ALGEBRA I (Common Core) Wednesday, August 12, 2015 8:30 to 11:30 a.m. MODEL RESPONSE SET Table of Contents Question 25...................
OMG SOA Workshop - Burlingame Oct 16-19, 2006 Integrating BPM and SOA Using MDA A Case Study
OMG SOA Workshop - Burlingame Oct 16-19, 2006 Integrating BPM and SOA Using MDA A Case Study Michael Guttman CTO, The Voyant Group [email protected] Overview of Voyant H.Q. West Chester, PA Business
Aplicando enfoque MDE a aplicaciones WEB-SOA
Aplicando enfoque MDE a aplicaciones WEB-SOA María Consuelo Franky [email protected] Dpto. Ingeniería de Sistemas Universidad Javeriana Bogotá - 2010 http://sophia.javeriana.edu.co/~lfranky/ 1 Temario
News and trends in Data Warehouse Automation, Big Data and BI. Johan Hendrickx & Dirk Vermeiren
News and trends in Data Warehouse Automation, Big Data and BI Johan Hendrickx & Dirk Vermeiren Extreme Agility from Source to Analysis DWH Appliances & DWH Automation Typical Architecture 3 What Business
Scrum and Testing The end of the test role Bryan Bakker 20 maart 2012
Scrum and Testing The end of the test role Bryan Bakker 20 maart 2012 voordracht georganiseerd door Discussiegroep Software Testing met de steun van Ingenieurshuis, Antwerpen Scrum and Testing... The end
Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors
Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors Klaus Wissing PolySpace Technologies GmbH Argelsrieder Feld 22 82234 Wessling-Oberpfaffenhofen
How to bridge the gap between business, IT and networks
ericsson White paper Uen 284 23-3272 October 2015 How to bridge the gap between business, IT and networks APPLYING ENTERPRISE ARCHITECTURE PRINCIPLES TO ICT TRANSFORMATION A digital telco approach can
Testing Big data is one of the biggest
Infosys Labs Briefings VOL 11 NO 1 2013 Big Data: Testing Approach to Overcome Quality Challenges By Mahesh Gudipati, Shanthi Rao, Naju D. Mohan and Naveen Kumar Gajja Validate data quality by employing
Automotive System and Software Architecture
Automotive System and Software Architecture Yanja Dajsuren 2IW80 Software specification and architecture March 25, 2014 Which one has more software? Chevrolet Volt, an example modern day car Boeing 787,
The purpose of Capacity and Availability Management (CAM) is to plan and monitor the effective provision of resources to support service requirements.
CAPACITY AND AVAILABILITY MANAGEMENT A Project Management Process Area at Maturity Level 3 Purpose The purpose of Capacity and Availability Management (CAM) is to plan and monitor the effective provision
Aligning IT investment and Business
IBM Software Group Aligning IT investment and Business The role of requirements management, portfolio management and enterprise architecture Productivity, Governance, Innovation Dr Tariq Aslam 2009 IBM
1.1 The Nature of Software... Object-Oriented Software Engineering Practical Software Development using UML and Java. The Nature of Software...
1.1 The Nature of Software... Object-Oriented Software Engineering Practical Software Development using UML and Java Chapter 1: Software and Software Engineering Software is intangible Hard to understand
The Software Defined Hybrid Packet Optical Datacenter Network SDN AT LIGHT SPEED TM. 2012-13 CALIENT Technologies www.calient.
The Software Defined Hybrid Packet Optical Datacenter Network SDN AT LIGHT SPEED TM 2012-13 CALIENT Technologies www.calient.net 1 INTRODUCTION In datacenter networks, video, mobile data, and big data
Virtual Desktop Infrastructure Planning Overview
WHITEPAPER Virtual Desktop Infrastructure Planning Overview Contents What is Virtual Desktop Infrastructure?...2 Physical Corporate PCs. Where s the Beef?...3 The Benefits of VDI...4 Planning for VDI...5
Application Performance Testing Basics
Application Performance Testing Basics ABSTRACT Todays the web is playing a critical role in all the business domains such as entertainment, finance, healthcare etc. It is much important to ensure hassle-free
Agile EAI November 2002 Martin Fowler Gregor Hohpe
Agile EAI November 2002 Martin Fowler Gregor Hohpe Abstract Enterprise Application Integration (EAI) is a top priority in many enterprises. Requirements for improved customer service or self-service, rapidly
Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001
Agenda Introduzione Il mercato Dal circuito integrato al System on a Chip (SoC) La progettazione di un SoC La tecnologia Una fabbrica di circuiti integrati 28 How to handle complexity G The engineering
BY STEVE BROWN, CADENCE DESIGN SYSTEMS AND MICHEL GENARD, VIRTUTECH
WHITE PAPER METRIC-DRIVEN VERIFICATION ENSURES SOFTWARE DEVELOPMENT QUALITY BY STEVE BROWN, CADENCE DESIGN SYSTEMS AND MICHEL GENARD, VIRTUTECH INTRODUCTION The complexity of electronic systems is rapidly
Java Environment for Parallel Realtime Development Platform Independent Software Development for Multicore Systems
Java Environment for Parallel Realtime Development Platform Independent Software Development for Multicore Systems Ingo Prötel, aicas GmbH Computing Frontiers 6 th of May 2008, Ischia, Italy Jeopard-Project:
Plan-Driven Methodologies
Plan-Driven Methodologies The traditional way to develop software Based on system engineering and quality disciplines (process improvement) Standards developed from DoD & industry to make process fit a
Requirements Management
REQUIREMENTS By Harold Halbleib Requirements Management Identify, Specify, Track and Control Requirements Using a Standard Process About the author... Harold Halbleib has a degree in Electrical Engineering
Dependable (Safe/Reliable) Systems. ARO Reliability Workshop Software Intensive Systems
Dependable (Safe/Reliable) Systems Composing, Analyzing and Validating s to Assess / Develop / Validate Methods and Supporting Tools for the Creation of Dependable Systems ARO Reliability Workshop Intensive
Safe-E. Safe-E Introduction. Coordination: Andreas ECKEL TTTech Computertechnik AG [email protected]
Introduction Coordination: Andreas ECKEL TTTech Computertechnik AG [email protected] The Eurostars Project within the ITEA-2 Safe Project Eurostars : what is it and why?: Eurostars is an Eureka
Long term retention and archiving the challenges and the solution
Long term retention and archiving the challenges and the solution NAME: Yoel Ben-Ari TITLE: VP Business Development, GH Israel 1 Archive Before Backup EMC recommended practice 2 1 Backup/recovery process
Global Delivery Excellence Best Practices for Improving Software Process and Tools Adoption. Sunil Shah Technical Lead IBM Rational
Global Delivery Excellence Best Practices for Improving Software Process and Tools Adoption Sunil Shah Technical Lead IBM Rational Agenda Organization s Challenges from a Delivery Perspective Introduction
Requirements Engineering: A Roadmap
Requirements Engineering: A Roadmap Bashar Nuseibeh & Steve Easterbrook Department of Computing Imperial College of Science, Technology & Medicine London SW7 2BZ, UK Email: [email protected] http://www-dse.doc.ic.ac.uk/~ban/
Realizing business flexibility through integrated SOA policy management.
SOA policy management White paper April 2009 Realizing business flexibility through integrated How integrated management supports business flexibility, consistency and accountability John Falkl, distinguished
Budapest University of Technology and Economics Department of Measurement and Information Systems. Business Process Modeling
Budapest University of Technology and Economics Department of Measurement and Information Systems Business Process Modeling Process, business process Workflow: sequence of given steps executed in order
JOURNAL OF OBJECT TECHNOLOGY
JOURNAL OF OBJECT TECHNOLOGY Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering JOT, 2008 Vol. 7, No. 8, November-December 2008 What s Your Information Agenda? Mahesh H. Dodani,
A Technology Based Solution to Move Client Server Applications to Java /.NET in Native 3-Tier Web Code Structures
A Technology Based Solution to Move Client Server Applications to Java /.NET in Native 3-Tier Web Code Structures Accelerated Application Modernization (AAM) Page 1 of 16 Table of Contents TABLE OF CONTENTS...
Customer Experience. Silicon. Support & Professional Eng. Services. Freescale Provided SW & Solutions
September 2013 Silicon Support & Professional Eng. Services Customer Experience Freescale Provided SW & Solutions Provide Valued Software, Support & Professional Engineering Services, Competitively 2 Customer
The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated into
The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated into any contract. It is not a commitment to deliver any material,
Peter Mileff PhD SOFTWARE ENGINEERING. The Basics of Software Engineering. University of Miskolc Department of Information Technology
Peter Mileff PhD SOFTWARE ENGINEERING The Basics of Software Engineering University of Miskolc Department of Information Technology Introduction Péter Mileff - Department of Information Engineering Room
HP Customer Support. Remote Server Management. an Outtasking Solution Outline
HP Customer Support Remote Server Management an Outtasking Solution Outline Andreas Meinert Support Solution Architect DataCenter Solution Services, HP Germany 2004 Hewlett-Packard Development Company,
Data Quality Assessment. Approach
Approach Prepared By: Sanjay Seth Data Quality Assessment Approach-Review.doc Page 1 of 15 Introduction Data quality is crucial to the success of Business Intelligence initiatives. Unless data in source
Senior Information Technology Systems Analyst
Career Service Authority Senior Information Technology Systems Analyst Page 1 of 6 GENERAL STATEMENT OF CLASS DUTIES Performs full performance level professional work analyzing, refining and documenting
Software Defined Security Mechanisms for Critical Infrastructure Management
Software Defined Security Mechanisms for Critical Infrastructure Management SESSION: CRITICAL INFRASTRUCTURE PROTECTION Dr. Anastasios Zafeiropoulos, Senior R&D Architect, Contact: [email protected]
Effective Software Verification for Medical Devices
STERLINGTECH AND KLOCWORK WHITE PAPER NOVEMBER 2009 Effective Software Verification for Medical Devices Achieving compliance and meeting productivity goals with static analysis In addition to producing
Designing a Home Alarm using the UML. And implementing it using C++ and VxWorks
Designing a Home Alarm using the UML And implementing it using C++ and VxWorks M.W.Richardson I-Logix UK Ltd. [email protected] This article describes how a simple home alarm can be designed using the UML
Project Decision Analysis Process
Copyright Notice: Materials published by Intaver Institute Inc. may not be published elsewhere without prior written consent of Intaver Institute Inc. Requests for permission to reproduce published materials
TÜ V Rheinland Industrie Service
TÜ V Rheinland Industrie Service Business Area: Automation / Functional Safety Contact Minsung Lee +82-2-860-9969 mailto : [email protected] Sales Account Manager for Functional Safety Fax +82-2-860-9862
Whitepaper. Data Warehouse/BI Testing Offering YOUR SUCCESS IS OUR FOCUS. Published on: January 2009 Author: BIBA PRACTICE
YOUR SUCCESS IS OUR FOCUS Whitepaper Published on: January 2009 Author: BIBA PRACTICE 2009 Hexaware Technologies. All rights reserved. Table of Contents 1. 2. Data Warehouse - Typical pain points 3. Hexaware
Automated Theorem Proving - summary of lecture 1
Automated Theorem Proving - summary of lecture 1 1 Introduction Automated Theorem Proving (ATP) deals with the development of computer programs that show that some statement is a logical consequence of
Doctor of Philosophy in Computer Science
Doctor of Philosophy in Computer Science Background/Rationale The program aims to develop computer scientists who are armed with methods, tools and techniques from both theoretical and systems aspects
Current Loop Tuning Procedure. Servo Drive Current Loop Tuning Procedure (intended for Analog input PWM output servo drives) General Procedure AN-015
Servo Drive Current Loop Tuning Procedure (intended for Analog input PWM output servo drives) The standard tuning values used in ADVANCED Motion Controls drives are conservative and work well in over 90%
Lab View with crio Tutorial. Control System Design Feb. 14, 2006
Lab View with crio Tutorial Control System Design Feb. 14, 2006 Pan and Tilt Mechanism Experimental Set up Power Supplies Ethernet cable crio Reconfigurable Embedded System Lab View + Additional Software
The Future of Model Driven Software Engineering
The Future of Model Driven Software Engineering February 2015 Introduction Degree in Physics, +/- 15 years as Software Engineer 6502 ASM, ASM85, ASM86, Pascal, PLM, C, Smalltalk Built Factory Automation
Test Data Management. Services Catalog
Test Data Management Services Catalog TABLE OF CONTENTS WHY TDM?... 3 CLIENT SUCCESS STORIES... 4 Large Automotive Company Data Generation...4 Large Entertainment Company Coverage Analysis...4 TDM APPROACH...
Release Management Policy Aspen Marketing Services Version 1.1
Release Management Policy Version 1.1 John Toso 5/10/2010 2 Contents Release Management Policy Overview:... 3 Critical Success Factors... 3 Service Level Management (SLM)... 4 Key Performance Indicators:...
Municipality Moves SCADA System from Desktop Computers to Terminal Services
Municipality Moves SCADA System from Desktop Computers to Terminal Services KEYWORDS Bosko Bob Loncar 1 1 1151 Bronte Road Oakville, Ontario L6M 3L1 ([email protected]) SCADA, Terminal Services, Remote
Case study AllianzNet
Case study AllianzNet Automated versus manual testing D E G O U D E N D R A A D D O O R U W B E D R I J F S V O E R I N G 1 Pleased to meet you Hans van Loenhoud secretary TestNet managing partner INQA
Introducing Formal Methods into Industry using Cleanroom and CSP
Guy H. Broadfoot, Chief Technical Director, Verum Consultants. TOOLS Introducing Formal Methods into Industry using Cleanroom and CSP In this paper, we present an overview of our observations and experiences
Introducing the Dezyne Modelling Language
Introducing the Dezyne Modelling Language Bits & Chips Smart Systems, 20 November 2014 Paul Hoogendijk. [email protected] Software Controlled Systems Software Controlled Systems Event driven Concurrent,
White Paper. Enhancing Website Security with Algorithm Agility
ENHANCING WEBSITE SECURITY WITH ALGORITHM AGILITY White Paper Enhancing Website Security with Algorithm Agility Enhancing Website Security with Algorithm Agility Contents Introduction 3 Encryption Today
Your Software Quality is Our Business. INDEPENDENT VERIFICATION AND VALIDATION (IV&V) WHITE PAPER Prepared by Adnet, Inc.
INDEPENDENT VERIFICATION AND VALIDATION (IV&V) WHITE PAPER Prepared by Adnet, Inc. February 2013 1 Executive Summary Adnet is pleased to provide this white paper, describing our approach to performing
Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer
Generate Results. Real Models. Real Code. Real Fast. Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer Andreas Henriksson, Ericsson [email protected]