BibSonomy :: bibtex ::

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
- languages ←
  - Alloy
  - B
  - OCL
  - SOFL
  - TSL
  - UML
  - Z
- logic ←
  - CTL
  - LTL
- testing ←
- tools ←
  - Dresden-OCL-Toolkit
  - NuSMV
  - TDE/UML
  - TGV
- UML ←
  - activity
  - diagrams
  - OCL
  - sequence
  - U2TP
  - Use-Cases
tags
- abstraction
- activity
- adequacy
- 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
- control
- correctness
- cover
- coverage
- Cow_Suite
- Criteria
- CSP
- CTL
- data
- ddgraph
- defs-uses
- dependencies
- development
- diagram
- diagrams
- dokumentation
- Domain-Partitioning
- Dresden-OCL-Toolkit
- driven
- engineering
- equivalence
- error
- execution
- expressions
- fault
- fault-injection
- feasible
- feature
- finite
- flow
- flowgraph
- formal
- FTPS
- functional
- fundamentals
- generation
- GenVoca
- graphs
- gray-box
- GUI
- imported
- integration
- IOLTS
- Java
- languages
- line
- logic
- LTL
- LTS
- machine
- manually
- Markov-Chains
- MBT
- MDA
- metaheuristic
- method
- methods
- model
- model-checker
- modeling
- mutation
- net
- NuSMV
- object
- object-oriented
- OCL
- oracle
- oriented
- OVM
- paradigm
- partitioning
- path
- petri
- PLUC
- PLUTO
- predicate
- process
- product
- profile
- program
- propositional
- QUASAR
- QVT
- regular
- requirements
- research
- reuse
- scenario
- scenario-based
- scenarios
- ScenTED
- sensitization
- sequence
- single
- singlesystem
- SOFL
- software
- specification
- specification-based
- SSE
- state
- statecharts
- statemachine
- structural
- 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
- VDM
- W-Model
- white-box
- Z