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

The Greybox Approach: When Blackbox Specification Hide Too Much

Martin Büchi, Wolfgang Weck, The Greybox Approach: When Blackbox Specification Hide Too Much. TUCS Technical Reports 297, Turku Centre for Computer Science, 1999.

Abstract:

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

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBuWe99a,
  title = {The Greybox Approach: When Blackbox Specification Hide Too Much},
  author = {Büchi, Martin and Weck, Wolfgang},
  number = {297},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {1999},
  keywords = {behavioral interface specifications, component software, layered specifications, greybox specification, specification of state transformation and external call sequences, refinement, specification extensions of imperative programming languages, Java},
}

Edit publication