CADS*: Computer-aided development of self-*systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5503, Issue , 2009, Pages 421-424

  Calinescu, Radu ^a   Kwiatkowska, Marta ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; DYNAMIC SOFTWARE RECONFIGURATION; FORMAL SOFTWARE DEVELOPMENT; MARKOV CHAIN; MODEL TRANSFORMATION; MODEL-DRIVEN; PROTOTYPE TOOLS; COMPUTER AIDED; FULLY OPERATIONAL;

FORMAL METHODS; MARKOV PROCESSES; CHAINS; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; SOFTWARE ENGINEERING;

COMPUTER SOFTWARE; SOFTWARE DESIGN;

EID: 67650130358     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00593-0_29     Document Type: Conference Paper

References (8)

1. Calinescu, R.: Implementation of a generic autonomic framework. In: Proc. 4th Intl. Conf. Autonomic and Autonomous Systems, pp. 124-129 (2008)
2. Calinescu, R.: General-purpose autonomic computing. In: Denko, M., et al. (eds.) Autonomic Computing and Networking. Springer, Heidelberg (2009)
3. Calinescu, R., Kwiatkowska, M.: Software engineering techniques for the development of systems. In: Proc. 15th Monterey Workshop on Foundations of Computer Software, pp. 86-93 (2008)
4. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer Journal 36(1), 41-50 (2003)
5. Kwiatkowska, M., et al.: Quantitative analysis with the probabilistic model checker PRISM. Electronic Notes in Theoretical Computer Science 153(2), 5-31 (2005)
6. Kwiatkowska, M., et al.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation, pp. 220-270. Springer, Heidelberg (2007) (Pubitemid 47290140)
7. Microsoft Corporation. Xml schema definition tool (xsd.exe) (2007), http://msdn2.microsoft.com/en-us/library/x6c1kb0s(VS.80).aspx
8. Parashar, M., Hariri, S.: Autonomic Computing: Concepts, Infrastructure & Applications. CRC Press, Boca Raton (2006) 9. PRISM Case Studies, http://www.prismmodelchecker.org/casestudies