Trusted Components. or Contract-Compliant Components. Kung-Kiu Lau University of Manchester, UK
|
|
- Janice Malone
- 8 years ago
- Views:
Transcription
1 Trusted Components or Contract-Compliant Components Kung-Kiu Lau University of Manchester, UK
2 Overview Trusted Components Initiative CoLogNET: NoE in Computational Logic Trusted Components, or Contract-Compliant Components ng-kiu Lau, University of Manchester CBSEnet Workshop 03 1
3 The Trusted Components Initiative Original paper: Trusted Components for the Software Industry Bertrand Meyer, ISE Inc and Monash University (now at ETH, Zurich) Christine Mingins, Monash University Heinz Schmidt, Monash University ng-kiu Lau, University of Manchester CBSEnet Workshop 03 2
4 The Trusted Components Initiative (Continued) Aim: To provide a solid foundation for the software industry through extensive libraries of trusted reusable software components. Objective: To build trust from a combination of: Design by Contract; mathematical proofs of correctness; testing; wide public scrutiny; evaluation through metrics; exhaustive validation in practical projects; rigorous change management. ng-kiu Lau, University of Manchester CBSEnet Workshop 03 3
5 Workshop on Trusted Components 8-11 January 2003, Prato, Italy Talks: K.-K. Lau, Some Ingredients of Trusted Components L. F. Andrade, J. L. Fiadeiro, Trust: Components vs Services M. Huisman, Secure Smartcards: A component-based view Matsumoto et al., A Lightweight Formal Method for Component-Based Software using Equational Specifications M. Barnett, W. Schulte, Trust through Test J. Malenfant et al., Contract Spaces for Trusted Components N. Tran et al., Common Runtime Support for Assertions D. Deveaux, The Design for Trustability Approach K. Arnout, Extracting Implicit Contracts from.net Assemblies J. Kiniry, E. Poll, Opportunities and challenges for formal specification of Java programs ng-kiu Lau, University of Manchester CBSEnet Workshop 03 4
6 Workshop on Trusted Components (Continued) Tutorials: Bertrand Meyer, Towards a Component Quality Model Rustan Leino, Static checking module by module Kokichi Futatsugi, CafeOBJ Bertrand Meyer, Techniques for Proving Classes Panel Discussions: Specifying legal parameter values (moderator: Rustan Leino) Defining and Achieving Component Quality (moderator: Bertrand Meyer) Challenges and Perspectives for Trusted Components (moderator: Bertrand Meyer) Motto : Resolve Formal Methods and Reuse ng-kiu Lau, University of Manchester CBSEnet Workshop 03 5
7 CoLogNET: NoE in Computational Logic Workpackage on Component-based Software Development (CBD) Leader: Kung-Kiu Lau Aim: To promote the use of Computational Logic in CBD research in both industry and academia. CoLogNET CBD Workshop, Madrid, September CoLogNET-sponsored Workshop on Formal Aspects of Component Software, Pisa, September Joint CoLogNET-CBSEnet workshop, 2004? ng-kiu Lau, University of Manchester CBSEnet Workshop 03 6
8 Trusted Components Software components must be trustworthy no incentive to deploy them otherwise Trustworthiness = Contract Compliance + How When Where ng-kiu Lau, University of Manchester CBSEnet Workshop 03 7
9 Contract-Compliant Components required services contract software component provided services ng-kiu Lau, University of Manchester CBSEnet Workshop 03 8
10 Component and Contract Specification Name CONTEXT( Signature: Axioms: Constraints: ; ; ; ) Provided services Required services INTERFACE Operations: Dependencies: specifications; op1( constraints; ), op2( ), ; ; Contracts CODE Code for op1, op2, (Cf. Szyperski s definition) ng-kiu Lau, University of Manchester CBSEnet Workshop 03 9
11 CBD: A Paradigm Shift in Reasoning CBD represents a paradigm shift in software engineering Contract compliance (in all compatible contexts) should be guaranteed a priori Trust is, by definition, a priori ng-kiu Lau, University of Manchester CBSEnet Workshop 03 10
12 Predictable Assembly contract A contract compliant component A + contract B contract compliant component B? contract C? contract compliant component C ng-kiu Lau, University of Manchester CBSEnet Workshop 03 11
13 A Priori (Compositional) Reasoning Assembly prediction: A B C Interface Interface? + Code Code? Component A Component B Component C Component certification: A Interface Code + B Interface Code C Interface? Code? A Certified Component B Component C component A ng-kiu Lau, University of Manchester CBSEnet Workshop 03 12
14 A Priori (Compositional) Reasoning (Continued) Predictable assembly: A Interface Code Certified component A B + Interface Code Certified component B C Interface Code Certified component C ng-kiu Lau, University of Manchester CBSEnet Workshop 03 13
15 A Spiral Model for CBD Requirements Spec design Architectural Spec Top down Library of contract compliant components Spec (predictable) assembly Correct software yes Correct software? (predictable) assembly no verification & customisation Library of contract compliant components Bottom up ng-kiu Lau, University of Manchester CBSEnet Workshop 03 14
16 Conclusion CBD is a paradigm shift Trust in components should be established a priori Trusted Components = Contract-Compliant Components Prove once, reuse often ng-kiu Lau, University of Manchester CBSEnet Workshop 03 15
An Overview of Challenges of Component Based Software Engineering
An Overview of Challenges of Component Based Software Engineering Shabeeh Ahmad Siddiqui Sr Lecturer, Al-Ahgaff University, Yemen Abstract Nowadays there is trend of using components in development of
More informationVerification and Validation of Software Components and Component Based Software Systems
Chapter 5 29 Verification and Validation of Software Components and Component Based Christina Wallin Industrial Information Technology Software Engineering Processes ABB Corporate Research christina.wallin@mdh.se
More informationBuilt-in Contract Testing in Model-driven, Component- Based Development
Built-in Contract Testing in Model-driven, Component- Based Development Colin Atkinson 1 and Hans-Gerhard Groß 2 1 University of Kaiserslautern, AG Component Engineeering Kaiserslautern, Germany atkinson@informatik.uni-kl.de
More informationSOA CERTIFIED JAVA DEVELOPER (7 Days)
SOA CERTIFIED JAVA DEVELOPER (7 Days) To achieve this certification, the following exams must be completed with a passing grade: Exam S90.01: Fundamental SOA & Service-Oriented Computing Exam S90.02: SOA
More informationComponent Based Software Engineering: A Broad Based Model is Needed
Component Based Software Engineering: A Broad Based Model is Needed Allen Parrish (parrish@cs.ua.edu) Brandon Dixon (dixon@cs.ua.edu) David Hale (dhale@alston.cba.ua.edu) Department of Computer Science
More informationIntroduction to Functional Verification. Niels Burkhardt
Introduction to Functional Verification Overview Verification issues Verification technologies Verification approaches Universal Verification Methodology Conclusion Functional Verification issues Hardware
More informationSystems Integration: Co C mp m onent- t bas a e s d s o s ftw ft a w r a e r e ngin i eeri r n i g
Systems Integration: Component-based software engineering Objectives To explain that CBSE is concerned with developing standardised components and composing these into applications To describe components
More informationSoftware Component Specification Using Design by Contract
Software Component Specification Using Design by Contract Yi Liu and H. Conrad Cunningham Department of Computer and Information Science University of Mississippi 237 Kinard Hall University, MS 38677 USA
More informationBoogie: A Modular Reusable Verifier for Object-Oriented Programs
Boogie: A Modular Reusable Verifier for Object-Oriented Programs M. Barnett, B.E. Chang, R. DeLine, B. Jacobs, K.R.M. Leino Lorenzo Baesso ETH Zurich Motivation Abstract Domains Modular Architecture Automatic
More informationTHE EVOLUTION OF COMPONENT BASED SOFTWARE ENGINEERING FROM THE TRADITIONAL APPROACH TO CURRENT PRACTICES
International Journal of Engineering and Management Research, Vol. 2, Issue-3, JUNE 2012 ISSN No.: 2250-0758 Pages: 45-52 www.ijemr.net THE EVOLUTION OF COMPONENT BASED SOFTWARE ENGINEERING FROM THE TRADITIONAL
More informationICECCS 08/Workshop «UML&AADL 2008», April, 2, 2008
Contract-based approach to analyze software components Abdelhafid Zitouni Lionel SEINTURIER Mahmoud BOUFAIDA Laboratory LIRE LIFL-INRIA ADAM Laboratory LIRE University of Constantine University of Lille
More informationIssues in Component-Based Development: Towards Specification with ADLs
Issues in Component-Based Development: Towards Specification with ADLs Rafael GONZÁLEZ Departamento de Ingeniería de Sistemas, Universidad Javeriana Bogotá, Colombia and Miguel TORRES Departamento de Ingeniería
More informationVerifying Specifications with Proof Scores in CafeOBJ
Verifying Specifications with Proof Scores in CafeOBJ FUTATSUGI, Kokichi 二 木 厚 吉 Chair of Language Design Graduate School of Information Science Japan Advanced Institute of Science and Technology (JAIST)
More informationSoftware Engineering. Software Engineering. Component-Based. Based on Software Engineering, 7 th Edition by Ian Sommerville
Software Engineering Component-Based Software Engineering Based on Software Engineering, 7 th Edition by Ian Sommerville Objectives To explain that CBSE is concerned with developing standardised components
More information4 PSP DC : An Adaptation of the PSP to Incorporate Verified Design by Contract
4 PSP DC : An Adaptation of the PSP to Incorporate Verified Design by Contract Silvana Moreno, Universidad de la República Álvaro Tasistro, Universidad ORT Uruguay Diego Vallespir, Universidad de la República
More informationEMBEDDED SOFTWARE DEVELOPMENT: COMPONENTS AND CONTRACTS
EMBEDDED SOFTWARE DEVELOPMENT: COMPONENTS AND CONTRACTS David URTING, Stefan VAN BAELEN, Tom HOLVOET and Yolande BERBERS {David.Urting, Stefan.VanBaelen, Tom.Holvoet, Yolande.Berbers}@cs.kuleuven.ac.be
More informationDependable (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
More informationDepartment of Computing Science and Mathematics University of Stirling
Department of Computing Science and Mathematics University of Stirling Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors Thomas Wilson, Savi Maharaj, Robert G.
More informationTRADITIONAL VS MODERN SOFTWARE ENGINEERING MODELS: A REVIEW
Year 2014, Vol. 1, issue 1, pp. 49-56 Available online at: http://journal.iecuniversity.com TRADITIONAL VS MODERN SOFTWARE ENGINEERING MODELS: A REVIEW Singh RANDEEP a*, Rathee AMIT b a* Department of
More informationHow To Write Software
Overview of Software Engineering Principles 1 Software Engineering in a Nutshell Development of software systems whose size/ complexity warrants a team or teams of engineers multi-person construction of
More informationA CLOUD SERVICE BROKER WITH LEGAL-RULE COMPLIANCE CHECKING AND QUALITY ASSURANCE CAPABILITIES
A CLOUD SERVICE BROKER WITH LEGAL-RULE COMPLIANCE CHECKING AND QUALITY ASSURANCE CAPABILITIES Cloud Forward 2015 7 October, 2015 Pisa, Scuola Normale Superiore Emiliano Casalicchio*, University of Rome
More informationLecture Objectives. Software Life Cycle. Software Engineering Layers. Software Process. Common Process Framework. Umbrella Activities
Software Life Cycle Lecture Objectives What happens in the life of software To look at the life cycle of a software To understand the software process and its related elements To relate to the different
More informationSOA Architect Certification Self-Study Kit Bundle
SOA Architect Certification Bundle A Certified SOA Architect has demonstrated proficiency in the mechanics of serviceoriented computing through the mastery of patterns, principles, practices, and industry
More informationDesign by Contract beyond class modelling
Design by Contract beyond class modelling Introduction Design by Contract (DbC) or Programming by Contract is an approach to designing software. It says that designers should define precise and verifiable
More informationOverview Component-based Software Engineering State of the Art Report
Overview Component-based Software Engineering State of the Art Report Ivica Crnkovic 1, Magnus Larsson 2 1 Mälardalen University, Department of Computer Engineering, 721 23 Västerås, Sweden, Ivica.Crnkovic@mdh.se
More informationSOA CERTIFIED CONSULTANT
SOA CERTIFIED CONSULTANT (5 Days) A Certified SOA Consultant is required to obtain proficiency in a cross-section of key SOA topic areas, including both conceptual and technical aspects of service-oriented
More informationLanguage for reconfiguring runtime infrastructure of component-based systems
Language for reconfiguring runtime infrastructure of component-based systems Michal Malohlava, Tomáš Bureš DISTRIBUTED SYSTEMS RESEARCH GROUP http://dsrg.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE FACULTY
More informationComponent-Oriented Engineering
Component-Oriented Engineering... the dawn of a new era in embedded software development productivity Francis Bordeleau and Ross MacLeod Zeligsoft May 2008 Component-Oriented Engineering the dawn of a
More informationRigorous Methods for Software Engineering (F21RS1) High Integrity Software Development
Rigorous Methods for Software Engineering (F21RS1) High Integrity Software Development Andrew Ireland Department of Computer Science School of Mathematical and Computer Sciences Heriot-Watt University
More informationComponent Based Development in Software Engineering
Component Based Development in Software Engineering Amandeep Bakshi, Rupinder Singh Abstract--In today s world, Component Based development is an active research area for more than a decade in software
More informationIntroduction to Formal Methods. Các Phương Pháp Hình Thức Cho Phát Triển Phần Mềm
Introduction to Formal Methods Các Phương Pháp Hình Thức Cho Phát Triển Phần Mềm Outline Introduction Formal Specification Formal Verification Model Checking Theorem Proving Introduction Good papers to
More informationSoftware Processes. The software process. Generic software process models. Waterfall model. Waterfall model phases
Software Processes CSC 221 Introduction to Software Engineering software processes extract from Sommerville s chapter 3 slides Alan Dix Coherent sets of activities for specifying, designing, implementing
More informationOUR COURSES 19 November 2015. All prices are per person in Swedish Krona. Solid Beans AB Kungsgatan 32 411 19 Göteborg Sweden
OUR COURSES 19 November 2015 Solid Beans AB Kungsgatan 32 411 19 Göteborg Sweden Java for beginners JavaEE EJB 3.1 JSF (Java Server Faces) PrimeFaces Spring Core Spring Advanced Maven One day intensive
More informationElite: A New Component-Based Software Development Model
Elite: A New Component-Based Software Development Model Lata Nautiyal Umesh Kumar Tiwari Sushil Chandra Dimri Shivani Bahuguna Assistant Professor- Assistant Professor- Professor- Assistant Professor-
More informationFederal Enterprise Architecture and Service-Oriented Architecture
Federal Enterprise Architecture and Service-Oriented Architecture Concepts and Synergies Melvin Greer Chief Strategist, SOA / Cloud Computing Certified Enterprise Architect Copyright August 19, 2010 2010
More information7 Component-based Development Process and Component Lifecycle
7 Component-based Development Process and Component Lifecycle The process of component and component-based system development differs in many significant ways from the classical development process of
More informationSoftware Engineering Introduction & Background. Complaints. General Problems. Department of Computer Science Kent State University
Software Engineering Introduction & Background Department of Computer Science Kent State University Complaints Software production is often done by amateurs Software development is done by tinkering or
More informationSoftware Engineering/Courses Description Introduction to Software Engineering Credit Hours: 3 Prerequisite: 0306211(Computer Programming 2).
0305203 0305280 0305301 0305302 Software Engineering/Courses Description Introduction to Software Engineering Prerequisite: 0306211(Computer Programming 2). This course introduces students to the problems
More informationEngineering a EIA - 632
es for Engineering a System EIA - 632 SE Tutorial es for Engr Sys - 1 Fundamental es for Engineering a System Acquisition and Supply Supply Acquisition es for Engineering A System Technical Management
More informationCHAPTERS A NEW KNOT MODEL FOR COMPONENT BASED SOFTWARE DEVELOPMENT
CHAPTERS A NEW KNOT MODEL FOR COMPONENT BASED SOFTWARE DEVELOPMENT CONTENTS 5.1 Introduction 5.2 Component based software life cycle process model 5.2.1 Rapid Application Development Model 5.2.2 The Y
More informationSoftware as a Service (SaaS) Online HR
Software as a Service (SaaS) Online HR Contents Service Definition... 3 An overview of the G-Cloud Service... 3 Key Service Attributes... 4 Information assurance... 4 Details of the level of backup/restore
More informationNetBeans IDE Field Guide
NetBeans IDE Field Guide Copyright 2005 Sun Microsystems, Inc. All rights reserved. Table of Contents Introduction to J2EE Development in NetBeans IDE...1 Configuring the IDE for J2EE Development...2 Getting
More informationCOMPONENT BEHAVIOR MODELING
UNIVERSITY OF ZAGREB FACULTY OF ELECTRICAL ENGINEERING AND COMPUTING THESIS no. 1677 COMPONENT BEHAVIOR MODELING Ivan Ferdelja Zagreb, May 2009. Table of contents: 1. Introduction... 3 2. Overview of CBSE...
More informationObject-Oriented Systems Analysis and Design
Object-Oriented Systems Analysis and Design Noushin Ashrafi Professor of Information System University of Massachusetts-Boston Hessam Ashrafi Software Architect Pearson Education International CONTENTS
More informationA Configuration Management Model for Software Product Line
A Configuration Management Model for Software Product Line Liguo Yu 1 and Srini Ramaswamy 2 1 Computer Science and Informatics Indiana University South Bend South Bend, IN 46634, USA ligyu@iusb.edu 2 Computer
More informationCLOUD SUPPORT COMPONENT: CASE STUDY BASED ON ENCAPSULATED COMPONENT MODEL
CLOUD SUPPORT COMPONENT: CASE STUDY BASED ON ENCAPSULATED COMPONENT MODEL A dissertation submitted to The University of Manchester for the degree of Master of Science in the Faculty of Engineering and
More informationWebSphere Business Modeler
Discovering the Value of SOA WebSphere Process Integration WebSphere Business Modeler Workshop SOA on your terms and our expertise Soudabeh Javadi Consulting Technical Sales Support WebSphere Process Integration
More informationExcerpts from Chapter 4, Architectural Modeling -- UML for Mere Mortals by Eric J. Naiburg and Robert A. Maksimchuk
Excerpts from Chapter 4, Architectural Modeling -- UML for Mere Mortals by Eric J. Naiburg and Robert A. Maksimchuk Physical Architecture As stated earlier, architecture can be defined at both a logical
More informationService Virtualization andRecycling
Message Driven SOA -- Enterprise Service Oriented Architecture Service virtualization and component applications Driving reusability and ROI in SOA deployments --- Atul Saini Entire contents Fiorano Software
More informationSAP Web Application Server 6.30: Learning Map for Development Consultants
SAP Web Application Server 6.30: Learning Map for Development Consultants RECENT UPDATES VIEWER SOFTWARE SEARCH Step 1: Learn What You Need Update your core competence - must know Step 2: Prepare for Your
More informationRecent Developments on Algebraic Specification and Verification in CafeOBJ
Recent Developments on Algebraic Specification and Verification in CafeOBJ FUTATSUGI,Kokichi Japan Advanced Institute of Science and Technokogy DCIT 2015, Wuhan, China 16 November 2015 1 / 29 An Important
More informationIntroducing Formal Methods. Software Engineering and Formal Methods
Introducing Formal Methods Formal Methods for Software Specification and Analysis: An Overview 1 Software Engineering and Formal Methods Every Software engineering methodology is based on a recommended
More informationRelease & Deployment Management
1. Does the tool facilitate the management of the full lifecycle of Release and Deployment Management? For example, planning, building, testing, quality assurance, scheduling and deployment? Comments:
More informationSoftware Life Cycle Processes
Software Life Cycle Processes Objective: Establish a work plan to coordinate effectively a set of tasks. Improves software quality. Allows us to manage projects more easily. Status of projects is more
More informationComponent Based Development Methods - comparison
Component Based Development Methods - comparison Dan Laurenţiu Jişa Abstract: This paper realizes a comparison among three of the best known component based development methods, emphazing on the earlier
More informationService Oriented Architecture Professional (SOACP)
Service Oriented Architecture Professional (SOACP) Training Programme The roots of service-orientation can be traced back to the early days of modern computing. It took several years for Service Oriented
More informationOpen Source egovernment Reference Architecture Osera.modeldriven.org. Copyright 2006 Data Access Technologies, Inc. Slide 1
Open Source egovernment Reference Architecture Osera.modeldriven.org Slide 1 Caveat OsEra and the Semantic Core is work in progress, not a ready to use capability Slide 2 OsEra What we will cover OsEra
More informationArchitecture-based QoS Prediction for Service-oriented Computing
Architecture-based QoS Prediction for Service-oriented Computing Vincenzo Grassi, Raffaela Mirandola, Italy QoS Workshop, Roma, 9-0/6/2004 Service-oriented Computing emerging paradigm for designing, architecting
More informationVDM vs. Programming Language Extensions or their Integration
VDM vs. Programming Language Extensions or their Integration Alexander A. Koptelov and Alexander K. Petrenko Institute for System Programming of Russian Academy of Sciences (ISPRAS), B. Communisticheskaya,
More informationEffectively Using JML
Effectively Using JML Software Engineering Processes incorporating Formal Specification Joseph Kiniry University College Dublin Software Engineering Processes old-school processes CRC and state-chart based
More informationMonitoring Java Code Using ConGu
Monitoring Java Code Using ConGu V.T. Vasconcelos, I. Nunes, A. Lopes, N. Ramiro, P. Crispim Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa 1749 016 Lisboa, Portugal Abstract
More informationCBM SOMA - SCA. Techniques and Standards to Increase Business and IT Flexibility. Jouko Poutanen Senior IT Architect, IBM Software Group
CBM SOMA - SCA Techniques and Standards to Increase and IT Flexibility Jouko Poutanen Senior IT Architect, IBM Software Group 2008 IBM Corporation Agenda Component Modeling (CBM) Drivers: specialization,
More informationCOMPONENTS IN MILITARY IT
Technical Sciences 373 REUSABLE INTEROPERABILITY COMPONENTS IN MILITARY IT Sandor MUNK munk.sandor@uni-nke.hu National University of Public Service, Budapest, Hungary ABSTRACT In our days the range of
More informationProtect Your Organization With the Certification That Maps to a Master s-level Education in Software Assurance
Protect Your Organization With the Certification That Maps to a Master s-level Education in Software Assurance Sponsored by the U.S. Department of Homeland Security (DHS), the Software Engineering Institute
More informationCase Studies of Running the Platform. NetBeans UML Servlet JSP GlassFish EJB
September Case Studies of Running the Platform NetBeans UML Servlet JSP GlassFish EJB In this project we display in the browser the Hello World, Everyone! message created in the session bean with servlets
More informationHow to choose courses at the University of Greenwich. Erasmus and Study Abroad Guide. Your Top 10 Questions Answered
How to choose courses at the University of Greenwich Erasmus and Study Abroad Guide Your Top 10 Questions Answered 1. Where do I start? All Schools at Greenwich offer classes for study abroad and Erasmus
More informationCommon Criteria For Information Technology Security Evaluation
Security Characterisation and Integrity Assurance for Software Components and Component-Based Systems Jun Han and Yuliang Zheng Peninsula School of Computing and Information Technology Monash University,
More informationApplying Configuration Management Techniques to Component-Based Systems
IT Licentiate thesis 2-7 MRTC Report /24 Applying Configuration Management Techniques to Component-Based Systems MAGNUS LARSSON UPPSALA UNIVERSITY Department of Information Technology Applying Configuration
More informationIBM WebSphere E i r c c V e V r e b r ee e k
IBM WebSphere Eric Verbeek Goals SCA Monitor / Department of Mathematics and Computer Science 3-4-2009 PAGE 1 Thanks Maurits André IBM Amsterdam Peter Leijten Master Student Student SOA Lab / Department
More informationDefinition of a Software Component and Its Elements
I' Chapter 1 Definition of a Software Component and Its Elements Bill Councill George T. Heineman 1.1 Introduction The goal of this chapter is to rigorously define terms that describe the best practices
More informationImplementing a Bidirectional Model Transformation Language as an Internal DSL in Scala
Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala BX 14: 3rd International Workshop on Bidirectional Transformations @EDBT/ICDT 14, Athens, Greece Arif Wider Humboldt-University
More informationFuture Internet Architecture
Future Internet Architecture Test der PP-Präsentation & Cloud Computing: A Service-Oriented approach. Wie können die Folien verbessert werden? Paul Mueller FIA Panel: Future Internet Architectures Poznan
More informationTrends in Embedded Software Engineering
Trends in Embedded Software Engineering Prof. Dr. Wolfgang Pree Department of Computer Science Universität Salzburg cs.uni-salzburg.at MoDECS.cc PREEtec.com Contents Why focus on embedded software? Better
More informationRelease and Deployment Management Software
( Bron: ITG, Integration Technologies Group; zie ook blz 13) (Service Transition) Release and Deployment Management Software 1. Does the tool facilitate the management of the full lifecycle of Release
More informationCS 389 Software Engineering. Lecture 2 Chapter 2 Software Processes. Adapted from: Chap 1. Sommerville 9 th ed. Chap 1. Pressman 6 th ed.
CS 389 Software Engineering Lecture 2 Chapter 2 Software Processes Adapted from: Chap 1. Sommerville 9 th ed. Chap 1. Pressman 6 th ed. Topics covered Software process models Process activities Coping
More informationR&D and Topcased (led by Silvia Mazzini)
R&D and Topcased (led by Silvia Mazzini) 1 System and software engineering Study and experimentation of system and software engineering innovative techniques One of the Intecs main capacities acquired
More informationDatabase Scheme Configuration for a Product Line of MPC-TOOLS
Database Scheme Configuration for a Product Line of MPC-TOOLS Benjamin Klöpper, Tobias Rust, Bernhard Vedder, and Wilhelm Dangelmaier Heinz Nixdorf Institute, University of Paderborn, Fürstenallee 11,
More informationA SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT
A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT Cléver Ricardo Guareis de Farias, Marten van Sinderen and Luís Ferreira Pires Centre for Telematics and Information Technology (CTIT) PO Box
More informationWhat is a life cycle model?
What is a life cycle model? Framework under which a software product is going to be developed. Defines the phases that the product under development will go through. Identifies activities involved in each
More informationExample Software Development Process.
Example Software Development Process. The example software development process is shown in Figure A. The boxes represent the software development process kernels. The Software Unit Testing, Software Component
More informationSoftware 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
More informationSoftware Engineering 2014-15
Software Engineering 2014-15 Theme leader Kung-Kiu Lau Today s presenter John Sargeant Course Units: ACS: Software Engineering COMP61511 Software Engineering Overview ( Overview ) COMP61521 Component-based
More informationModel-Based Quality Assurance of The SMB2 Protocol Documentation
Model-Based Quality Assurance of The SMB2 Protocol Documentation Wolfgang Grieskamp Architect, Protocol Engineering Team, Microsoft Corporation Microsoft Part of the company s interoperability initiative
More informationUnderstanding Service-Orientation Part II: The Principles
by Raj Balasubramanian, Enterprise IT Architect for IBM Software Group, Benjamin Carlyle, Architect in the Rail industry, Cesare Pautasso Assistant professor in the new Faculty of Informatics at the University
More informationImproving the Certification and Accreditation Process for DII COE Based Systems
Ground Station Architectures Workshop 2001 Improving the Certification and Process for Based Systems February 21, 2001 Trusted Computer Systems Department Stuart Schaeffer stuart@aero aero.org 2001, The
More informationCOMPONENT+ BUILT-IN TESTING A TECHNOLOGY FOR TESTING SOFTWARE COMPONENTS 1
COMPONENT+ BUILT-IN TESTING A TECHNOLOGY FOR TESTING SOFTWARE COMPONENTS 1 Mariusz Momotko, Lilianna Zalewska Rodan Systems S.A. (Mariusz.Momotko, Lilianna.Zalewska}@rodan.pl Abstract. How to test interaction
More informationQuestions? Assignment. Techniques for Gathering Requirements. Gathering and Analysing Requirements
Questions? Assignment Why is proper project management important? What is goal of domain analysis? What is the difference between functional and non- functional requirements? Why is it important for requirements
More informationCMSC 435: Software Engineering Course overview. Topics covered today
CMSC 435: Software Engineering Course overview CMSC 435-1 Topics covered today Course requirements FAQs about software engineering Professional and ethical responsibility CMSC 435-2 Course Objectives To
More informationComponent-based Development Process and Component Lifecycle Ivica Crnkovic 1, Stig Larsson 2, Michel Chaudron 3
Component-based Development Process and Component Lifecycle Ivica Crnkovic 1, Stig Larsson 2, Michel Chaudron 3 1 Mälardalen University, Västerås, Sweden, ivica.crnkovic@mdh.se 2 ABB Corporate Research,
More informationDistributed Objects and Components
Distributed Objects and Components Introduction This essay will identify the differences between objects and components and what it means for a component to be distributed. It will also examine the Java
More informationBest Practices for Verification, Validation, and Test in Model- Based Design
2008-01-1469 Best Practices for Verification, Validation, and in Model- Based Design Copyright 2008 The MathWorks, Inc. Brett Murphy, Amory Wakefield, and Jon Friedman The MathWorks, Inc. ABSTRACT Model-Based
More informationComponent-Based and Service-Oriented Software Engineering: Key Concepts and Principles
Component-Based and Service-Oriented Software Engineering: Key Concepts and Principles Hongyu Pei Breivold, Magnus Larsson ABB AB, Corporate Research, 721 78 Västerås, Sweden {hongyu.pei-breivold, magnus.larsson}@se.abb.com
More informationThe QlikView deployment framework
Technical Brief The QlikView deployment framework January, 2014 Table of Contents Introduction 2 Who is this document for? 2 The QlikView deployment framework 3 A sample QDF setup 4 What s included in
More informationSOA and BPO SOA orchestration with flow. Jason Huggins Subject Matter Expert - Uniface
SOA and BPO SOA orchestration with flow Jason Huggins Subject Matter Expert - Uniface Objectives Define SOA Adopting SOA Business Process Orchestration Service Oriented Architecture Business Level Componentisation
More informationDynamic Adaptability of Services in Enterprise JavaBeans Architecture
1. Introduction Dynamic Adaptability of Services in Enterprise JavaBeans Architecture Zahi Jarir *, Pierre-Charles David **, Thomas Ledoux ** zahijarir@ucam.ac.ma, {pcdavid, ledoux}@emn.fr (*) Faculté
More informationIndustrial 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
More informationSoftware Components and COTS in Software System Development
Chapter 15 59 Software Components and COTS in Software System Development Joakim Fröberg Department of Computer Science Mälardalen University Västerås, Sweden joakim.froberg@mdh.se Abstract: The component-based
More informationRigorous Software Development CSCI-GA 3033-009
Rigorous Software Development CSCI-GA 3033-009 Instructor: Thomas Wies Spring 2013 Lecture 5 Disclaimer. These notes are derived from notes originally developed by Joseph Kiniry, Gary Leavens, Erik Poll,
More informationDecomposition 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
More informationExplicit Connectors in Component Based Software Engineering for Distributed Embedded Systems. Dietmar Schreiner and Karl M.
Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems Dietmar Schreiner and Karl M. Göschka Vienna University of Technology Institute of Information Systems, Distributed
More information