D.2.2 Design Tools and Techniques

Label

• D.2.2 Design Tools and Techniques (literal)

Membro di

• Keywords of "A model-checking approach for service component architectures" (Insieme di parole chiave)
• Keywords of "A proactive system for maritime environment monitoring" (Insieme di parole chiave)
• Parole chiave di "Muskel: a skeleton library supporting skeleton set expandability" (Insieme di parole chiave)
• Keywords of "Modelling dynamic software architectures using typed graph grammars" (Insieme di parole chiave)
• Keywords of "BRICKS - D1.3.4 - Desktop Demonstrator Final System Description, Set-up and Developer's Guide" (Insieme di parole chiave)
• Parole chiave di "Let the puppets move! Automated testbed generation for service-oriented mobile applications" (Insieme di parole chiave)
• Keywords of "A QoS test-bed generator for Web services" (Insieme di parole chiave)
• Keywords of "Automatic generation of test-beds for pre-deployment QoS evaluation of Web services" (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 "Behavioural skeletons in GCM: autonomic management of grid components" (Insieme di parole chiave)
• Keywords of "Book4All: a tool to make an e-book more accessible to students with vision/visual-impairments" (Insieme di parole chiave)
• Parole chiave di "Model-based generation of testbeds for Web services" (Insieme di parole chiave)
• Parole chiave di "Grid.it - WP8 Resource Management Systems: Scheduling of Resource-Intensive Multi-Component Applications" (Insieme di parole chiave)
• Keywords of "Design Criteria for Location-aware, Indoor, PDA Applications" (Insieme di parole chiave)
• Keywords of "Modelling variability, evolvability, and adaptability in service computing" (Insieme di parole chiave)
• Keywords of "Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series" (Insieme di parole chiave)
• Parole chiave di "Supporting interactive workflow systems through graphical Web interfaces and interactive simulators" (Insieme di parole chiave)
• Keywords of "Automatic Instantiation for Railway Interlocking Systems" (Insieme di parole chiave)
• Parole chiave di "Time-based retrieval of soft maps for environmental change detection" (Insieme di parole chiave)
• Parole chiave di "A taxonomy for migratory user interfaces" (Insieme di parole chiave)
• Keywords of "An Effective Recommender System for Highly Dynamic and Large Web Sites" (Insieme di parole chiave)
• Parole chiave di "Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services" (Insieme di parole chiave)
• Parole chiave di "Dynamic software architectures verification using DynAlloy" (Insieme di parole chiave)
• Keywords of "Tools and models for high level parallel and Grid programming" (Insieme di parole chiave)
• Parole chiave di "Statemate XMI Exporter" (Insieme di parole chiave)
• Parole chiave di "Task-driven service discovery and selection" (Insieme di parole chiave)
• Keywords of "A decision support resource as a kernel of a semantic Web based platform oriented to heart failure" (Insieme di parole chiave)
• Parole chiave di "Supporting flexible development of multi-device interfaces" (Insieme di parole chiave)
• Parole chiave di "Model driven development of railway systems using diversity" (Insieme di parole chiave)
• Keywords of "A proactive GIS infrastructure for environmental monitoring" (Insieme di parole chiave)
• Keywords of "Model driven development and code generation: an automotive case study" (Insieme di parole chiave)
• Keywords of "Experimenting with diversity in the model driven development of a railway signalling system" (Insieme di parole chiave)
• Parole chiave di "Procedimento e sistema per la determinazione del volume di grasso cardiaco epicardico a partire da immagini volumetriche, e relativo programma per elaboratore" (Insieme di parole chiave)
• Parole chiave di "DomoML-env: an ontology for Human Home Interaction" (Insieme di parole chiave)
• Parole chiave di "Some experiences on formal specification of railway interlocking systems using statecharts" (Insieme di parole chiave)
• Keywords of "Analysis of a pointing task on a white board" (Insieme di parole chiave)
• Parole chiave di "Automatic XML-schema generation UML application profile" (Insieme di parole chiave)
• Keywords of "Modelling and analysing the finance case study in UMC" (Insieme di parole chiave)
• Keywords of "Editorial - MARTE modelling, model transformations and their usages" (Insieme di parole chiave)
• Parole chiave di "Automatic synthesis of behavior protocols for composable Web-services" (Insieme di parole chiave)
• Parole chiave di "Natural Development of Ubiquitous Interfaces" (Insieme di parole chiave)
• Parole chiave di "Model-based dynamic QoS-driven service composition" (Insieme di parole chiave)
• Keywords of "SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity" (Insieme di parole chiave)
• Parole chiave di "Adaptive SLA Monitoring of Service Choreographies Enacted on the Cloud" (Insieme di parole chiave)
• Keywords of "MIDAS - Analysis of required functionalities and available public Cloud services" (Insieme di parole chiave)
• Keywords of "Modeling and early performance estimation for network processor applications" (Insieme di parole chiave)
• Keywords of "A graph-based design framework for global computing systems" (Insieme di parole chiave)
• Parole chiave di "Designing UML models with UMC" (Insieme di parole chiave)
• Keywords of "An experience on formal analysis of a high-level graphical SOA design" (Insieme di parole chiave)
• Parole chiave di "A model-checking approach for service component architectures" (Insieme di parole chiave)
• Keywords of "Instantiating generic charts for railway interlocking systems" (Insieme di parole chiave)
• Parole chiave di "The MultiMatch project: multilingual/multimedia access to cultural heritage on the Web" (Insieme di parole chiave)
• Keywords of "A comparison between handwritten and automatic generation of C code from SDL using static analysis" (Insieme di parole chiave)
• Parole chiave di "Analysis of a pointing task on a white board" (Insieme di parole chiave)
• Keywords of "Automatic XML schema generation UML application" (Insieme di parole chiave)
• Keywords of "Generazione automatica di casi di test per sistemi di controllo degli accessi espressi tramite XACML" (Insieme di parole chiave)

Value

• D.2.2 Design Tools and Techniques (literal)

Incoming links:

Ha membro

• Keywords of "Modeling and early performance estimation for network processor applications" (Insieme di parole chiave)
• Keywords of "A model-checking approach for service component architectures" (Insieme di parole chiave)
• Keywords of "Generazione automatica di casi di test per sistemi di controllo degli accessi espressi tramite XACML" (Insieme di parole chiave)
• Parole chiave di "DomoML-env: an ontology for Human Home Interaction" (Insieme di parole chiave)
• Keywords of "MIDAS - Analysis of required functionalities and available public Cloud services" (Insieme di parole chiave)
• Keywords of "Model driven development and code generation: an automotive case study" (Insieme di parole chiave)
• Keywords of "Automatic XML schema generation UML application" (Insieme di parole chiave)
• Parole chiave di "The MultiMatch project: multilingual/multimedia access to cultural heritage on the Web" (Insieme di parole chiave)
• Keywords of "A comparison between handwritten and automatic generation of C code from SDL using static analysis" (Insieme di parole chiave)
• Keywords of "Modelling and analysing the finance case study in UMC" (Insieme di parole chiave)
• Parole chiave di "Grid.it - WP8 Resource Management Systems: Scheduling of Resource-Intensive Multi-Component Applications" (Insieme di parole chiave)
• Parole chiave di "Task-driven service discovery and selection" (Insieme di parole chiave)
• Parole chiave di "Model-based dynamic QoS-driven service composition" (Insieme di parole chiave)
• Keywords of "Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series" (Insieme di parole chiave)
• Keywords of "BRICKS - D1.3.4 - Desktop Demonstrator Final System Description, Set-up and Developer's Guide" (Insieme di parole chiave)
• Keywords of "Book4All: a tool to make an e-book more accessible to students with vision/visual-impairments" (Insieme di parole chiave)
• Keywords of "A proactive GIS infrastructure for environmental monitoring" (Insieme di parole chiave)
• Keywords of "Tools and models for high level parallel and Grid programming" (Insieme di parole chiave)
• Parole chiave di "Adaptive SLA Monitoring of Service Choreographies Enacted on the Cloud" (Insieme di parole chiave)
• Keywords of "A proactive system for maritime environment monitoring" (Insieme di parole chiave)
• Parole chiave di "Statemate XMI Exporter" (Insieme di parole chiave)
• Parole chiave di "Time-based retrieval of soft maps for environmental change detection" (Insieme di parole chiave)
• Keywords of "A decision support resource as a kernel of a semantic Web based platform oriented to heart failure" (Insieme di parole chiave)
• Parole chiave di "Some experiences on formal specification of railway interlocking systems using statecharts" (Insieme di parole chiave)
• Parole chiave di "Designing UML models with UMC" (Insieme di parole chiave)
• Keywords of "Editorial - MARTE modelling, model transformations and their usages" (Insieme di parole chiave)
• Parole chiave di "Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services" (Insieme di parole chiave)
• Parole chiave di "Model driven development of railway systems using diversity" (Insieme di parole chiave)
• Parole chiave di "Behavioural skeletons in GCM: autonomic management of grid components" (Insieme di parole chiave)
• Parole chiave di "Automatic XML-schema generation UML application profile" (Insieme di parole chiave)
• Parole chiave di "Natural Development of Ubiquitous Interfaces" (Insieme di parole chiave)
• Parole chiave di "Analysis of a pointing task on a white board" (Insieme di parole chiave)
• Parole chiave di "Model-based generation of testbeds for Web services" (Insieme di parole chiave)
• Parole chiave di "Procedimento e sistema per la determinazione del volume di grasso cardiaco epicardico a partire da immagini volumetriche, e relativo programma per elaboratore" (Insieme di parole chiave)
• Keywords of "Instantiating generic charts for railway interlocking systems" (Insieme di parole chiave)
• Keywords of "A generative approach for the adaptive monitoring of SLA in service choreographies" (Insieme di parole chiave)
• Keywords of "Modelling variability, evolvability, and adaptability in service computing" (Insieme di parole chiave)
• Parole chiave di "A model-checking approach for service component architectures" (Insieme di parole chiave)
• Parole chiave di "Muskel: a skeleton library supporting skeleton set expandability" (Insieme di parole chiave)
• Parole chiave di "Supporting flexible development of multi-device interfaces" (Insieme di parole chiave)
• Keywords of "An Effective Recommender System for Highly Dynamic and Large Web Sites" (Insieme di parole chiave)
• Keywords of "Design Criteria for Location-aware, Indoor, PDA Applications" (Insieme di parole chiave)
• Keywords of "Automatic Instantiation for Railway Interlocking Systems" (Insieme di parole chiave)
• Keywords of "Automatic generation of test-beds for pre-deployment QoS evaluation of Web services" (Insieme di parole chiave)
• Parole chiave di "Automatic synthesis of behavior protocols for composable Web-services" (Insieme di parole chiave)
• Parole chiave di "A taxonomy for migratory user interfaces" (Insieme di parole chiave)
• Keywords of "SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity" (Insieme di parole chiave)
• Parole chiave di "Let the puppets move! Automated testbed generation for service-oriented mobile applications" (Insieme di parole chiave)
• Keywords of "Modelling dynamic software architectures using typed graph grammars" (Insieme di parole chiave)
• Parole chiave di "Dynamic software architectures verification using DynAlloy" (Insieme di parole chiave)
• Parole chiave di "Supporting interactive workflow systems through graphical Web interfaces and interactive simulators" (Insieme di parole chiave)
• Keywords of "Analysis of a pointing task on a white board" (Insieme di parole chiave)
• Keywords of "Experimenting with diversity in the model driven development of a railway signalling system" (Insieme di parole chiave)
• Keywords of "An experience on formal analysis of a high-level graphical SOA design" (Insieme di parole chiave)
• Keywords of "A graph-based design framework for global computing systems" (Insieme di parole chiave)
• Keywords of "A QoS test-bed generator for Web services" (Insieme di parole chiave)