BibSonomy
::
relations
::
ist_spl
tag
user
group
author
concept
BibTeX key
search:all
search:ist_spl
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
relations
(2)
previous | 1 | next
edit
testing
←
black-box
MBT
white-box
tools
←
NuSMV
TDE/UML
TGV
previous | 1 | next
edit
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
abstraction
activity
ADT
AHEAD
algebraic
algorithms
Alloy
application
aspect-oriented
assertion
assertions
automated
B
based
binding
black-box
branch
case
cases
category-partition
cause-effect
checking
class
classification-tree-method
colored
combinatorial
components
Conformance
constraint-solving
contracts
correctness
cover
coverage
Cow_Suite
CSP
CTL
data
ddgraph
defs-uses
dependencies
development
diagram
diagrams
Domain-Partitioning
Dresden-OCL-Toolkit
driven
engineering
execution
fault-injection
feasible
finite
flowgraph
formal
FTPS
functional
fundamentals
generation
GenVoca
graphs
gray-box
GUI
imported
integration
IOLTS
Java
line
logic
LTL
LTS
machine
manually
MBT
MDA
metaheuristic
method
methods
model
model-checker
modeling
net
NuSMV
object
object-oriented
OCL
oracle
oriented
OVM
paradigm
path
petri
PLUC
PLUTO
predicate
product
profile
program
propositional
requirements
research
reuse
scenario
scenario-based
scenarios
ScenTED
sensitization
sequence
single
singlesystem
SOFL
software
specification
specification-based
state
statecharts
statemachine
symbolic
synthesis
system
systematic
systems
systemtest
TDE/UML
techniques
temporal
test
testdata
testing
TGV
tool
tools
traceability
transformation
transition
TSL
U2TP
UML
UMLAUT
unit
unittest
use
Use-Cases
variability
variant
Z
::
ist_spl ::
ist_spl