[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

CalinescoGhezziKwiatowskaMirandola12

  1. Radu Calinescu & Carlo Ghezzi & Marta Kwiatowska & Raffaela Mirandola
  2. Self-adaptive Software needs Quantitative Verification at runtime
  3. Commun ACM V55n9(Sep 2012)pp69-77 [ 2330667.2330686 ]
  4. =THEORY ADAPTIVE PERFORMANCE MONITOR ADJUST DTMC PCTL SERVICE
  5. Need to verify: If Specification and Domain then Requirement.
  6. Non-standard activity diagrams look good...
  7. Markovian model of the specification, Probalistic Computer Treel Logic requirements.
  8. Domain data comes from monitoring service performance.
  9. System can switch components if performance is bad.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]