T-LADIES
Typeful Language Adaptation for Dynamic, Interacting and Evolving System
Contatti
Abstract
language and engineering techniques struggle to keep up with the pace at which such applications evolve and provide inadequate support for development/maintenance, automatic property
verification/enforcement and bug detection.
T-LADIES has 3 pillars:
1) as a flexible and noninvasive mechanism for the adaptation of complex applications to different scenariosLANGUAGE ADAPTATION
2) as cornerstones for modular development of complex and evolving applicationsINTERACTION MECHANISMS
3) for the specification of entities, error detection and type-driven application synthesis
Durata
36 Months
Istituto finanziario
Ministeriale/Governativo