• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Modeling Component Environments and Interactive Programs Using Iterative Choice

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, Modeling Component Environments and Interactive Programs Using Iterative Choice. TUCS Technical Reports 200, Turku Centre for Computer Science, 1998.

Abstract:

http://www.tucs.fi/Publications/techreports/TR200.php

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBaMiWr98a,
  title = {Modeling Component Environments and Interactive Programs Using Iterative Choice},
  author = {Back, Ralph-Johan and Mikhajlova, Anna and Wright, Joakim von},
  number = {200},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {1998},
  keywords = {Modeling, component-based system, interactive program, contract, angelic iteration, iterative choice, correctness, refinement},
}

Edit publication