Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers - Brossura

Brossura

ISBN 10: 3642340067 ISBN 13: 9783642340062

Casa editrice: Springer, 2012

Riassunto

Rigorous Component-Based System Design (Invited Paper).- Program Analysis Scenarios in Rascal.- K Framework Distilled.- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.- Making Maude Definitions More Interactive.- Model Checking LTLR Formulas under Localized Fairness.- Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.- Order-Sorted Equality Enrichments Modulo Axioms.- Timed CTL Model Checking in Real-Time Maude.- Using Narrowing to Test Maude Specifications.- A Rule-Based Framework for Building Superposition-Based Decision Procedures.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 3642340067
• ISBN 13: 9783642340062
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile