„program specification“

Suchergebnisse

422 Treffer

• State-based versus event-based specifications for information systems: a comparison of B and eb3
  Fraikin, Benoît ; Frappier, Marc ; Laleau, Régine
• A Precise Specification Framework for White Box Program Testing
  Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut 2009 Universitäts- und Landesbibliothek Darmstadt