Laquso Shared

LaQuSo is an activity of 3TU.Netherlands Institute for Research on ICT and Radboud University Nijmegen

LaQuSo Laboratory for Quality Software

Support of relevant ICT research

Validation of academic results

Valorization of academic results

Collaborative Effort

Dept. of Mathematics and Computer Science

Information Systems EG Databases & Hypermedia EG Architecture of Information Systems

Specification and Verification EG Formal Methods EG Analysis and Design of Systems

Software and Systems Engineering EG Software Engineering and Technology EG Systems Architecture and Networking EG Embedded Systems Security

Algorithms and Visualization EG Algorithms EG Visualization

Inst. for Computing and Information Sciences

Digital Security

Information and Knowledge Systems

Informatics for Technical Applications

Software Technology

Foundations

Organization

prof. dr. ir. J.F. GrooteHG 6.29

dr. J.I. den Hartogdr. A.O.D. Spiesens

HG 5.95

dr. ir. I. BarosanHG 8.61

Organization

NIRICT Laboratories - LaQuSo

SectionSoftware and Systems Engineering

SectionInformation Systems

SectionAlgorithms & Visualization

SectionSpecification & Verification

Front-Office

Back-Office

NIRICT Embedded Systems Institute

Industry / Government

Code Analysis

Process Mining

Security Analysis

Systems Modeling

PROCESS ANALYSIS / PROCESS MINING

Beyond Business Intelligence

Process Mining

software system

process/systemmodel

eventlogs

modelsanalyzes

discovery

records events, e.g., messages,

transactions, etc.

specifies configures implements

analyzes

supports/controls

conformance

“world”

people machines

organizationscomponents

business processes

verification

Register order

Prepareshipment

Ship goods

(Re)send bill

Receive paymentContact

customer

Archive order

Basic Performance Metrics Process Model Organizational Model Social Network Model Decision Point Analysis Auditing & Security

Process Mining

Specification

Conformance check

Process Mining

CODE ANALYSIS / CODE MINING

Dependencies, Metrics, Behavior

Code Analysis

MiningSoftwar

eCode Base Data Report

SQUAVISIT• Cobol• Java• C++, C#, C• PL/SQL• ABAP (SAP)

Code Analysis

metrics visualization

Code Analysis

code clone detection

Code Analysis

static structure – hierarchical dependencies

Code Analysis

static structure – cross dependencies

Code Analysis

call graph

execution trace

Code Analysis

Code Evolution Analysis

code evolution visualization

Model Analysis

design metrics visualization

Model Analysis

design metrics visualization

Model Analysis

architectural regions of interest

Model Analysis

architectural regions of interest

SECURITY ANALYSISModeling and verification of security properties

SYSTEMS MODELINGModeling and verification of communicating systems

Systems Modeling

self organizing directed graph

Systems Modeling

state space as 3D tree of clusters and states

Systems Modeling

state space as 3D tree of clusters and states

In particular for determining symmetries

Systems Modeling

graph of clusters of states

LaQuSo is an activity of 3TU.Netherlands Institute for Research on ICT and Radboud University Nijmegen

Visiting Address:TU/e campus, Hoofdgebouw 5.91Den Dolech 2, Eindhoven

Mailing Address:HG 5.91Postbus 5135600 MB Eindhoven

Telephone:040-2472526Fax: 040-2474252

Email:info@laquso.comWeb Site:www.laquso.com

Laquso Shared

Technology

Transcript of Laquso Shared

mo. - shared music, shared moment.

Housing Opportunity 2014 - Shared Spaces, Shared Benefits

1 Shared Memory. 2 Introduction Creating a Shared Memory Segment Shared Memory Control Shared Memory Operations Using a File as Shared Memory.

Shared economy, from shared beds to shared apartments

LaQuSo Software Product Certification Model (LSPCM)

SHARED VISION SHARED COMMITMENT

Welcome to Comfort Audio Distributors meeting 2011 “Shared experience – shared knowledge – shared success”

LaQuSo is an activity of Technische Universiteit Eindhoven Confidence intervals in software reliability testing Confidence intervals in software reliability.

16 | Harde knipweb.tue.nl/cursor/internet/jaargang54/_pdf/cursor02_nl.pdfSoftware (LaQuSo) van de faculteit Wiskunde & Informatica gaat stress en flowtesten uitvoeren. Alleen al over

Statistical Tools Supporting Software Testing - ASML Tools for Supporting Software Testing ... Statistical Best Practices Tool by LaQuSo and Refis ... Refis 7 Test results 200 bugs

Shared Disk vs. Shared Nothing

Remembering Smyrna / Izmir: Shared History, Shared Trauma

Shared Parental Leave: Having a Baby (Word version)€¦ · Web viewShared Parental Leave. Shared Parental Leave. Shared Parental Leave. Shared Parental Pay. Shared Parental Pay.

Welcome to Comfort Audio Distributors meeting 2011 “Shared experience – shared knowledge – shared success”

Implementing evolution: Database migrationaserebre/2IS55/2012-2013/14.pdf · · 2013-04-04−LaQuSo regularly encounters COBOL code •Migration should ... Advantages and disadvantages

LaQuSo is an activity of Technische Universiteit Eindhoven and Radboud University Nijmegen Dagstuhl, July 2006 Relationships between services, components.

Shared Water, Shared Responsibility, Shared Approach ...

Shared Memory – Consistency of Shared Variables

Shared Writing and Shared Reading

“SHARED RESPONSIBILITY - SHARED MISSION” General ...