Concepedia

ROEL WIERINGA

RW

Statistics

Publications

4

Citations

173

H-Index

4

Active since

1995

Affiliations

University of Twente(Current)

ROEL WIERINGA is an author at University of Twente specializing in engineering, software design, and software engineering.

Top concepts

EngineeringSoftware DesignSoftware EngineeringSoftware AnalysisDesignVerificationFormal MethodsSystem SoftwareComputer ScienceProgram Analysis

Publications per year

1995–2009

4

Publications

4

PROJECT GRAAL: TOWARDS OPERATIONAL ARCHITECTURE ALIGNMENT

Pascal van Eck, Henk Blanken, ROEL WIERINGA · International Journal of Cooperative Information Systems · 2004 · 60 citations

Architectural Design, Software Maintenance, Software Architecture Modeling +13

TOWARDS A SERVICE-ORIENTED MDA-BASED APPROACH TO THE ALIGNMENT OF BUSINESS PROCESSES WITH IT SYSTEMS: FROM THE BUSINESS MODEL TO A WEB SERVICE COMPOSITION MODEL

Valeria de Castro, Esperanza Marcos, ROEL WIERINGA · International Journal of Cooperative Information Systems · 2009 · 56 citations

Web Service Specification, Business Process, Engineering +13

Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts

Rik Eshuis, David N. Jansen, ROEL WIERINGA · Requirements Engineering · 2002 · 35 citations

Specification Language, Formal Specification, Engineering +10

Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases

Paul Spruit, ROEL WIERINGA, John‐Jules Ch. Meyer · Journal of Logic and Computation · 1995 · 22 citations

1–4 of 4