[PDF] Top 20 Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation
Has 10000 "Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation" found on our website. Below are the top 20 most common "Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation".
Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation
... an approach that combines model-driven technology and pattern-based develop- ment to address the design of dependable ...posed approach makes use of patterns as is primary ... Voir le document complet
36
Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation
... the model search and tailoring tasks, and a framework allowing a sim- pler specification of constraints would be ...users and constructed from a set of previously developed ...scenarios ... Voir le document complet
37
A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support
... Model-driven engineering Security & dependability patterns a b s t r a c t Several development approaches have been proposed to cope with the increasing complexity of embedded ... Voir le document complet
19
Model-based Specification and Validation of Security and Dependability Patterns
... Security and Dependabil- ity (S&D) ...modeling and development framework to support the specifications and the validation of S&D patterns and to assist the ... Voir le document complet
20
Model-based Specification and Validation of Security and Dependability Patterns
... Security and Dependabil- ity (S&D) ...modeling and development framework to support the specifications and the validation of S&D patterns and to assist the ... Voir le document complet
19
A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support
... Model-driven engineering Security & dependability patterns a b s t r a c t Several development approaches have been proposed to cope with the increasing complexity of embedded ... Voir le document complet
20
Engineering secure systems: Models, patterns and empirical validation
... MDE tool chain and to the support provided by the experts at the partner ...the approach itself may be reused, such as ex- plained during the high-level description of the approach at ... Voir le document complet
35
Overlapping Waves in Tool Use Development: a Curiosity-Driven Computational Model
... Sud-Ouest and Ensta Paristech Email: ...Abstract—The development of tool use in children is a key question for the understanding of the development of human ...evaluate and select ... Voir le document complet
9
The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering
... back-end support, and may be visited by the customer, but not necessarily in pre-defined ...suggestion, and yet, continues to provide that customer the remaining ...BP, and the possibility of ... Voir le document complet
20
From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
... learn and thus constitutes a convenient objective to lead the search of a ...programming and more generally multi-objective evolutionary computation has received increasing attention in the last ... Voir le document complet
169
The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering
... back-end support, and may be visited by the customer, but not necessarily in pre-defined ...suggestion, and yet, continues to provide that customer the remaining ...BP, and the possibility of ... Voir le document complet
21
Support vector machines: a tool for pattern recognition and classification
... of Pattern Recognition Pattern recognition techniques are widely used in various domains such as medicine (cancer diagnosis, homosexual and heterosexual detection based on the analysis of ... Voir le document complet
14
Combining Model-Driven Engineering and Cloud Computing
... (probably based on a predefined taxonomy/ontology) to facilitate the discovery and compo- sition of services, on a common type systems for those ser- vices and to check whether current standards for ... Voir le document complet
3
Pattern-based requirements development
... refinement, development, certification, reactive ...the development of safety critical ...of model checking, they have been used to check a posteriori that a model has the required properties ... Voir le document complet
11
Model Driven Engineering with Capella and AADL
... platform and the operating system services in order to characterize the energy overhead of embedded operating system ...AADL model transformation in order to be exploited by a multiprocessor simulation ... Voir le document complet
11
2020 — A DO-178C-compliant model-driven approach to support the development and certification of safety-critical avionics software
... Keywords: Model-Driven Engineering, safety-critical systems, avionics systems, heterogeneous design, requirements specification, certification, DO-178C.... TABLE OF CONTENTS Page INTRODUCT[r] ... Voir le document complet
414
Evaluating a Pattern Approach as an Aid for the Development of Organisational Knowledge: An Empirical Study
... The evaluators also expressed a need to introduce more detailed and precise solutions to the problems addressed. Another contribution towards achieving more complete solutions would be to add specific examples of ... Voir le document complet
16
Combining formal verification environments and model-driven engineering
... Figure 3.1 shows the global context we work in. The arrows represent automatic func- tions. The dashed ones show a transformation that could be implemented managing some restrictions on the language used to describe data ... Voir le document complet
176
Research Questions for Validation and Verification in the Context of Model-Based Engineering
... broad and diverse spectrum of V&V machines (like B, Coq, HOL/Isabelle, SAT, SMT, CSP solvers, Relational logic and enumerative techniques) be globally compared in a fair way at all? Domain-Specific ... Voir le document complet
11
Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering
... this model representation, you can: (i) provide multiple syntactic representations of the composite application ...description); and (iii) formally capture the user manipulations of the ...languages ... Voir le document complet
25
Sujets connexes