D.2 SOFTWARE ENGINEERING

Label

• D.2 SOFTWARE ENGINEERING (literal)

Membro di

• Parole chiave di "17th International Software Product Line Conference" (Insieme di parole chiave)
• Parole chiave di "Securing Java with local policies" (Insieme di parole chiave)
• Parole chiave di "The Metrô Rio ATP case study" (Insieme di parole chiave)
• Keywords of "An industrial application of formal model based development: the Metro Rio ATP case" (Insieme di parole chiave)
• Parole chiave di "ServicePot - An extensible registry for choreography governance" (Insieme di parole chiave)
• Keywords of "Model based testing and abstract interpretation in the railway signaling context" (Insieme di parole chiave)
• Keywords of "Mining commonalities and variabilities from natural language documents" (Insieme di parole chiave)
• Parole chiave di "XACMUT: XACML 2.0 Mutants generator" (Insieme di parole chiave)
• Parole chiave di "Routing Issues in Opportunistic Networks" (Insieme di parole chiave)
• Keywords of "Preface of SEFM 2010" (Insieme di parole chiave)
• Parole chiave di "A toolchain for designing and testing XACML policies" (Insieme di parole chiave)
• Parole chiave di "SEFM 2010 - Poster and Tool Demo Session Proceedings" (Insieme di parole chiave)
• Keywords of "iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session" (Insieme di parole chiave)
• Parole chiave di "Software architecture-based analysis and testing: a look into achievements and future challenges" (Insieme di parole chiave)
• Keywords of "Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011" (Insieme di parole chiave)
• Parole chiave di "Web Services and Formal Methods" (Insieme di parole chiave)
• Keywords of "A generative approach for the adaptive monitoring of SLA in service choreographies" (Insieme di parole chiave)
• Keywords of "Software requirements elicitation in the context of a collaborative research project : technical report" (Insieme di parole chiave)
• Keywords of "Context transformations for goal models" (Insieme di parole chiave)
• Keywords of "Informatica industriale" (Insieme di parole chiave)

Value

• D.2 SOFTWARE ENGINEERING (literal)

Incoming links:

Ha membro

• Parole chiave di "XACMUT: XACML 2.0 Mutants generator" (Insieme di parole chiave)
• Keywords of "Model based testing and abstract interpretation in the railway signaling context" (Insieme di parole chiave)
• Keywords of "Preface of SEFM 2010" (Insieme di parole chiave)
• Parole chiave di "Software architecture-based analysis and testing: a look into achievements and future challenges" (Insieme di parole chiave)
• Parole chiave di "Routing Issues in Opportunistic Networks" (Insieme di parole chiave)
• Keywords of "Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011" (Insieme di parole chiave)
• Parole chiave di "Web Services and Formal Methods" (Insieme di parole chiave)
• Keywords of "Software requirements elicitation in the context of a collaborative research project : technical report" (Insieme di parole chiave)
• Parole chiave di "17th International Software Product Line Conference" (Insieme di parole chiave)
• Keywords of "Context transformations for goal models" (Insieme di parole chiave)
• Keywords of "iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session" (Insieme di parole chiave)
• Keywords of "A generative approach for the adaptive monitoring of SLA in service choreographies" (Insieme di parole chiave)
• Parole chiave di "A toolchain for designing and testing XACML policies" (Insieme di parole chiave)
• Keywords of "Informatica industriale" (Insieme di parole chiave)
• Parole chiave di "ServicePot - An extensible registry for choreography governance" (Insieme di parole chiave)
• Parole chiave di "Securing Java with local policies" (Insieme di parole chiave)
• Keywords of "Mining commonalities and variabilities from natural language documents" (Insieme di parole chiave)
• Parole chiave di "The Metrô Rio ATP case study" (Insieme di parole chiave)
• Parole chiave di "SEFM 2010 - Poster and Tool Demo Session Proceedings" (Insieme di parole chiave)
• Keywords of "An industrial application of formal model based development: the Metro Rio ATP case" (Insieme di parole chiave)