newdawn's tags

adaptive advice advise analysis assume-guarantee book career case complexity component composition conformance cots coverage critical csp design-by-contract dynamic exception execution-model experience fault-injection fault-localization feedback finance formal fun game-theory generation interface interface-automata invariant junit language lisp live-sequence-charts load-testing microsoft mock model model-based model-checking monitor network partial-abstraction people programming protocol quality race random rcos refinement research robustness safety semantics slides soa specification-based static sub-domain survey synthesis testability testing thesis timed-automata tool trace-effect typestate unit verification visibly-pushdown-automata web-application wiki wisdom

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.