MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Roel Wieringa" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

52 documents found, showing 1 through 10. Next 10 →

ATOM

Formalizing the UML in a Systems Engineering Approach
by Roel Wieringa — 1998 — Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), pages 254--266. Technische Universitat Munchen, TUM-I9813
…Formalizing the UML in a Systems Engineering Approach Roel Wieringa Department of Computer Science…
Cited by 2 (0 self) – Add To MetaCart

Using the Tools in TRADE, II: Specification and Design of a Meeting Scheduler System
by Roel Wieringa — 1997
…Using the Tools in TRADE, II: Specification and Design of a Meeting Scheduler System Roel Wieringa…
Cited by 2 (2 self) – Add To MetaCart

Steps Towards a Method for the Formal Modeling of Dynamic Objects
by Roel Wieringa — 1991 — Data and Knowledge Engineering
…Steps Towards a Method for the Formal Modeling of Dynamic Objects Roel Wieringa Department…
Cited by 8 (2 self) – Add To MetaCart

Postmodern Software Design with NYAM: Not Yet Another Method
by Roel Wieringa — 1998 — Requirements Targeting Software and Systems Engineering
…Postmodern Software Design with NYAM: Not Yet Another Method Roel Wieringa Department of Computer…
Cited by 5 (2 self) – Add To MetaCart

A survey of structured and object-oriented software specification methods and techniques
by Roel Wieringa — 1998 — ACM Computing Surveys
…A Survey of Structured and Object-Oriented Software Specification Methods and Techniques ROEL…
Cited by 71 (9 self) – Add To MetaCart

Equational Specification of Dynamic Objects
by Roel Wieringa — 1990 — Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proc. IFIP WG 2.6 Working Conference, Windermere (UK
…Equational Specification of Dynamic Objects Roel Wieringa Department of Mathematics and Computer…
Cited by 31 (6 self) – Add To MetaCart

A Real-Time Execution Semantics for UML Activity Diagrams
by Rik Eshuis, Roel Wieringa — 2001 — Proc. 4 th Intl. Conf. Fundamental approaches to software engineering (FASE’01), number 2029 in LNCS
…A Real-Time Execution Semantics for UML Activity Diagrams Rik Eshuis # and Roel Wieringa…
Cited by 21 (7 self) – Add To MetaCart

An Execution Algorithm for UML Activity Graphs
by Rik Eshuis, Roel Wieringa — 2001 — In Gogolla and Kobryn [17
…An Execution Algorithm for UML Activity Graphs Rik Eshuis # and Roel Wieringa University…
Cited by 16 (6 self) – Add To MetaCart

Requirements-Level Semantics For UML Statecharts
by Rik Eshuis, Roel Wieringa — 2000
…REQUIREMENTS-LEVEL SEMANTICS FOR UML STATECHARTS* Rik Eshuis l Roel Wieringa University of Twente…
Cited by 11 (2 self) – Add To MetaCart

Integrating Semi-Formal and Formal Software Specification Techniques
by Roel Wieringa, Eric Dubois — 1998
…-9 INTEGRATING SEMI-FORMAL AND FORMAL SOFTWARE SPECIFICATION TECHNIQUES Roel Wieringa 1 and Eric Dubois 2 1…
Cited by 9 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB