Visual Component Composition Environments
|
|
- Hugo Harrington
- 5 years ago
- Views:
Transcription
1 Visual Component Composition Environments Based on Comparing Visual Component Composition Environments written by Alejandra Cechich and Manuel Prieto in 00. Presented by Yuxi Bai on March 8, 006 Agenda Visual Component Composition (VCC) and VCC Environments (VCCEs) Motivation for Comparing VCCEs Feature Analysis Proposed Framework Example 1: Visual Composition Using Patterns Example : Component Architecture Toolkit (CAT) Example : WREN Example : ITHACA Conclusion of the Authors Challenges of VCCs and VCCEs Criticism March, 006 Visual Component Composition Environments
2 VCC Traditional component composition process + GUI Search Select Configure (Connect & Adapt) Design Missing Functionality Implement Missing Functionality March, 006 Visual Component Composition Environments Motivations A common framework is necessary for comparative evaluation of methods and tools. No other motives are explicitly or implicitly stated by the authors. Perhaps there are a large number of VCC environments from which to choose... March, 006 Visual Component Composition Environments
3 Feature Analysis (DESMET) Proposed framework is based on the DESMET approach for Feature Analysis. Feature Analysis process: 1. Select set of candidate methods/tools to evaluate.. Determine the required features of these methods/tools.. Prioritize these features with respect to the users.. Determine the required confidence level, and thus, the level of rigor required in the analysis.. Formulate a scoring/ranking system for all features. 6. Allocate responsibilities for carrying out the analysis. 7. Perform the analysis using the above criteria. 8. Analyze and interpret the results. 9. Present the results to decision makers. March, 006 Visual Component Composition Environments Proposed Framework Features are classified as either simple or compound. Simple features are accessed by a nominal scale (Y, N). Compound (specific) features are accessed by a ordinal scale. The ordinal judgment scale ranges from -1 (makes things worse) to (full support). Degree of importance (optional for simple features): M, HD, D, N. It is possible for methods/tools to have the same aggregate score, and one of the methods/tools is missing mandatory features (but has many highly desirable features). Solution: Divide compound features into groups and compute the average score of the features in each group. A framework is an eligible candidate if and only if it obtains a score of at least in every feature group. March, 006 Visual Component Composition Environments 6
4 Visual Composition Using Patterns Composition pattern specifies the interactions between roles. Extended MSCs are used to specify composition patterns. GUI provides a palette of components, palette of composition patterns. The Universe contains a single composition model: the Java Bean component model. Extended MSCs assist in automatic compatibility checking: 1. Component and role compatibility, and. Component set and composition pattern compatibility. Resulting automaton is used as glue code. Illegal events are ignored for a given state. Real-time mismatch feedback provided to the user. Composition checking and glue code generation occurs after all roles have been filled. March, 006 Visual Component Composition Environments 7 Composition Using Patterns - Prototype March, 006 Visual Component Composition Environments 8
5 CAT, CCAT, XCAT Based on the standard grid computing model. Application (physical processes, mathematical models, etc.) Composition Tool Resource Discovery, Location, and Management Hardware and Software Resources Interface programming: input and output ports. Uses COTS in lower-level infrastructure layers (e.g. Globus). GUI: graphical workspace manager and InfoBrowser. Instantiate, connect, and disconnect components. XCAT supports scripting and web services. Globus (resource) Creation Service Component X A B Y Connection Service Component March, 006 Visual Component Composition Environments 9 CCAT Demo March, 006 Visual Component Composition Environments 10
6 WREN Assumes and exploits component self-description/metainformation that is self-contained. Minimum self-description of a specific format (a Java description class) is required. Diagrammatic representation is optional. WREN interfaces are self-description wrappers for Java interfaces. GUI provides component repository search and selection views, and a design editor for composition. March, 006 Visual Component Composition Environments 11 WREN Prototype... March, 006 Visual Component Composition Environments 1
7 ITHACA SIB: Software Information Base (common component repository) RECAST: Requirement Collection and Specification Tool Vista: Visual Scripting Tool Component Presentation Behaviour Ports Name Type polarity Composition Interface March, 006 Visual Component Composition Environments 1 ITHACA Prototypes... March, 006 Visual Component Composition Environments 1
8 Conclusion Magic numbers: S1: Component searching procedure S: Analysis of component compatibility S: Analysis of resulting composition compatibility S: Explicitly defined composition rules S: GUI S6: Automatic glue-code generation S7: Formal specification of composition rules S8: Composition models previously defined S9: Multiple-view support S10: Component reusability HD M M M M HD HD D D D Patterns 1 CAT 0 1 WREN 1 1 ITHACA More numbers (no magic here): Patterns CAT WREN G1: S1, S, S, S8... G: S, S... G: S6, S9. G: S7, S ITHACA.. Non-numerical conclusion... March, 006 Visual Component Composition Environments 1 Challenges of VCC Convince component developers to provide sufficient and correct meta-information about the components. Convince component developers and users to follow a single standard for describing components. Develop VCCEs that support heterogeneous component models. Represent components graphically in VCCEs. Base compositions on specific software architectures. Support components with non-deterministic behavior. March, 006 Visual Component Composition Environments 16
9 Criticism Subjectivity. Failure to justify the necessity of the framework. Invalid basis for comparison. Failure to provide adequate basis for assigning the particular scores in the Feature Analysis. Obvious errors and inconsistencies in the writing. Failure to address the challenges of VCCs/VCCEs. March, 006 Visual Component Composition Environments 17
Grid-Based Data Mining and the KNOWLEDGE GRID Framework
Grid-Based Data Mining and the KNOWLEDGE GRID Framework DOMENICO TALIA (joint work with M. Cannataro, A. Congiusta, P. Trunfio) DEIS University of Calabria ITALY talia@deis.unical.it Minneapolis, September
More informationComponent-Based Software Engineering TIP
Component-Based Software Engineering TIP X LIU, School of Computing, Napier University This chapter will present a complete picture of how to develop software systems with components and system integration.
More informationVerification and Validation
Verification and Validation Assuring that a software system meets a user's needs Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 1 Objectives To introduce software verification
More informationJ2EEML: Applying Model Driven Development to Autonomic Enterprise Java Bean Systems
J2EEML: Applying Model Driven Development to Autonomic Enterprise Java Bean Systems Jules White jules@dre.vanderbilt.edu Institute for Software Integrated Systems (ISIS) Vanderbilt University Nashville,
More informationDesign Pattern and Software Architecture: IV. Design Pattern
Design Pattern and Software Architecture: IV. Design Pattern AG Softwaretechnik Raum E 3.165 Tele.. 60-3321 hg@upb.de IV. Design Pattern IV.1 Introduction IV.2 Example: WYSIWYG Editor Lexi IV.3 Creational
More informationPart 5. Verification and Validation
Software Engineering Part 5. Verification and Validation - Verification and Validation - Software Testing Ver. 1.7 This lecture note is based on materials from Ian Sommerville 2006. Anyone can use this
More informationGraphical Editor for the Metropolis Meta-model
EE249 Project Report, Fall 2001 1 Graphical Editor for the Metropolis Meta-model Jiagen Ding (jgding@newton.berkeley.edu) Hongjing Zou (zouh@eecs.berkeley.edu) http://www-cad.eecs.berkeley.edu/ zouh/ee249project.html
More informationPetrel Studio for Reservoir Data Management Implementation to Eni Mozambique Assets. Massimo Dossola IT Advisor Eni Mozambique Engineering Ltd.
Petrel Studio for Reservoir Data Management Implementation to Eni Mozambique Assets Massimo Dossola IT Advisor Eni Mozambique Engineering Ltd. Abstract The scope of this presentation is to outline the
More informationKnowledge Discovery Services and Tools on Grids
Knowledge Discovery Services and Tools on Grids DOMENICO TALIA DEIS University of Calabria ITALY talia@deis.unical.it Symposium ISMIS 2003, Maebashi City, Japan, Oct. 29, 2003 OUTLINE Introduction Grid
More informationHigh-Fidelity analysis of software systems
High-Fidelity of software systems Dr. Nikolai Mansourov Chief Technology Officer, KDM Analytics http://www.kdmanalytics.com 5 March 2007 Agenda 1. Motivation: of security properties of existing software
More informationVisual Component Composition Using Composition Patterns
Visual Component Composition Using Composition Patterns Bart Wydaeghe 1 Wim Vanderperren 2 Vrije Universiteit Brussel Pleinlaan 2 1050 Brussel, Belgium +32 2 629 {2975 2962} {bwydaegh wvdperre}@info.vub.ac.be
More informationAvailability Management ITIL CMM Assessment Page 1 of 7
Availability anagement ITIL C Assessment Page 1 of 7 The aspects of availability management to be covered by this questionnaire are: Reliability: the capability of an IT component to perform a required
More informationComputational Web Portals. Tomasz Haupt Mississippi State University
Computational Web Portals Tomasz Haupt Mississippi State University What is a portal? Is it a web page? There is something going on behind the scene! Synopsis URL TCP/IP SSL HTTP HTTPS PKI Kerberos HTML
More informationWeb Interface to Materials Simulations
Web Interface to Materials Simulations Web Interface Generator and Legacy Application Façade Portal Development Team Funding Akos J. Czikmantory (JPL - Wiglaf) DARPA-PROM Hook Hua (JPL - Wiglaf ) JPL SRRF
More informationGRID Stream Database Managent for Scientific Applications
GRID Stream Database Managent for Scientific Applications Milena Ivanova (Koparanova) and Tore Risch IT Department, Uppsala University, Sweden Outline Motivation Stream Data Management Computational GRIDs
More informationdoor Sasa Berberovic
door Sasa Berberovic Overview Reusable Components Subsystems Reusable Components Reuse Mechanisms The Role of Testing in Reuse Reusing Test Suites Test Design Patterns Abstract Class Test Generic Class
More informationGrid Computing Systems: A Survey and Taxonomy
Grid Computing Systems: A Survey and Taxonomy Material for this lecture from: A Survey and Taxonomy of Resource Management Systems for Grid Computing Systems, K. Krauter, R. Buyya, M. Maheswaran, CS Technical
More informationArchitecture of Distributed Systems Component-based Systems
Architecture of Distributed Systems 2017-2018 Component-based Systems Original : J.J Lukkien Revision: R.H. Mak 25-Oct-17 Rudolf Mak TU/e Computer Science 2II45-CBSE Goals of this lecture Students have
More informationDraft Technical Note: FpML Validation Language Requirements
Draft Technical Note: FpML Validation Language Requirements Abstract: This document sets out the requirements for a validation constraint language for FpML. This language will be used to specify constraints
More informationA Web-Services Based Architecture for Dynamic- Service Deployment
A Web-Services Based Architecture for Dynamic- Service Deployment Christos Chrysoulas 1, Evangelos Haleplidis 1, Robert Haas 2, Spyros Denazis 1,3, Odysseas Koufopavlou 1 1 University of Patras, ECE Department,
More informationInternational Journal of Advanced Research in Computer Science and Software Engineering
Volume 3, Issue 4, April 2013 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Testing Techniques
More informationIan Sommerville 2006 Software Engineering, 8th edition. Chapter 22 Slide 1
Verification and Validation Slide 1 Objectives To introduce software verification and validation and to discuss the distinction between them To describe the program inspection process and its role in V
More informationMinsoo Ryu. College of Information and Communications Hanyang University.
Software Reuse and Component-Based Software Engineering Minsoo Ryu College of Information and Communications Hanyang University msryu@hanyang.ac.kr Software Reuse Contents Components CBSE (Component-Based
More informationWSRF Services for Composing Distributed Data Mining Applications on Grids: Functionality and Performance
WSRF Services for Composing Distributed Data Mining Applications on Grids: Functionality and Performance Domenico Talia, Paolo Trunfio, and Oreste Verta DEIS, University of Calabria Via P. Bucci 41c, 87036
More informationThe Tool Box of the System Architect
by Gerrit Muller Buskerud University College e-mail: gaudisite@gmail.com www.gaudisite.nl Abstract The toolbox of a systems architect is filled with a quite diverse collection of tools. We will discuss
More informationBuilding JavaServer Faces Applications
IBM Software Group St. Louis Java User Group Tim Saunders ITS Rational Software tim.saunders@us.ibm.com 2005 IBM Corporation Agenda JSF Vision JSF Overview IBM Rational Application Developer v6.0 Build
More informationNUSGRID a computational grid at NUS
NUSGRID a computational grid at NUS Grace Foo (SVU/Academic Computing, Computer Centre) SVU is leading an initiative to set up a campus wide computational grid prototype at NUS. The initiative arose out
More informationCollaborative Framework for Testing Web Application Vulnerabilities Using STOWS
Available Online at www.ijcsmc.com International Journal of Computer Science and Mobile Computing A Monthly Journal of Computer Science and Information Technology ISSN 2320 088X IMPACT FACTOR: 5.258 IJCSMC,
More informationCollaboration in Teams: Simulink Projects Demonstration
Collaboration in Teams: Simulink Projects Demonstration 김종헌차장 Senior Application Engineer MathWorks Korea 2011 The MathWorks, Inc. 1 Agenda Motivation 7 common technical challenges Next steps Q & A allen.kim@mathworks.com
More informationADMINISTRATIVE MANAGEMENT COLLEGE
First Semester ADMINISTRATIVE MANAGEMENT COLLEGE BACHELOR OF COMPUTER APPLICATION COURSE OUTCOME (CO) Problem solving techniques Using C CO 1: Understand the basic concepts of programming, software and
More informationObjectives. Chapter 19. Verification vs. validation. Topics covered. Static and dynamic verification. The V&V process
Objectives Chapter 19 Verification and Validation Assuring that a software system meets a user s need are to introduce software verification and validation (V&V) and to discuss the distinction between
More informationA Grid-Enabled Component Container for CORBA Lightweight Components
A Grid-Enabled Component Container for CORBA Lightweight Components Diego Sevilla 1, José M. García 1, Antonio F. Gómez 2 1 Department of Computer Engineering 2 Department of Information and Communications
More informationEvaluating OO-CASE tools: OO research meets practice
Evaluating OO-CASE tools: OO research meets practice Danny Greefhorst, Matthijs Maat, Rob Maijers {greefhorst, maat, maijers}@serc.nl Software Engineering Research Centre - SERC PO Box 424 3500 AK Utrecht
More informationA Business Aware Transaction Framework for Service Oriented Environments
A Business Aware Transaction Framework for Service Oriented Environments Benedikt Kratz M.Sc. (B.Kratz@uvt.nl) Tilburg University Infolab Ph.D. Supervisor: Prof. Dr. M.P. Papazoglou ICSOC 2005 Ph.D. Symposium
More informationReview Sources of Architecture. Why Domain-Specific?
Domain-Specific Software Architectures (DSSA) 1 Review Sources of Architecture Main sources of architecture black magic architectural visions intuition theft method Routine design vs. innovative design
More informationΗΜΥ 317 Τεχνολογία Υπολογισμού
ΗΜΥ 317 Τεχνολογία Υπολογισμού Εαρινό Εξάμηνο 2008 ΙΑΛΕΞΕΙΣ 18-19: Έλεγχος και Πιστοποίηση Λειτουργίας ΧΑΡΗΣ ΘΕΟΧΑΡΙ ΗΣ Λέκτορας ΗΜΜΥ (ttheocharides@ucy.ac.cy) [Προσαρμογή από Ian Sommerville, Software
More informationMarking Guidelines for MVK Projects. MVK11. Version 6.2 (PPD, URD, ADD, revised URD+ADD, and software demo)
Marking Guidelines for MVK Projects. MVK11 Version 6.2 (PPD, URD, ADD, revised URD+ADD, and software demo) 2012-05- 03 Final Grade formulas: MVK DD1365 Grade = PPD + URD. Bachelor s Thesis DD143X Grade
More informationIntroducing MESSIA: A Methodology of Developing Software Architectures Supporting Implementation Independence
Introducing MESSIA: A Methodology of Developing Software Architectures Supporting Implementation Independence Ratko Orlandic Department of Computer Science and Applied Math Illinois Institute of Technology
More informationPart I: Preliminaries 24
Contents Preface......................................... 15 Acknowledgements................................... 22 Part I: Preliminaries 24 1. Basics of Software Testing 25 1.1. Humans, errors, and testing.............................
More informationModel Design and Evaluation
Model Design and Evaluation The General Modeling Process YES Define Goals Compartments Systematize Add Spatial Dimension Complete? NO Formulate & Flowchart Return Return NO Complete? Deliver Implement
More informationDESIGN PATTERN - INTERVIEW QUESTIONS
DESIGN PATTERN - INTERVIEW QUESTIONS http://www.tutorialspoint.com/design_pattern/design_pattern_interview_questions.htm Copyright tutorialspoint.com Dear readers, these Design Pattern Interview Questions
More informationProduced by. Design Patterns. MSc in Communications Software. Eamonn de Leastar
Design Patterns MSc in Communications Software Produced by Eamonn de Leastar (edeleastar@wit.ie) Department of Computing, Maths & Physics Waterford Institute of Technology http://www.wit.ie http://elearning.wit.ie
More informationTrusted Components. Reuse, Contracts and Patterns. Prof. Dr. Bertrand Meyer Dr. Karine Arnout
1 Last update: 2 November 2004 Trusted Components Reuse, Contracts and Patterns Prof. Dr. Bertrand Meyer Dr. Karine Arnout 2 Lecture 5: Design patterns Agenda for today 3 Overview Benefits of patterns
More informationWiZNet Integration of different Web service Registries
WiZNet Integration of different Web service Registries Technical University of Vienna Information Systems Institute Distributed Systems Group Schahram Dustdar and Martin Treiber dustdar@infosys.tuwien.ac.at
More informationTHE GLOBUS PROJECT. White Paper. GridFTP. Universal Data Transfer for the Grid
THE GLOBUS PROJECT White Paper GridFTP Universal Data Transfer for the Grid WHITE PAPER GridFTP Universal Data Transfer for the Grid September 5, 2000 Copyright 2000, The University of Chicago and The
More informationMetaprogrammable Toolkit for Model-Integrated Computing
Metaprogrammable Toolkit for Model-Integrated Computing Akos Ledeczi, Miklos Maroti, Gabor Karsai and Greg Nordstrom Institute for Software Integrated Systems Vanderbilt University Abstract Model-Integrated
More informationIngegneria del Software II academic year: Course Web-site: [www.di.univaq.it/ingegneria2/]
Course: Ingegneria del Software II academic year: 2004-2005 Course Web-site: [www.di.univaq.it/ingegneria2/] Verification and Validation Lecturer: Henry Muccini and Vittorio Cortellessa Computer Science
More informationWorkflow, Planning and Performance Information, information, information Dr Andrew Stephen M c Gough
Workflow, Planning and Performance Information, information, information Dr Andrew Stephen M c Gough Technical Coordinator London e-science Centre Imperial College London 17 th March 2006 Outline Where
More informationJava Development and Grid Computing with the Globus Toolkit Version 3
Java Development and Grid Computing with the Globus Toolkit Version 3 Michael Brown IBM Linux Integration Center Austin, Texas Page 1 Session Introduction Who am I? mwbrown@us.ibm.com Team Leader for Americas
More informationMonitoring Grid Virtual Machine deployments
University of Victoria Faculty of Engineering Fall 2008 Work Term Report Monitoring Grid Virtual Machine deployments Department of Physics University of Victoria Victoria, BC Michael Paterson 0031209 Work
More informationPOAD Book: Chapter 4: Design Patterns as Components Chapter 5: Visual Design Models
POAD Book: Chapter 4: Design Patterns as Components Chapter 5: Visual Design Models Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU Outline Chapter 4: Design Patterns
More informationDesign of Next Generation Internet Based on Application-Oriented Networking
Design of Next Generation Internet Based on Application-Oriented Networking Yu Cheng Department of Electrical and Computer Engineering Illinois Institute of Technology Chicago, Illinois, USA cheng@iit.edu
More informationDesign Patterns. An introduction
Design Patterns An introduction Introduction Designing object-oriented software is hard, and designing reusable object-oriented software is even harder. Your design should be specific to the problem at
More informationCompiler Technology for Problem Solving on Computational Grids
Compiler Technology for Problem Solving on Computational Grids An Overview of Programming Support Research in the GrADS Project Ken Kennedy Rice University http://www.cs.rice.edu/~ken/presentations/gridcompilers.pdf
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 informationApplying the Semantic Web Layers to Access Control
J. Lopez, A. Mana, J. maria troya, and M. Yague, Applying the Semantic Web Layers to Access Control, IEEE International Workshop on Web Semantics (WebS03), pp. 622-626, 2003. NICS Lab. Publications: https://www.nics.uma.es/publications
More informationComponent-Based Software Engineering TIP
Component-Based Software Engineering TIP X LIU, School of Computing, Napier University This chapter will present a complete picture of how to develop software systems with components and system integration.
More informationCreational. Structural
Fitness for Future of Design Patterns & Architectural Styles Design patterns are difficult to teach, so we conducted a class collaboration where we all researched and reported on a variety of design patterns
More informationSequence-Based Specification
Sequence-Based Specification Tom Swain tomswain@comcast.net Specification Objectives Completeness Consistency a response is defined for every stimulus history each stimulus history maps to only one response
More informationModule 16. Software Reuse. Version 2 CSE IIT, Kharagpur
Module 16 Software Reuse Lesson 40 Reuse Approach Specific Instructional Objectives At the end of this lesson the student would be able to: Explain a scheme by which software reusable components can be
More informationGrid Computing Fall 2005 Lecture 5: Grid Architecture and Globus. Gabrielle Allen
Grid Computing 7700 Fall 2005 Lecture 5: Grid Architecture and Globus Gabrielle Allen allen@bit.csc.lsu.edu http://www.cct.lsu.edu/~gallen Concrete Example I have a source file Main.F on machine A, an
More informationRelease Notes. PREEvision. Version 6.5 SP14 English
Release Notes PREEvision Version 6.5 SP14 English Imprint Vector Informatik GmbH Ingersheimer Straße 24 70499 Stuttgart, Germany Vector reserves the right to modify any information and/or data in this
More informationISTQB Advanced Level (CTAL)
ISTQB Advanced Level (CTAL) 2012 Syllabus - Overview Mike Smith Chairman, Advanced Level Working Group (ALWG) December 2012 Contents 1 2 3 4 5 6 Introduction to ISTQB CTAL 2012: What s changed? CTAL 2012:
More informationCoML Component Markup Language. Birngruber Dietrich System Software Group Johannes Kepler University of Linz Austria / Europe
CoML Component Markup Language Birngruber Dietrich System Software Group Johannes Kepler University of Linz Austria / Europe Story of Beana and Applicato Beana is a Software Engineer she develops software
More informationA Top-Down Visual Approach to GUI development
A Top-Down Visual Approach to GUI development ROSANNA CASSINO, GENNY TORTORA, MAURIZIO TUCCI, GIULIANA VITIELLO Dipartimento di Matematica e Informatica Università di Salerno Via Ponte don Melillo 84084
More informationFORMALIZED SOFTWARE DEVELOPMENT IN AN INDUSTRIAL ENVIRONMENT
FORMALIZED SOFTWARE DEVELOPMENT IN AN INDUSTRIAL ENVIRONMENT Otthein Herzog IBM Germany, Dept. 3100 P.O.Box 80 0880 D-7000 STUTTGART, F. R. G. ABSTRACT tn the IBM Boeblingen Laboratory some software was
More informationSystem Configuration. Paul Anderson. publications/oslo-2008a-talk.pdf I V E R S I U N T Y T H
E U N I V E R S I System Configuration T H O T Y H F G Paul Anderson E D I N B U R dcspaul@ed.ac.uk http://homepages.inf.ed.ac.uk/dcspaul/ publications/oslo-2008a-talk.pdf System Configuration What is
More informationScenario-based Synthesis of Annotated Class Diagrams in UML
Scenario-based Synthesis of Annotated Class Diagrams in UML Petri Selonen and Tarja Systä Tampere University of Technology, Software Systems Laboratory, P.O.Box 553, FIN-33101 Tampere, Finland {pselonen,tsysta}@cs.tut.fi
More informationSUMMARY: MODEL DRIVEN SECURITY
SUMMARY: MODEL DRIVEN SECURITY JAN-FILIP ZAGALAK, JZAGALAK@STUDENT.ETHZ.CH Model Driven Security: From UML Models to Access Control Infrastructres David Basin, Juergen Doser, ETH Zuerich Torsten lodderstedt,
More informationNextData System of Systems Infrastructure (ND-SoS-Ina)
NextData System of Systems Infrastructure (ND-SoS-Ina) DELIVERABLE D2.3 (CINECA, CNR-IIA) - Web Portal Architecture DELIVERABLE D4.1 (CINECA, CNR-IIA) - Test Infrastructure Document identifier: D2.3 D4.1
More informationMulti-Agent Multi-Model Simulation of Smart Grids in the MS4SG Project
Multi-Agent Multi-Model Simulation of Smart Grids in the MS4SG Project J. Vaubourg, Y. Presse, B. Camus, C. Bourjot, L. Ciarletta, V. Chevrier, J.-P. Tavella and H. Morais PAAMS 3rd June 2015 2015-06-15
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 informationApplication: Programming Language Semantics
Chapter 8 Application: Programming Language Semantics Prof. Dr. K. Madlener: Specification and Verification in Higher Order Logic 527 Introduction to Programming Language Semantics Programming Language
More informationQuestion 1: What is a code walk-through, and how is it performed?
Question 1: What is a code walk-through, and how is it performed? Response: Code walk-throughs have traditionally been viewed as informal evaluations of code, but more attention is being given to this
More informationP2: Collaborations. CSE 335, Spring 2009
P2: Collaborations CSE 335, Spring 2009 Milestone #1 due by Thursday, March 19 at 11:59 p.m. Completed project due by Thursday, April 2 at 11:59 p.m. Objectives Develop an application with a graphical
More informationMarking Guidelines for MVK Projects. MVK12. Version 6.2 (PPD, URD, RURD, ADD and software demo)
Marking Guidelines for MVK Projects. MVK12 Version 6.2 (PPD, URD, RURD, ADD and software demo) 2013-02- 13 Final Grade formulas: MVK DD1365 Grade = 33% PPD + 66% URD. Bachelor s Thesis DD143X Grade = ADD
More informationDataFinder A Scientific Data Management Solution ABSTRACT
DataFinder A Scientific Data Management Solution Tobias Schlauch (1), Andreas Schreiber (2) (1) German Aerospace Center (DLR) Simulation and Software Technology Lilienthalplatz 7, D-38108 Braunschweig,
More informationVerification and Validation. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 1
Verification and Validation Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 1 Verification vs validation Verification: "Are we building the product right?. The software should
More informationCSSE 490 Model-Based Software Engineering: Transformation Systems
CSSE 490 Model-Based Software Engineering: Transformation Systems Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Plan for Today FacePamphlet Demo and Discussion
More informationOracle Application Express 5.1
Oracle Application Express 5.1 New Features [Name] [Title] December 2016 2 Agenda 1 2 3 4 5 6 7 Oracle Application Express Overview Interactive Grid Oracle JET Charts Universal Theme Productivity Improvements
More informationTowards Reusable Heterogeneous Data-Centric Disentangled Parts
Towards Reusable Heterogeneous Data-Centric Disentangled Parts Michael Reinsch and Takuo Watanabe Department of Computer Science, Graduate School of Information Science and Technology, Tokyo Institute
More informationSEARCH AND INFERENCE WITH DIAGRAMS
SEARCH AND INFERENCE WITH DIAGRAMS Michael Wollowski Rose-Hulman Institute of Technology 5500 Wabash Ave., Terre Haute, IN 47803 USA wollowski@rose-hulman.edu ABSTRACT We developed a process for presenting
More information1Z Oracle IT Architecture SOA 2013 Essentials Exam Summary Syllabus Questions
1Z0-475 Oracle IT Architecture SOA 2013 Essentials Exam Summary Syllabus Questions Table of Contents Introduction to 1Z0-475 Exam on Oracle IT Architecture SOA 2013 Essentials 2 Oracle 1Z0-475 Certification
More informationHyperFrame - A Framework for Hypermedia Authoring
HyperFrame - A Framework for Hypermedia Authoring S. Crespo, M. F. Fontoura, C. J. P. Lucena, D. Schwabe Pontificia Universidade Católica do Rio de Janeiro - Departamento de Informática Universidade do
More informationOn the Use of Peer-to-Peer Architectures for the Management of Highly Dynamic Environments
Pisa, Italy - March, 17-2006 On the Use of Peer-to-Peer Architectures for the Management of Highly Dynamic Environments Carlos Kamienski (cak@gprt.ufpe.br) Djamel Sadok (jamel@cin.ufpe.br) Joseane Fidalgo
More informationIssues raised developing
Loughborough University Institutional Repository Issues raised developing AQuRate (an authoring tool that uses the question and test interoperability version 2 specification) This item was submitted to
More informationXOTcl an Object-Oriented Scripting Language. First European Tcl/Tk User Meeting, 15/16th June 2000
XOTcl an Object-Oriented Scripting Language Gustaf Neumann Department of Information Systems Vienna University of Economics Vienna, Austria gustaf.neumann@wu-wien.ac.at Uwe Zdun Specification of Software
More informationSoftware Engineering
Software Engineering chap 4. Software Reuse 1 SuJin Choi, PhD. Sogang University Email: sujinchoi@sogang.ac.kr Slides modified, based on original slides by Ian Sommerville (Software Engineering 10 th Edition)
More informationThe SPIN Model Checker
The SPIN Model Checker Metodi di Verifica del Software Andrea Corradini Lezione 1 2013 Slides liberamente adattate da Logic Model Checking, per gentile concessione di Gerard J. Holzmann http://spinroot.com/spin/doc/course/
More informationInternational Journal for Management Science And Technology (IJMST)
Volume 4; Issue 03 Manuscript- 1 ISSN: 2320-8848 (Online) ISSN: 2321-0362 (Print) International Journal for Management Science And Technology (IJMST) GENERATION OF SOURCE CODE SUMMARY BY AUTOMATIC IDENTIFICATION
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 informationVerification and Validation. Assuring that a software system meets a user s needs. Verification vs Validation. The V & V Process
Verification and Validation Assuring that a software system meets a user s needs Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapters 19,20 Slide 1
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 informationGanga The Job Submission Tool. WeiLong Ueng
Ganga The Job Submission Tool WeiLong Ueng wlueng@twgrid.org Objectives This tutorial gives users to understand Why require Ganga in Grid environment What advantages of Ganga The Architecture of Ganga
More informationArchitectures of Distributed Systems 2011/2012
Architectures of Distributed Systems 2011/2012 Component Based Systems Johan Lukkien TU/e Computer TU/e Informatica, Science, System Architecture and Networking 1 Goals Students have an overview of motivation
More informationINSPECTOR, A ZERO CODE IDE FOR CONTROL SYSTEMS USER INTERFACE DEVELOPMENT
INSPECTOR, A ZERO CODE IDE FOR CONTROL SYSTEMS USER INTERFACE DEVELOPMENT V. Costa, B. Lefort CERN, European Organization for Nuclear Research, Geneva, Switzerland Abstract Developing operational User
More informationA Visual Tool for Supporting Developers in Ontology-based Application Integration
A Visual Tool for Supporting Developers in Ontology-based Application Integration Tobias Wieschnowsky 1 and Heiko Paulheim 2 1 SAP Research tobias.wieschnowsky@sap.com 2 Technische Universität Darmstadt
More informationMatrex Table of Contents
Matrex Table of Contents Matrex...1 What is the equivalent of a spreadsheet in Matrex?...2 Why I should use Matrex instead of a spreadsheet application?...3 Concepts...4 System architecture in the future
More informationApplication of UniTESK Technology for Functional Testing of Infrastructural Grid Software
Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software Sergey Smolov ISP RAS ssedai@ispras.ru Abstract In this article some questions of testing of infrastructural Grid
More informationEXAM PREPARATION GUIDE
When Recognition Matters EXAM PREPARATION GUIDE PECB Certified ISO 22000 Lead Auditor www.pecb.com The objective of the Certified ISO 22000 Lead Auditor examination is to ensure that the candidate has
More information