Seminar Model-Based Quality Engineering
|
|
- Irene Arnold
- 6 years ago
- Views:
Transcription
1 Seminar Model-Based Quality Engineering Jun.-Prof. Dr.-Ing. Steffen Becker Model-Driven Software Engineering Software Engineering Group WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
2 Outline Basic Requirements Preliminary Dates Seminar Guidelines Presentation of the Topics WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
3 Basic Requirements Completion of a seminar thesis in English (approx. 20 pages written in LaTeX) Design and run a presentation Presentation is 20 min, to be held in a block seminar (presumably between ) Internal peer-review among the students, but also review by your supervisor WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
4 Preliminary Dates Tu, , 16:00: Topic presentation We, , 16:30: Final topic assignment, introduction to scientific working The following dates have their deadline 23:59 MEZ: Su, : Outline and literature references (student) Su, : Seminar thesis for review (student) Tu, : Assignment of peer reviews (supervisors) Su, : Completed peer-review (student) Su, : Presentation for supervisor feedback (student) Su, : Supervisor feedback: presentation (supervisors) Su, : Camera-ready version of thesis (student) Su, : Supervisor feedback: thesis (supervisors) Su, : Final hand-in of thesis (student) Presentations (block seminar): WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
5 Seminar Guidelines Wednesday, , 16:30 in room ZM : Final topic assignment and seminar rules Participation is mandatory Rules to create thesis and presentations Next week Use templates introduced next week for LaTeX and Powerpoint WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
6 Topic Selection We will use a Doodle poll with three options: yes, maybe, no We try to minimize conflicts Final conflict resolution is First-Come, First-Served Poll will be opened tomorrow morning We have 12 topics Topics will be assigned with priorities according to a random shuffled order of all registered participants WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
7 Motivation for the Seminar WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
8 Model-Based Quality Engineering Model-Based Models are not central, but second-class artefacts Models typically serve for analyses and documentation purposes Quality Engineering Internal, external or process quality Is achieved by analyzing models upfront Constructive Quality Assurance WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
9 Topics WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
10 1. Model Driven Testing and Gamification Model Driven Testing: tedious, timecomsuming Game: interesting, engaging Gamification: the use of game design elements in non-game context Your task: Investigate charaterics of model-driven testing and gamification Propose potential scenarios in which gamification could help with model driven testing Literature: Webb, Erika Noll. "Gamification: When It Works, When It Doesn t." Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience. Springer Berlin Heidelberg, Mussa, Mohamed, et al. "A survey of model-driven testing techniques." Quality Software, QSIC'09. 9th International Conference on. IEEE, Supervisor: Jinying Yu WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
11 2. QoS and Software Adaptability Quality-of-Service (QoS), e.g. response time, depends on workload & software design Adapting software design at runtime helps to ensure QoS level Problem: Which adaptations help to maintain QoS level? How to build systems that maintain QoS levels autonomously? Your task: Research influence of software adaptations on QoS Literature: D. Perez-Palacin, R. Mirandola, J. Merseguer: On the relationships between QoS and software adaptability at the architectural level. In: Journal of Systems and Software, Elsevier, Supervisor: Matthias Becker WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
12 3. Specification and Matching of Service Prices Service matching compares service requests to provided service specifications in order to enable service discovery and service composition < 50? Heinz Nixdorf Institut, Universität Paderborn Functional and non-functional properties have to match, including service prices (e.g., single use price vs. price-per-hour, ) complex price models Literature (starting point for your literature search): Kiemes, Oberle: "Service Pricing in Handbook of Service Description. Springer 2012 Further Literature (address the topic marginally): Overhage: "UnSCom: a standardized framework for the specification of software components" in Object- Oriented and Internet-Based Technologies. Springer Berlin Heidelberg, Küster et al.: "Diane: an integrated approach to automated service discovery, matchmaking and composition" in Proceedings of the 16th international conference on World Wide Web. ACM, Foster et al.: "Model-based verification of web service compositions" in Automated Software Engineering Proceedings. 18th IEEE International Conference on. IEEE, Goal of the Seminar: Compare different approaches for specification / matching of service prices Supervisor: Marie Christin Platenius
13 4. Survey: Performance Requirements Performance requirements are often imprecise Software projects fail because of performance issues Problem: What are (good) performance requirements? How to specify them? How to ensure them? Your task: Conduct Literature Review for Performance Requirements Elicitation Methods Literature: Wohlrab et al.: PROPRE: a method for Practice Oriented Performance Requirement Engineering, ICSE 14, ACM, 2014 (draft) Supervisor: Matthias Becker WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
14 5. Synthesis of Components from Distributed Live Sequence Charts (dlscs) Synthesis derives an implementation from a specification Here: dlscs Petri-Net Components Live Sequence Charts: formal variant of sequence diagrams Goal of the Seminar: Understand the approach by Fahland and Kantor Identify assumptions and limitations Literature: Dirk Fahland and Amir Kantor Synthesizing Decentralized Components from a Variant of Live Sequence Charts. In Modelsward INSTICC, Yves Bontemps, Patrick Heymans, and Pierre-Yves Schobbens From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Softw. Eng. 31, 12 (December 2005), Supervisor: Christian Brenner WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
15 6. Domain-specific Model Checking for Mechatronic Systems with UPPAAL PORT Mechatronic systems require exhaustive verification Problem: huge gap between domain-specific design and model checkers UPPAAL PORT is an approach towards domain-specific model checking Your tasks: Compare UPPAAL PORT to MECHATRONICUML Assess PORT s applicability to networked mechatronic systems Feasibility analysis: model checking MECHATRONICUML with PORT? Supervisor: Christopher Gerking Literature: John Håkansson et al.: Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. In: 6th Int. Symp. on Automated Technology for Verification and Analysis. WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
16 7. Performance Engineering for Multi-Core Systems Multi- and Many-Core: > 10 cores even in consumer devices However, old software uses often just 1-2 cores Major reengineering tasks need to be done Your task: Investigate multi-core software engineering challenges Create a recent survey of reengineering approaches for multi-core systems Literature: Victor Pankratius, Christoph Schaefer, Ali Jannesari, and Walter F. Tichy Software engineering for multicore systems: an experience report. In Proceedings of the 1st international workshop on Multicore software engineering (IWMSE '08). ACM, New York, NY, USA, Supervisor: Steffen Becker WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
17 8. Agile Model Driven Web Engineering Model Driven Web Engineering facilitates portability, abstraction and productivity Agile Approach provides constant interaction with customers and enhances former prototypes continuously Goals of the Seminar: Understand both Agile approach and model driven web engineering approach Identify existing hybrid approaches Literature: Ambler, Scott W. "Agile model driven development is good enough." Software, IEEE 20.5 (2003): Moreno, Nathalie, José Raúl Romero, and Antonio Vallecillo. "An overview of model-driven Web engineering and the MDA." Web Engineering: Modelling and Implementing Web Applications. Springer London, Rivero, José Matías, et al. "Towards agile model-driven web engineering." IS Olympics: Information Systems in a Diverse World. Springer Berlin Heidelberg, Supervisor: Jinying Yu WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
18 9. Modelling Architectural Decisions Mostly documented as plain text, sometimes little illustrations difficult to comprehend, analyse, verify and ensure completeness and consistency Solution: graphical model Your task: Present architecture evolution approach and compare with existing architecture decision making approaches Literature: Marcin Szlenk, Andrzej Zalewski, and Szymon Kijas Modelling Architectural Decisions under Changing Requirements. In Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA-ECSA '12). IEEE Computer Society, Washington, DC, USA, WICSA-ECSA Supervisor: Claudia Priesterjahn Fraunhofer IPT / Heinz Nixdorf Institut Folie 18
19 10. Software Architecture Erosion Usually code gets large -> growing deviations from intended design, because of changing requirements Erosion: software gets hard to test, comprehend, and extend Need to control erosion Your task: Present foundations on software erosion Compare methods presented in paper due to most important capabilities Present methods selected by your own criteria Literature: Lakshitha de Silva, Dharini Balasubramaniam, Controlling software architecture erosion: A survey, Journal of Systems and Software, Volume 85, Issue 1, 2012, von Detten, Markus; Platenius, Marie Christin; Becker, Steffen: Reengineering Component-Based Software Systems with Archimetrix. Journal of Software and Systems Modeling 2013 Supervisor: Claudia Priesterjahn Fraunhofer IPT / Heinz Nixdorf Institut Folie 19
20 11. Assessing the Quality of Model-to- Model Transformations Model transformation is core enabling technology for MDSE Problem: No established engineering methods for developing M2M transformations Which transformation technology to use? Quality of the implemented transformation? Your tasks: Systematic literature overview Comparison of existing quality assessment approaches Towards an engineering approach for M2M based on quality assessment Supervisor: Sebastian Lehrig, Jan Rieke Literature: M. F. van Amstel: Assessing and Improving the Quality of Model Transformations. PhD thesis, 2011 S. Lehrig: Assessing the Quality of Model-to-Model Transformations Based on Scenarios, Master s Thesis, 2012 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
21 12. Modeling the Cloud Cloud Compu)ng: On- demand access to compu)ng resources Pay- per- use price model Modeling approaches are emerging Goals of the Seminar: à Analyze given approaches, find other approaches, and compare Star)ng Points: hbp:// hbp:// compu)ng/cloud- compu)ng- management/ hbp:// plagorm.aspx hbp:// hbp://aws.amazon.com/de/cloudforma)on/ Supervisor: Sebas)an Lehrig WS13/14, Seminar Model- Based Quality Engineering - Jun.- Prof. S. Becker 21
22 13. Using the OPC UA Information Model for MechatronicUML MechatronicUML supports a complex software component model OPC UA provides a specification for data exchange in industrial automation Your task: Study the MechatronicUML Component Model and the OPC UA Information Model Create a relation of MechatronicUML Component Model with an instance of the OPC UA Information Model Literature: MAHNKE, WOLFGANG ; LEITNER, STEFAN-HELMUT ; DAMM, MATTHIAS: OPC Unified Architecture. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 ISBN BECKER, S ; BRENNER, C ; BRINK, C ; DZIWOK, S ; LÖFFLER, R ; HEINZEMANN, C ; POHLMANN, U ; SCHÄFER, W ; SUCK, J ; ET AL.: The MechatronicUML Design Method - Process, Syntax, and Semantics, 2012 Supervisor: Uwe Pohlmann WS12/13, Seminar CloudComputing and Services - Jun.-Prof. S. Becker
23 14. Timing Requirements in Automotive Systems Two architecture languages for automotive systems Allow to specify model-based timing requirements for automotive systems on different abstraction levels Goal of the seminar understand overall methodology investigate, how timing requirements are refined across hierarchy levels how they relate to functional requirements Literature TIMMO Project: TADL: Timing Augmented Description Language Version 2 EAST-ADL Consortium: Specification EAST-ADL V AUTOSAR: Specification of Timing Extensions download/r4.1/autosar_tps_timingextensions.pdf Supervisor: Jörg Holtmann conceptpresentations/maenad_timing_2011.pdf EAST-ADL Timing Requirements/ AUTOSAR Timing Extensions WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
Proseminar. (with Eclipse) Jun.-Prof. Dr.-Ing. Steffen Becker. Model-Driven Software Engineering. Software Engineering Group
Proseminar Model-Driven Software Engineering (with Eclipse) Jun.-Prof. Dr.-Ing. Steffen Becker Model-Driven Software Engineering Software Engineering Group 1 Outline Basic Requirements Preliminary Dates
More informationMANAGEMENT OF CROSS-DOMAIN MODEL CONSISTENCY FOR BEHAVIORAL MODELS OF MECHATRONIC SYSTEMS
INTERNATIONAL DESIGN CONFERENCE - DESIGN 2012 Dubrovnik - Croatia, May 21-24, 2012. MANAGEMENT OF CROSS-DOMAIN MODEL CONSISTENCY FOR BEHAVIORAL MODELS OF MECHATRONIC SYSTEMS J. Rieke, R. Dorociak, O. Sudmann,
More informationFine-grained Software Version Control Based on a Program s Abstract Syntax Tree
Master Thesis Description and Schedule Fine-grained Software Version Control Based on a Program s Abstract Syntax Tree Martin Otth Supervisors: Prof. Dr. Peter Müller Dimitar Asenov Chair of Programming
More informationSystematic Literature Review of Architecture Recovery through Dynamic Analysis
Systematic Literature Review of Architecture Recovery through Dynamic Analysis Leonardo Humberto Silva May 2014 Agenda Introduction Research question The need for a review Developing the SLR protocol Conducting
More informationCompositional Model Based Software Development
Compositional Model Based Software Development Prof. Dr. Bernhard Rumpe http://www.se-rwth.de/ Seite 2 Our Working Groups and Topics Automotive / Robotics Autonomous driving Functional architecture Variability
More informationReal-Time Coordination Patterns for Advanced Mechatronic Systems
Real-Time Coordination Patterns for Advanced Mechatronic Systems Stefan Dziwok 1, Christian Heinzemann 1, and Matthias Tichy 2 1 Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn,
More informationEvaluation of Commercial Web Engineering Processes
Evaluation of Commercial Web Engineering Processes Andrew McDonald and Ray Welland Department of Computing Science, University of Glasgow, Glasgow, Scotland. G12 8QQ. {andrew, ray}@dcs.gla.ac.uk, http://www.dcs.gla.ac.uk/
More informationSketch-based Metamodel Construction. Research Internship II Lucas Heer
Sketch-based Metamodel Construction Research Internship II Lucas Heer lucas.heer@student.uantwerpen.be 31.01.2018 Motivation 2 Motivation 3 Solution What if we start from instance models? 4 Solution 5
More informationPACO: Paderborn CPU Core for Approximate Computing
PACO: Paderborn CPU Core for Approximate Computing Supervisors Jun.-Prof. Dr. Christian Plessl Dr. Paul Kaufmann Presenter Tobias Kenter Credit: Communications of the ACM, Vol. 58 No. 5, Pages 12-14 Approximate
More informationINSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad
INSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad - 500 043 INFORMATION TECHNOLOGY COURSE DESCRIPTION FORM Course Title Course Code Regulation Course Structure Course Coordinator SOFTWARE
More informationBusiness Process Management Seminar 2007/ Oktober 2007
Business Process Management Seminar 2007/2008 22. Oktober 2007 Process 2 Today Presentation of topics Deadline 29.10.2007 9:00 Rank up to 3 topics - send to hagen.overdick@hpi.uni-potsdam.de 3.12.2007
More informationM ECHATRONIC UML. The MechatronicUML Method Process, Syntax, and Semantics 1 2. Technical Report tr-ri
The MechatronicUML Method Process, Syntax, and Semantics 1 2 M ECHATRONIC UML Technical Report tr-ri-12-318 Steffen Becker, Christian Brenner, Stefan Dziwok, Thomas Gewering, Christian Heinzemann, Uwe
More informationHYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM. Janetta Culita, Simona Caramihai, Calin Munteanu
HYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM Janetta Culita, Simona Caramihai, Calin Munteanu Politehnica University of Bucharest Dept. of Automatic Control and Computer Science E-mail: jculita@yahoo.com,
More informationImplementation and testing of variable scale topological data structures
Implementation and testing of variable scale topological data structures Experiences with the GAP-face tree and GAP-edge forest Master s thesis proposal by B.M. Meijers November 2005 Delft University of
More informationLeveraging Mobile Interaction with Sensor-Driven and Multimodal User Interfaces"
Leveraging Mobile Interaction with Sensor-Driven and Multimodal User Interfaces Andreas Möller Betreuer: Prof. Dr. Matthias Kranz Doktorandenseminar an der LMU München Institute for Media Technology My
More informationA Proposal to Develop a Testing Framework for Agile Software Process
C.G. Anupama, Rashi Nair and Soumi Roy ISSN : 0974 5572 International Science Press Volume 9 Number 40 2016 A Proposal to Develop a Testing Framework for Agile Software Process C.G. Anupama a Rashi Nair
More informationOverview of the course. User-Centred Design. Group. Practical issue. Writting the report. Project work. Fang Chen
Overview of the course User-Centred Design Fang Chen 6 lectures, 3 hr each. L 1: April 6, 9-12, user-centered design concept L2: April 14, 9-12, usability concept L3. user-centered requirement study L4.
More informationMaster ASE. Hints concerning the study and examination regulations
Master ASE Hints concerning the study and examination regulations Table of Contents General...2 Study Regulations...2 General...2 Structure and Contents of the Study Course...2 Procedure...4 Exams...5
More informationALIGNING SYSTEM ARCHITECTURES ON REQUIREMENTS OF MOBILE BUSINESS PROCESSES
ALIGNING SYSTEM ARCHITECTURES ON REQUIREMENTS OF MOBILE BUSINESS PROCESSES ABSTRACT The support of mobile workers with mobile IT solutions can create tremendous improvements in mobile business processes
More informationModel-based GUI testing using Uppaal at NOVO Nordisk
Model-based GUI testing using Uppaal at NOVO Nordisk Ulrik H. Hjort 2, Jacob Illum 1, Kim G. Larsen 1, Michael A. Petersen 2, and Arne Skou 1 1 Department of Computer Science, Aalborg University, Denmark
More informationPersonalized Restaurant Menu
Bachelor-Master-Seminar Personalized Restaurant Menu Pascal Lessel Saarland University 11/17/2011 Master s thesis Advisor: Matthias Böhmer Supervisor: Professor Dr. A. Krüger 1 Outline Motivation Digital
More informationA Frame Study for Post-Processing Analysis on System Behavior: A Case Study of Deadline Miss Detection
Journal of Computer Science 6 (12): 1505-1510, 2010 ISSN 1549-3636 2010 Science Publications A Frame Study for Post-Processing Analysis on System Behavior: A Case Study of Deadline Miss Detection Junghee
More informationMODEL VERSIONING IN CONTEXT OF LIVING MODELS
MODEL VERSIONING IN CONTEXT OF LIVING MODELS Waqar Mehmood and Arshad Ali Department of Computer Science, COMSATS Institute of Information Technology, Wah Campus. ABSTRACT In this paper we present an approach
More informationPre-Course Meeting Proseminar Network Hacking & Defense
Network Architectures and Services Department Computer Science Technische Universität München Pre-Course Meeting Proseminar Network Hacking & Defense Dr. Holger Kinkelin and Nadine Herold Content q Administrative
More informationA System of Patterns for Web Navigation
A System of Patterns for Web Navigation Mohammed Abul Khayes Akanda and Daniel M. German Department of Computer Science, University of Victoria, Canada maka@alumni.uvic.ca, dmgerman@uvic.ca Abstract. In
More informationTowards Systematic Usability Verification
Towards Systematic Usability Verification Max Möllers RWTH Aachen University 52056 Aachen, Germany max@cs.rwth-aachen.de Jonathan Diehl RWTH Aachen University 52056 Aachen, Germany diehl@cs.rwth-aachen.de
More informationSeminar Software Quality and Safety
Seminar Software Quality and Safety SCADE a model-driven Software Development Environment by Dominik Protte Software Engineering Group Universität Paderborn Motivation Many safety-critical components in
More informationSoftware Life Cycle. Main issues: Discussion of different life cycle models Maintenance or evolution
Software Life Cycle Main issues: Discussion of different life cycle models Maintenance or evolution Introduction software development projects are large and complex a phased approach to control it is necessary
More informationJava Garbage Collector Performance Measurements
WDS'09 Proceedings of Contributed Papers, Part I, 34 40, 2009. ISBN 978-80-7378-101-9 MATFYZPRESS Java Garbage Collector Performance Measurements P. Libič and P. Tůma Charles University, Faculty of Mathematics
More informationArchitectural Solutions for Next Generation Software Systems
Architectural Solutions for Next Generation Software Systems Presenter: Faheem Ullah & Nguyen K. Tran PhD Students Supervisor: M. Ali Babar The Centre for Research on Engineering Software Technologies
More informationA Design Space Exploration Framework for Model-Based Software-intensive Embedded System Development
A Design Space Exploration Framework for Model-Based Software-intensive Embedded System Development Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden bueker@offis.de, henkler@offis.de, schlegel@offis.de,
More informationBusiness Analysis in Practice
Business Analysis in Practice (Level 2 CCBA Certification Preparation Course) Duration: 3 days PM-Partners have been leaders in project management certification for 20 years, training over 8,500 industry
More informationDO WE NEED TEST SPECIFICATION LANGUAGES?!
DO WE NEED TEST SPECIFICATION LANGUAGES?! Ina Schieferdecker A-MOST @ ICST 2017, Tokyo, March 17, 2017 Please look up my yesterday s proposal for the new version of the UML Testing Profile OUTLINE 1. About
More informationThe MechatronicUML Design Method Process, Syntax, and Semantics 1 2 M ECHATRONIC UML. Technical Report tr-ri
The MechatronicUML Design Method Process, Syntax, and Semantics 1 2 M ECHATRONIC UML Technical Report tr-ri-12-326 Steffen Becker, Christian Brenner, Christopher Brink, Stefan Dziwok, Christian Heinzemann,
More informationJames Woods Regional High School Information Technology Systems
Unit Outline Web Development I James Woods Regional High School Information Technology Systems Unit Outline: Web Development I Context: Web Design Time: 6 wks Dimensions & Objectives Knowledge & Communication
More informationStatic Program Analysis
Static Program Analysis Thomas Noll Software Modeling and Verification Group RWTH Aachen University https://moves.rwth-aachen.de/teaching/ss-18/spa/ Preliminaries Outline of Lecture 1 Preliminaries Introduction
More informationQoS-aware model-driven SOA using SoaML
QoS-aware model-driven SOA using SoaML Niels Schot A thesis submitted for the degree of MSc Computer Science University of Twente EEMCS - TRESE: Software Engineering Group Examination committee: Luís Ferreira
More informationComponent based Verification of Distributed Automation Systems based on Model Composition
Available online at www.sciencedirect.com ScienceDirect Procedia CIRP 00 (2018) 000 000 www.elsevier.com/locate/procedia 51st CIRP Conference on Manufacturing Systems Component based Verification of Distributed
More informationModern Software Engineering Methodologies Meet Data Warehouse Design: 4WD
Modern Software Engineering Methodologies Meet Data Warehouse Design: 4WD Matteo Golfarelli Stefano Rizzi Elisa Turricchia University of Bologna - Italy 13th International Conference on Data Warehousing
More informationParticipatory Quality Management of Ontologies in Enterprise Modelling
Participatory Quality Management of Ontologies in Enterprise Modelling Nadejda Alkhaldi Mathematics, Operational research, Statistics and Information systems group Vrije Universiteit Brussel, Brussels,
More informationCOCHIN UNIVERSITY OF SCIENCE AND TECHNOLOGY
COCHIN UNIVERSITY OF SCIENCE AND TECHNOLOGY Name: Department: Contact Details: Address for communication Email Phone Intercom Academic Background Qualifications: Qualifying Post Graduate Degree: Ph. D
More informationLangara College Spring archived
1 of 7 10/23/07 2:09 PM COMPUTING SCIENCE AND INFORMATION SYSTEMS DEPARTMENT COMPUTING SCIENCE AND INFORMATION SYSTEMS 1300 Systems Analysis & Design (3.0 credits) COURSE OUTLINE Spring 2008 Section 088
More informationSEMINAR: SECURE SYSTEMS ENGINEERING. Introduction October 20, 2016
SEMINAR: SECURE SYSTEMS ENGINEERING Introduction October 20, 2016 OUTLINE 1. Basic Requirements 2. Preliminary Dates 3. Seminar Guidelines 4. Presentation of the Topics Basic Requirements Completion of
More informationWeb Engineering. VSR://EDU/Seminar. Prof. Dr.-Ing. Martin Gaedke Sebastian Heil, M. Sc. VSR.Informatik.TU-Chemnitz.de
VSR://EDU/Seminar Web Engineering ////// Summer semester 2016 /////// Prof. Dr.-Ing. Martin Gaedke Sebastian Heil, M. Sc. VSR.Informatik.TU-Chemnitz.de 14.04.2016 Chemnitz University of Technology Prof.
More informationA Model Driven Approach based on Interaction Flow Modeling Language to Generate Rich Internet Applications
International Journal of Electrical and Computer Engineering (IJECE) Vol. 6, No. 6, December 2016, pp. 3073~3079 ISSN: 2088-8708, DOI: 10.11591/ijece.v6i6.10541 3073 A Model Driven Approach based on Interaction
More informationA Model Transformation from Misuse Cases to Secure Tropos
A Model Transformation from Misuse Cases to Secure Tropos Naved Ahmed 1, Raimundas Matulevičius 1, and Haralambos Mouratidis 2 1 Institute of Computer Science, University of Tartu, Estonia {naved,rma}@ut.ee
More informationModel Driven Architecture based Testing Tool based on Architecture Views
Model Driven Architecture based Testing Tool based on Architecture Views Burak Uzun and Bedir Tekinerdogan Information Technology Group, Wageningen University, Wageningen, The Netherlands Keywords: Abstract:
More informationSemantics-Based Integration of Embedded Systems Models
Semantics-Based Integration of Embedded Systems Models Project András Balogh, OptixWare Research & Development Ltd. n 100021 Outline Embedded systems overview Overview of the GENESYS-INDEXYS approach Current
More informationMaster Thesis: ESB Based Automated EA Documentation
Fakultät für Informatik Technische Universität München Master Thesis: ESB Based Automated EA Documentation Final presentation Student: Supervisor: Advisors: Sebastian Grunow Prof. Pontus Johnson Markus
More informationOrganizing and Managing Grassroots Enterprise Mashup Environments. Doctorial Thesis, 24 th June, Volker Hoyer
Organizing and Managing Grassroots Enterprise Mashup Environments Doctorial Thesis, 24 th June, 2010 Volker Hoyer Motivation and Research Questions Research Design Results Conclusion Motivation and Research
More informationGenerating system documentation augmented with traceability information, using a central XML-based repository
Generating system documentation augmented with traceability information, using a central XML-based repository Master s thesis presentation Thomas U. Kraus Department of Software Engineering Faculty of
More informationUsing Hybrid Automata for Early Spacecraft Design Evaluation
Seminar Operating Systems: Winter Semester 18/19 Using Hybrid Automata for Early Spacecraft Design Evaluation Jafar Akhundov Motivation Motivation: Spacecraft Modelling Gaia - mission to chart a 3d-map
More informationReusability of Requirements Ontologies. By Rania Alghamdi
Reusability of Requirements Ontologies By Rania Alghamdi Outline Introduction Requirements Reuse Requirements ontologies Criteria of reusable requirements Examples of reusable ontologies Discussion and
More informationOPC Unified Architecture
Wolfgang Mahnke Stefan-Helmut Leitner Matthias Damm OPC Unified Architecture Springer Table of Contents Foreword by Tom Burke Foreword by Jim Luth Preface About the Authors Acknowledgements v vii ix xiii
More information53) Feature Models, Domain Models and Product Lines
Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie 53) Feature Models, Domain Models and Product Lines 1. Feature Models 2. Product Linie Configuration
More informationLangara College Spring archived
1 of 7 11/23/2006 1:29 PM COMPUTING SCIENCE AND INFORMATION SYSTEMS DEPARTMENT COMPUTING SCIENCE AND INFORMATION SYSTEMS 1300 Systems Analysis & Design (3.0 credits) COURSE OUTLINE Spring 2007 Section
More informationMachine Learning Concepts for Adaptive Video Streaming Systems (SS17)
Machine Learning Concepts for Adaptive Video Streaming Systems (SS17) Kickoff Denny Stohr, M.Sc. Jeremias Blendin Prof. Dr.-Ing. Wolfgang Effelsberg www.dms.informatik.tu-darmstadt.de 21.04.17 Department
More informationTrust4All: a Trustworthy Middleware Platform for Component Software
Proceedings of the 7th WSEAS International Conference on Applied Informatics and Communications, Athens, Greece, August 24-26, 2007 124 Trust4All: a Trustworthy Middleware Platform for Component Software
More informationThe Implications of Optimality Results for Incremental Model Synchronization for TGGs Holger Giese, Stephan Hildebrandt
The Implications of Optimality Results for Incremental Model Synchronization for TGGs Bi-directional transformations (BX) Theory and Applications Across Disciplines (13w5115) December 1-6, 2013 Holger
More informationMaster Thesis Project Plan. Reusable Mathematical Models
Master Thesis Project Plan Reusable Mathematical Models Tobias K. Widmer widmer@id.ethz.ch Supervisors: Prof. Dr. B. Meyer B. Schoeller Chair of Software Engineering Department of Computer Science, ETH
More informationSynergy Distributed Meeting Scheduler. Project Plan. Revision 2.0. CS 6361 Advance Requirements Engineering Fall 2008
Synergy Distributed Meeting Scheduler Project Plan Revision 2.0 CS 6361 Advance Requirements Engineering Fall 2008 Team Members: Name Email Phone Student ID Animesh Roy animesh.roy@student.utdallas.edu
More informationArchFeature: A Modeling Environment Integrating Features into Product Line Architecture
ArchFeature: A Modeling Environment Integrating Features into Product Line Architecture Gharib Gharibi and Yongjie Zheng School of Computing and Engineering, University of Missouri-Kansas City, Kansas
More informationQUT Digital Repository:
QUT Digital Repository: http://eprints.qut.edu.au/ This is the accepted version of this conference paper. To be published as: Ai, Lifeng and Tang, Maolin and Fidge, Colin J. (2010) QoS-oriented sesource
More informationTesting-Based Conceptual Schema Validation in a Model- Driven Environment
Testing-Based Conceptual Schema Validation in a Model- Driven Environment Maria Fernanda Granda Department of Information Systems and Computation, Universitat Politècnica de València, Valencia, Spain mgranda@dsic.upv.es
More informationSpecifying Usability Features with Patterns and Templates
Specifying Usability Features with Patterns and Templates Holger Röder University of Stuttgart Institute of Software Technology Universitätsstraße 38, 70569 Stuttgart, Germany roeder@informatik.uni-stuttgart.de
More informationWriting a good seminar paper Seminar in Software and Service Engineering
Writing a good seminar paper Seminar in Software and Service Engineering 24.10.2017 Marjo Kauppinen and Marko Nieminen Department of Computer Science Outline Learning goals of the course Structure of good
More informationStatic Program Analysis
Static Program Analysis Lecture 1: Introduction to Program Analysis Thomas Noll Lehrstuhl für Informatik 2 (Software Modeling and Verification) noll@cs.rwth-aachen.de http://moves.rwth-aachen.de/teaching/ws-1415/spa/
More informationDagstuhl Seminar on Service-Oriented Computing Session Summary Cross Cutting Concerns. Heiko Ludwig, Charles Petrie
Dagstuhl Seminar on Service-Oriented Computing Session Summary Cross Cutting Concerns Heiko Ludwig, Charles Petrie Participants of the Core Group Monika Kazcmarek, University of Poznan Michael Klein, Universität
More informationWelcome! University of Karlsruhe (TH) Working group meeting Software engineering for parallel systems. Research University founded 1825
University of Karlsruhe (TH) Research University founded 1825 Working group meeting Software engineering for parallel systems Vancouver, Canada May 18, 2009 Dr. Victor Pankratius http://www.multicore-systems.org/separs
More informationVISO: A Shared, Formal Knowledge Base as a Foundation for Semi-automatic InfoVis Systems
VISO: A Shared, Formal Knowledge Base as a Foundation for Semi-automatic InfoVis Systems Jan Polowinski Martin Voigt Technische Universität DresdenTechnische Universität Dresden 01062 Dresden, Germany
More informationIntroduction. Software Architecture VO/KU ( / ) Roman Kern. KTI, TU Graz
Introduction Software Architecture VO/KU (707.023/707.024) Roman Kern KTI, TU Graz 2013-10-02 Roman Kern (KTI, TU Graz) Introduction 2013-10-02 1 / 32 Introduction Introduction Basic organisational information
More informationSeminar Recent Trends in Database Research
Seminar Recent Trends in Database Research Summer Term 2013 Lehrgebiet Informationssysteme Weiping Qu qu@cs.uni-kl.de AG Datenbanken und Informationssysteme AG Heterogene Informationssysteme Goals a) Familiarize
More informationComputing Curricula 2005
Computing Curricula Santiago, Chile 6 March John Impagliazzo Computing Curricula An Overview Report John Impagliazzo Computer Science Hofstra University New York John Impagliazzo Computing Curricula Santiago,
More informationContinuous Prototyping: Unified Application Delivery from Early Design to Code
Continuous Prototyping: Unified Application Delivery from Early Design to Code Lukas Alperowitz 1, Andrea Marie Weintraud 2, Stefan Christoph Kofler 3, and Bernd Bruegge 4 Abstract: Developing for devices
More informationNowadays data-intensive applications play a
Journal of Advances in Computer Engineering and Technology, 3(2) 2017 Data Replication-Based Scheduling in Cloud Computing Environment Bahareh Rahmati 1, Amir Masoud Rahmani 2 Received (2016-02-02) Accepted
More informationOntology Refinement and Evaluation based on is-a Hierarchy Similarity
Ontology Refinement and Evaluation based on is-a Hierarchy Similarity Takeshi Masuda The Institute of Scientific and Industrial Research, Osaka University Abstract. Ontologies are constructed in fields
More informationA Formalism for Automated Verification of Model Transformations
Magyar Kutatók 10. Nemzetközi Szimpóziuma 10 th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics A Formalism for Automated Verification of Model Transformations
More informationTerms of Reference. Certificate for Quality in Internationalisation
Terms of Reference Certificate for Quality in Internationalisation Terms of Reference CeQuInt - 2012-3149 / 001-001 Copyright 2015 European Consortium for Accreditation in Higher Education ECA OCCASIONAL
More information6.2 Conceptual Framework for Autonomic Service Compositions
CONTENTS i preliminaries 1 1 introduction 3 1.1 Motivation 6 1.2 Problem Statement 8 1.3 Research Challenges 9 1.4 The Approach 11 1.5 Research Methodology 14 1.6 Thesis Context 16 1.7 Outline 16 2 background
More informationTHE LINK BETWEEN SOFTWARE DEVELOPMENT AND LOCALISATION
THE LINK BETWEEN SOFTWARE DEVELOPMENT AND LOCALISATION research on localisation and development processes Malte Ressin José Abdelnour-Nocera Peter Komisarczuk Contents Introduction About software localisation
More informationTowards a Search-based Interactive Configuration of Cyber Physical. System Product Lines 1
Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines Kunming Nie, Tao Yue, Shaukat Ali Software Engineering Institute, Beihang University, Beijing, China niekunming@cse.buaa.edu.cn
More informationUsually software system variants, developed by Clone-and-own approach, form
ABSTRACT Usually software system variants, developed by Clone-and-own approach, form a starting point for building Software Product Line. To migrate software systems which are deemed similar to a product
More informationMODELLING COMPOSITIONS OF MODULAR EMBEDDED SOFTWARE PRODUCT LINES
MODELLING COMPOSITIONS OF MODULAR EMBEDDED SOFTWARE PRODUCT LINES Wolfgang Friess AUDI AG wolfgang.friess@audi.de Julio Sincero University Erlangen-Nuernberg sincero@informatik.uni-erlangen.de Wolfgang
More informationSOFTWARE ENGINEERING. Curriculum in Software Engineering. Program Educational Objectives
Software Engineering 1 SOFTWARE ENGINEERING For the undergraduate curriculum in Software Engineering (http:// www.se.iastate.edu) leading to the degree Bachelor of Science. This curriculum is accredited
More informationSoftware Architecture in Action. Flavio Oquendo, Jair C Leite, Thais Batista
Software Architecture in Action Flavio Oquendo, Jair C Leite, Thais Batista Motivation 2 n In this book you can learn the main software architecture concepts and practices. n We use an architecture description
More informationA Transaction Processing Technique in Real-Time Object- Oriented Databases
122 IJCSNS International Journal of Computer Science and Network Security, VOL.8 No.1, January 2008 A Transaction Processing Technique in Real-Time Object- Oriented Databases Woochun Jun Dept. of Computer
More informationVirtual Validation of Cyber Physical Systems
Virtual Validation of Cyber Physical Systems Patrik Feth, Thomas Bauer, Thomas Kuhn Fraunhofer IESE Fraunhofer-Platz 1 67663 Kaiserslautern {patrik.feth, thomas.bauer, thomas.kuhn}@iese.fraunhofer.de Abstract:
More informationIntegrating decision management with UML modeling concepts and tools
Downloaded from orbit.dtu.dk on: Dec 17, 2017 Integrating decision management with UML modeling concepts and tools Könemann, Patrick Published in: Joint Working IEEE/IFIP Conference on Software Architecture,
More informationA model of information searching behaviour to facilitate end-user support in KOS-enhanced systems
A model of information searching behaviour to facilitate end-user support in KOS-enhanced systems Dorothee Blocks Hypermedia Research Unit School of Computing University of Glamorgan, UK NKOS workshop
More informationTowards Better Support for Pattern-Oriented Software Development
Towards Better Support for Pattern-Oriented Software Development Dietrich Travkin Software Engineering Research Group, Heinz Nixdorf Institute & Department of Computer Science, University of Paderborn,
More informationANALYTICS DRIVEN DATA MODEL IN DIGITAL SERVICES
ANALYTICS DRIVEN DATA MODEL IN DIGITAL SERVICES Ng Wai Keat 1 1 Axiata Analytics Centre, Axiata Group, Malaysia *Corresponding E-mail : waikeat.ng@axiata.com Abstract Data models are generally applied
More informationMLR Institute of Technology
MLR Institute of Technology Laxma Reddy Avenue, Dundigal, Quthbullapur (M), yderabad 500 043 Phone Nos: 08418 204066 / 204088, Fax : 08418 204088 COURE DECRIPTION Name of the Dept.: INFORMATION TECNOLOGY
More informationEvolution of XML Applications
Evolution of XML Applications University of Technology Sydney, Australia Irena Mlynkova 9.11. 2011 XML and Web Engineering Research Group Department of Software Engineering Faculty of Mathematics and Physics
More informationPresentation of AMBASEC A Model-Based Approach to SEcurityCulture
Presentation of AMBASEC A Model-Based Approach to SEcurityCulture Prof. Jose J Gonzalez Dept. of ICT Security Group Research cell Security & Quality in Organizations IKTSoS WS March 2005 1 Dept. of ICT
More informationIncremental Runtime Verification of Probabilistic Systems
Incremental Runtime Verification of Probabilistic Systems Vojtěch Forejt 1, Marta Kwiatkowska 1, David Parker 2, Hongyang Qu 1, and Mateusz Ujma 1 1 Department of Computer Science, University of Oxford,
More informationHeuristic Evaluation of Groupware. How to do Heuristic Evaluation of Groupware. Benefits
Kimberly Tee ketee@ucalgary.ca CPSC 681 Topic Heuristic Evaluation of Groupware Heuristic evaluation [9] is a discount evaluation method for finding usability problems in a singleuser interface design.
More informationStatic analysis and testing of executable DSL specification
Static analysis and testing of executable DSL specification Qinan Lai 1, Andy Carpenter 1 1 School of Computer Science, the University of Manchester, Manchester, UK {laiq,afc}@cs.man.ac.uk Keywords: Abstract:
More information2 nd UML 2 Semantics Symposium: Formal Semantics for UML
2 nd UML 2 Semantics Symposium: Formal Semantics for UML Manfred Broy 1, Michelle L. Crane 2, Juergen Dingel 2, Alan Hartman 3, Bernhard Rumpe 4, and Bran Selic 5 1 Technische Universität München, Germany
More informationFlight Systems are Cyber-Physical Systems
Flight Systems are Cyber-Physical Systems Dr. Christopher Landauer Software Systems Analysis Department The Aerospace Corporation Computer Science Division / Software Engineering Subdivision 08 November
More informationGENERATING SIMULINK AND STATEFLOW MODELS FROM SOFTWARE SPECIFICATIONS
INTERNATIONAL DESIGN CONFERENCE - DESIGN 2012 Dubrovnik - Croatia, May 21-24, 2012. GENERATING SIMULINK AND STATEFLOW MODELS FROM SOFTWARE SPECIFICATIONS C. Heinzemann, U. Pohlmann, J. Rieke, W. Schäfer,
More information