SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research:jtransformer:bedingungssprache [2018/05/09 01:59] (current)
Line 1: Line 1:
  
 +
 +----
 +
 +Definition: Eine **elementare Bedingung** (**EC**) ist eine logische Aussage über die Existenz eines einzelnen Programmelements.\\ \\  ​
 +Die gewählte **Bedingungssprache** **C** definiert die //​Menge ​ aller elementaren Bedingungen//​ **EC** und deren //logische Verknüpfung//​ durch **Konjunktion** und **Negation**:​\\ \\ **< C > pfeil < EC >|< C > ^ < C >|< C > v < C >| not(< C >)**\\ \\ **< EC > pfeil exists(e) | true | false**\\ ​
 + 
research/jtransformer/bedingungssprache.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019