VERSITET JOEY W. COLEMAN POSTDOC SOFTWARE ENGINEERING GROUP APRIL 2014 UNI MSC THESIS POSSIBILITIES.

Slides:

Advertisements

Similar presentations

October 2007Potential thesis projects1 Peter Gorm Larsen Professor (ingeniørdocent) at Engineering College of Aarhus.

Advertisements

1 Potential IHA thesis projects (Technical IT Distributed Real-Time Systems, Software Engineering) Finn Overgaard Hansen Professor.

EXtensible Catalog David Lindahl University of Rochester.

LemGen (Linguistic EMulation and Generation ENgine) CS491 Project Chris Lemcke.

February 2008Potential thesis projects1 Peter Gorm Larsen Professor (ingeniørdocent) at Engineering College of Aarhus.

VisualCat: Cataloguing with XML, RDF, FRBR & Z39.50 NORD I&D 2001 Poul Henrik Jørgensen,

Towards Universally Usable Smart Homes How Can MyUI, URC and openHAB Contribute to an Adaptive User Interface Platform? Lukas Smirek, Stuttgart Media University,

2014 Redrock Software Conference 160 Characters Or Less Communicating With Students Through Trac With Iliana Ramos And Jennifer Turley.

Chapter 13 Web Application Infrastructure. Objectives Explain the components and purpose of a web application platform Describe several common webapp.

MSc Education Supporting Infrastructure Emil Doychev Vladimir Valkanov University of Plovdiv Bulgaria.

SCIA.ESA Professional Technology Intelligent Structural Modeling Technology watch and proof of concept Dr. J.P. Rammant, C.E.O. - SCIA Belgium Dr. M. Novak,

L1 Sketch Tools Advanced HCI Beryl Plimmer. Agenda What’s the difference between a keyboard and a pencil?

Composite Services, Mash-Ups, etc Composite Services, Mash-Ups, etc Other Web Services (capabilities) Telecom Web.

 ETL: Extract Transformation and Load  Term is used to describe data migration or data conversion process  ETL may be part of the business process repeated.

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse 2.

Project Proposal: Academic Job Market and Application Tracker Website Project designed by: Cengiz Gunay Client: Cengiz Gunay Audience: PhD candidates and.

QWise software engineering – refactored! Testing, testing A first-look at the new testing capabilities in Visual Studio 2010 Mathias Olausson.

©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 18 Slide 1 Software Reuse.

Software Engineering Muhammad Fahad Khan

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.

A web interface for DAISY Pipeline. Introduction The PipeOnline web application serves as a web interface for DAISY Pipeline. DAISY Pipeline is a framework.

1 Conceptual Modeling of User Interfaces to Workflow Information Systems Conceptual Modeling of User Interfaces to Workflow Information Systems By: Josefina.

Valma Technical Aspects

ITEA Common Workshop on automotive Tooling Prepared by the projects AMALTHEA, MAENAD, SAFE, TIMMO-2-USE 24 th and 25 th September 2012 in Berlin.

Welcome to the 10th Overture Workshop 28 August, CNAM, Paris, France Organised by Claus Ballegård Nielsen (Aarhus University, Denmark), Nico Plat (West.

Framework: ISA-95 WG We are here User cases Studies

TOOLS FOR IMPLEMENTING THE QUALITY FRAMEWORK Dr Peter Jones MSc EBHC (Oxon) FACEM Dr Alana Harper PG Cert Med Sci FACEM MOH Forum, Wellington 23/3/2015.

VDM++ Tutorial Overview John Fitzgerald Peter Gorm Larsen Paul Mukherjee Nico Plat.

Custom Reporting in Blackboard Learn. What happens between clicking run and getting the report? Connect to a data source Where is the information?

© 2008 by Sybase, Inc.; made available under the EPL v1.0 | 3/5/07 Push for Usability of Data Tools Wizards (Short Talk) Brian Fitzpatrick Sybase, Inc.

Composite User Interface Application Block Peter Provost Development Lead – patterns & practices

KMS Products By Justin Saunders. Overview This presentation will discuss the following: –A list of KMS products selected for review –The typical components.

April 2004 At A Glance CAT is a highly portable exception monitoring and action agent that automates a set of ground system functions. Benefits Automates.

Introduction to the Adapter Server Rob Mace June, 2008.

Jonathan Rile Brandon Strickland Dr. Leslie Cottrell Dr. Roy Nutter.

Session 9 Component and Deployment. OOAD with UML / Session 9 / 2 of 17 Review State Diagrams represent the software entities in terms of their states.

HRL © 2009 IBM Corporation Model-Driven Product-Lines for Embedded Software and for Supply-Chain Companies Tali Yatzkar-Haham Julia Rubin,

MASE : Modeling & Analysis in Software Engineering School of Computing Queen’s University Kingston, Ontario, Canada Juergen Dingel CAMPAM, April 29, 2012.

©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 18 Slide 1 Software Reuse.

TEST FRAMEWORK CREATION STORY FROM REAL LIFE. ABOUT AUTHOR Vitaliy Davidyak 8 years of experience in QA Skype: toldo-27

1 Advanced Software Architecture Muhammad Bilal Bashir PhD Scholar (Computer Science) Mohammad Ali Jinnah University.

RSS Interfaces and Standards Chander Iyer. Really Simple Syndication (RSS) Web data format providing users with frequently updated content. Make a collection.

SPI NIGHTLIES Alex Hodgkins. SPI nightlies  Build and test various software projects each night  Provide a nightlies summary page that displays all.

Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML: UML 2 Metamodel Note to Instructor: The material in this.

Introduction to Performance Testing Performance testing is the process of determining the speed or effectiveness of a computer, network, software program.

Windows Presentation Foundation. User Experience: Recent Past Web HTML Sacrificed UX for portability, connectivity and simplicity 1997 – DHTML.

GlueX Collaboration May05 C. Cuevas 1 Topics: Infrastructure Update New Developments EECAD & Modeling Tools Flash ADC VXS – Crates GlueX Electronics Workshop.

Options for Framework Connectivity Cecelia DeLuca NOAA Environmental Software Infrastructure and Interoperability February.

Sketch Tools L2 Advanced HCI. Agenda What is the problem with computer-based design tools? Why a toolkit? Framework Implementation Does it work? What.

Phonegap API & Phonegap Bridge CIS 136 Building Mobile Apps 1.

Redmond Protocols Plugfest 2016 Jinghui Zhang Office Interoperability Test Tools (Test Suites and Open Source Projects) Software Engineer Microsoft Corporation.

PDS 2010 System Design Report MC Face-to-Face Washington, DC March 25-26, 2010.

ASP.NET 2.0 Mohammed Abdelhadi Developer.NET Evangelist Microsoft Corporation.

Software Reuse. Objectives l To explain the benefits of software reuse and some reuse problems l To discuss several different ways to implement software.

Chapter 13 Web Application Infrastructure

DevOps with ASP.NET Core and Entity Framework Core

Introduction to Persistency

Introduction to ASP.NET 2.0

Supporting SCA Applications in a Lightweight CCM Environment

PaaS Core Session (Notes from UPV)

Web Service Testing …in another way Software Quality Assurance

Build a website like Amazon/Ebay/Etsy/Airbnb - experiences and advice.

XML Based Interoperability Components

What is MVC Category: System MVC=Model-View-Controller

Automatic Derivation, Integration and Verification

Open Automation Software

Why is test automation important? Future-proof Your Framework

Introduction to ASP.NET Parts 1 & 2

Mark Quirk Head of Technology Developer & Platform Group

Presentation transcript:

VERSITET JOEY W. COLEMAN POSTDOC SOFTWARE ENGINEERING GROUP APRIL 2014 UNI MSC THESIS POSSIBILITIES

PETER GORM LARSEN APRIL 2014 RECENT RESEARCH PROJECTS ›INTO-CPS (tool-oriented with CPS incl Kongskilde) ›CIP (Critical Infrastructure Protection, with Terma) ›HTF (Optimisation of harvesting operations with AGCO) ›MADE (Manufacturing Academy of Denmark, Grundfos) ›Updating Ground station (Danish Aviation Systems) ›Automatic feeding of mink, with Conpleks ›Recently Completed Projects ›DESTECS (modelling of mechatronic systems) ›COMPASS (modelling of System of Systems incl B&O) ›Tool Platform: Overture & Derivatives ›Group: Peter Gorm Larsen, Stefan Hallerstede, Joey Coleman, Sune Wolff, Luís Couto, Peter Jørgensen 2

MSC THESIS POSSIBILITIES PETER GORM LARSEN APRIL 2014 SUGGESTED MSC AREAS ›Document-oriented format for VDM models (sha, pgl) ›Lightweight UI for Overture Core, possibly LightTable (jwc) ›Web interface to Overture Core, animation & model editing ›Automated GUI-testing of Overture/Eclipse components (ldc) ›Test framework for high complexity data structures (ldc, jwc) ›Target profiles for code generation (e.g. Arduino, etc) (pvj) ›Pattern recognition for proof obligations (sha) ›Concurrent testing — for models or for code (sha) ›Something related to functional programming (jwc) ›Others! see ›Most areas connect to project research ›Come talk to us if you have other ideas 3

MSC THESIS POSSIBILITIES PETER GORM LARSEN APRIL 2014 LOTS OF COOL STUFF! 4 for appointment come and talk about possibilities