Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

62

CBSE
2006
Springer

favoriteEmaildiscussreport

154views Software Engineering» more CBSE 2006»

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

15 years 2 months ago

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

Download www.ict.swin.edu.au

Markus Lumpe

Real-time Traffic

CBSE 2006 | Software Engineering |

claim paper

Related Content

» Reasoning about Probabilistic Security Using TaskPIOAs

» Approximate Reasoning about Combined Knowledge

» A Generic Complete Dynamic Logic for Reasoning About Purity and Effects

» An ArgumentationBased Approach for Practical Reasoning

» An argumentation based approach for practical reasoning

» The impact of higherorder state and control effects on local relational reasoning

» A Language Framework for Expressing Checkable Properties of Dynamic Software

» A Semantic Framework for Language Layering in WSML

» COSMO A conceptual framework for service modelling and refinement

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2006
Where	CBSE
Authors	Markus Lumpe

Comments (0)