MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Rogardt Heldal" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Binding-time analysis for polymorphic types
by Rogardt Heldal, John Hughes — 2001 — In PSI-01: Andrei Ershov Fourth International Conference, Perspectives of System Informatics, number 2244 in Lecture Notes in Computer Science
…Binding-time Analysis for Polymorphic Types 1 Introduction Rogardt Heldal and John Hughes Chalmers…
Cited by 1 (0 self) – Add To MetaCart

From informal to formal specifications in UML
by Martin Giese, Rogardt Heldal — 2004 — Proc. of UML2004, Lisbon, volume 3273 of LNCS
…From Informal to Formal Specifications in UML Martin Giese and Rogardt Heldal Chalmers University…
Cited by 2 (2 self) – Add To MetaCart

Customer Validation of Formal Contracts
by Rogardt Heldal, Kristofer Johannisson — In OCL for (Meta-)Models in Multiple Application Domains
…Customer Validation of Formal Contracts Rogardt Heldal and Kristofer Johannisson Chalmers…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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