registrieren | anmelden | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: Desgin-by-Contract - Tags

All tags in this group's library
ad-hoc   aggregation   ai   algebraic-testing   application   applications   aspectj   aspect-oriented-programming   automatic   b   backpropagation   bearings   behavioral-specification   berkely   case-study   c-cpp   classification   clustering   code-coverage   compiler   constraint-logic   constraint-solving   control-flow-graph   conveyor   csg   c-sharp   da   dag   daikon   data   datacollection   datamining   datarate   deadlock-detection   deployment   design   design-by-contract   diagnostic   diduce   distributed-programs   dynamic   eiffel   energy   finite-state-machine   formalization   fsm   ftsp   games   harvard   hoare   integration-tests   invariant-detection   jaml   jamlunit   java   java-path-finder   jcrasher   jcute   jet   jml   jml4   jmltt   jmock   key   knowledge-discovery   languages   larch   lessonslearned   localization   logic   mobile   mock   model-based-testing   model-checker   monitoring   mutation-testing   navigation   neuralnetwork   ocl   optimizer   overview   pca   performance   plant   prediction   programming-languages   project-automaticmocking   protocol   purity-analysis   random-testing   rbf   reading-group-testing   robot   rostra   sat   scr   softnet   som   specification   specification-based-testing   specification-generation   spec-sharp   static-analysis   statistics   supervised   svm   symbolic-execution   symclat   symstra   synthesis   temporal-logic   test-case-generation   testing   test-input-generation   timesynchronization   tool   tools   tracking   unitesk   unit-testing   unit-tests   unsupervised   vdm   verification   vibration   warehouse   wlan   wrasp   wsn   z  
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.