Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(SysML). Showing records 1 – 30 of 71 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters

1. Warniez, Aude. Métriques d'intégration pour le choix d'architectures dans la conception des systèmes mécatroniques : Metrics integration for the choice of architectures in the design of mechatronic systems.

Degree: Docteur es, Sciences pour l'ingénieur, 2015, Châtenay-Malabry, Ecole centrale de Paris

L’intégration des systèmes mécatroniques est la source première de leur complexité de conception. Trois principaux types d’intégration sont en cause : l’intégration multi-domaine qui vise… (more)

Subjects/Keywords: Métriques; Préconception; Evaluation; Architecture; SysML; Metrics; Embodiment design; Evaluation; Architecture; SysML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Warniez, A. (2015). Métriques d'intégration pour le choix d'architectures dans la conception des systèmes mécatroniques : Metrics integration for the choice of architectures in the design of mechatronic systems. (Doctoral Dissertation). Châtenay-Malabry, Ecole centrale de Paris. Retrieved from http://www.theses.fr/2015ECAP0030

Chicago Manual of Style (16th Edition):

Warniez, Aude. “Métriques d'intégration pour le choix d'architectures dans la conception des systèmes mécatroniques : Metrics integration for the choice of architectures in the design of mechatronic systems.” 2015. Doctoral Dissertation, Châtenay-Malabry, Ecole centrale de Paris. Accessed September 17, 2019. http://www.theses.fr/2015ECAP0030.

MLA Handbook (7th Edition):

Warniez, Aude. “Métriques d'intégration pour le choix d'architectures dans la conception des systèmes mécatroniques : Metrics integration for the choice of architectures in the design of mechatronic systems.” 2015. Web. 17 Sep 2019.

Vancouver:

Warniez A. Métriques d'intégration pour le choix d'architectures dans la conception des systèmes mécatroniques : Metrics integration for the choice of architectures in the design of mechatronic systems. [Internet] [Doctoral dissertation]. Châtenay-Malabry, Ecole centrale de Paris; 2015. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2015ECAP0030.

Council of Science Editors:

Warniez A. Métriques d'intégration pour le choix d'architectures dans la conception des systèmes mécatroniques : Metrics integration for the choice of architectures in the design of mechatronic systems. [Doctoral Dissertation]. Châtenay-Malabry, Ecole centrale de Paris; 2015. Available from: http://www.theses.fr/2015ECAP0030


Clemson University

2. Patel, Vikas. SysML-Based Domain-Specific Executable Workflows.

Degree: MS, Computer Science, 2010, Clemson University

 The Systems Modeling Language (SysML) is a general-purpose graphical modeling language for specifying, analyzing, designing, and verifying complex systems. This thesis presents a tool called… (more)

Subjects/Keywords: executable workflows; modeling; SysML; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Patel, V. (2010). SysML-Based Domain-Specific Executable Workflows. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/979

Chicago Manual of Style (16th Edition):

Patel, Vikas. “SysML-Based Domain-Specific Executable Workflows.” 2010. Masters Thesis, Clemson University. Accessed September 17, 2019. https://tigerprints.clemson.edu/all_theses/979.

MLA Handbook (7th Edition):

Patel, Vikas. “SysML-Based Domain-Specific Executable Workflows.” 2010. Web. 17 Sep 2019.

Vancouver:

Patel V. SysML-Based Domain-Specific Executable Workflows. [Internet] [Masters thesis]. Clemson University; 2010. [cited 2019 Sep 17]. Available from: https://tigerprints.clemson.edu/all_theses/979.

Council of Science Editors:

Patel V. SysML-Based Domain-Specific Executable Workflows. [Masters Thesis]. Clemson University; 2010. Available from: https://tigerprints.clemson.edu/all_theses/979

3. Borchani, Mohamed. Approche d’ingénierie systèmes pour l’intégration de la fabricabilité dans le processus de conception des systèmes mécatroniques : Systems engineering approach for the integration of manufacturability in the design process of mechatronic systems.

Degree: Docteur es, Sciences et technologies industrielles, 2019, Paris Saclay; Université de Tunis

L’originalité de notre travail consiste à développer une approche qui intègre l’ingénierie systèmes basée sur les modèles (MBSE) avec les principes de l’approche SBCE afin… (more)

Subjects/Keywords: MBSE; SBCE; SysML; Ingénierie Systèmes; Fabricabilité; Fiabilité; MBSE; SBCE; SysML; Systems engineering; Manufacturability; Reliability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Borchani, M. (2019). Approche d’ingénierie systèmes pour l’intégration de la fabricabilité dans le processus de conception des systèmes mécatroniques : Systems engineering approach for the integration of manufacturability in the design process of mechatronic systems. (Doctoral Dissertation). Paris Saclay; Université de Tunis. Retrieved from http://www.theses.fr/2019SACLC043

Chicago Manual of Style (16th Edition):

Borchani, Mohamed. “Approche d’ingénierie systèmes pour l’intégration de la fabricabilité dans le processus de conception des systèmes mécatroniques : Systems engineering approach for the integration of manufacturability in the design process of mechatronic systems.” 2019. Doctoral Dissertation, Paris Saclay; Université de Tunis. Accessed September 17, 2019. http://www.theses.fr/2019SACLC043.

MLA Handbook (7th Edition):

Borchani, Mohamed. “Approche d’ingénierie systèmes pour l’intégration de la fabricabilité dans le processus de conception des systèmes mécatroniques : Systems engineering approach for the integration of manufacturability in the design process of mechatronic systems.” 2019. Web. 17 Sep 2019.

Vancouver:

Borchani M. Approche d’ingénierie systèmes pour l’intégration de la fabricabilité dans le processus de conception des systèmes mécatroniques : Systems engineering approach for the integration of manufacturability in the design process of mechatronic systems. [Internet] [Doctoral dissertation]. Paris Saclay; Université de Tunis; 2019. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2019SACLC043.

Council of Science Editors:

Borchani M. Approche d’ingénierie systèmes pour l’intégration de la fabricabilité dans le processus de conception des systèmes mécatroniques : Systems engineering approach for the integration of manufacturability in the design process of mechatronic systems. [Doctoral Dissertation]. Paris Saclay; Université de Tunis; 2019. Available from: http://www.theses.fr/2019SACLC043

4. Chaves Café, Daniel. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.

Degree: Docteur es, Informatique (STIC), 2015, Supélec

À l'ère de systèmes électroniques intégrés, les ingénieurs font face au défi de concevoir et de tester des systèmes hétérogènes contenant des parties analogiques, numériques,… (more)

Subjects/Keywords: Modélisation hétérogène; SysML; SystemC-AMS; VHDL-AMS; Adaptation sémantique; Heterogeneous modeling; SysML; SystemC-AMS; VHDL-AMS; Semantic adaptation; 378.242

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chaves Café, D. (2015). Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. (Doctoral Dissertation). Supélec. Retrieved from http://www.theses.fr/2015SUPL0019

Chicago Manual of Style (16th Edition):

Chaves Café, Daniel. “Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.” 2015. Doctoral Dissertation, Supélec. Accessed September 17, 2019. http://www.theses.fr/2015SUPL0019.

MLA Handbook (7th Edition):

Chaves Café, Daniel. “Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.” 2015. Web. 17 Sep 2019.

Vancouver:

Chaves Café D. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. [Internet] [Doctoral dissertation]. Supélec; 2015. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2015SUPL0019.

Council of Science Editors:

Chaves Café D. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. [Doctoral Dissertation]. Supélec; 2015. Available from: http://www.theses.fr/2015SUPL0019

5. Cressent, Robin. Valorisation de l'Ingénierie Système à Base de Modèles, pour l'analyse de sûreté de fonctionnement des systèmes complexes critiques intégrant des COTS : Promotion of the Model-Based System Engineering approach for dependability analyses of critical complex systems integrating COTS.

Degree: Docteur es, Sciences et technologies industrielles, 2012, Université d'Orléans

À l’heure actuelle et depuis plusieurs années, les nouveaux systèmes développés par les industriels ne cessent de se complexifier, de faire intervenir toujours plus de… (more)

Subjects/Keywords: SysML; Sûreté de fonctionnement; Ingénierie Système; AMDEC; FIDES; AADL; Simulink; SysML; Reliability analysis; System Engineering; FMEA; FIDES; AADL; Simulink

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cressent, R. (2012). Valorisation de l'Ingénierie Système à Base de Modèles, pour l'analyse de sûreté de fonctionnement des systèmes complexes critiques intégrant des COTS : Promotion of the Model-Based System Engineering approach for dependability analyses of critical complex systems integrating COTS. (Doctoral Dissertation). Université d'Orléans. Retrieved from http://www.theses.fr/2012ORLE2047

Chicago Manual of Style (16th Edition):

Cressent, Robin. “Valorisation de l'Ingénierie Système à Base de Modèles, pour l'analyse de sûreté de fonctionnement des systèmes complexes critiques intégrant des COTS : Promotion of the Model-Based System Engineering approach for dependability analyses of critical complex systems integrating COTS.” 2012. Doctoral Dissertation, Université d'Orléans. Accessed September 17, 2019. http://www.theses.fr/2012ORLE2047.

MLA Handbook (7th Edition):

Cressent, Robin. “Valorisation de l'Ingénierie Système à Base de Modèles, pour l'analyse de sûreté de fonctionnement des systèmes complexes critiques intégrant des COTS : Promotion of the Model-Based System Engineering approach for dependability analyses of critical complex systems integrating COTS.” 2012. Web. 17 Sep 2019.

Vancouver:

Cressent R. Valorisation de l'Ingénierie Système à Base de Modèles, pour l'analyse de sûreté de fonctionnement des systèmes complexes critiques intégrant des COTS : Promotion of the Model-Based System Engineering approach for dependability analyses of critical complex systems integrating COTS. [Internet] [Doctoral dissertation]. Université d'Orléans; 2012. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2012ORLE2047.

Council of Science Editors:

Cressent R. Valorisation de l'Ingénierie Système à Base de Modèles, pour l'analyse de sûreté de fonctionnement des systèmes complexes critiques intégrant des COTS : Promotion of the Model-Based System Engineering approach for dependability analyses of critical complex systems integrating COTS. [Doctoral Dissertation]. Université d'Orléans; 2012. Available from: http://www.theses.fr/2012ORLE2047

6. LIMA, Lucas Albertins de. Formalisation of SysML design models and an analysis strategy using refinement .

Degree: 2016, Universidade Federal de Pernambuco

 The increasing complexity of systems has led to increasing difficulty in design. Thestandard approach to development, based on trial and error, with testing used at… (more)

Subjects/Keywords: Álgebra de processos; CML; CSP; refinamento. automação; SysML; semântica; Process algebra; CML; CSP; CSP; refinement. Automation; SysML; Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LIMA, L. A. d. (2016). Formalisation of SysML design models and an analysis strategy using refinement . (Thesis). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/17636

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LIMA, Lucas Albertins de. “Formalisation of SysML design models and an analysis strategy using refinement .” 2016. Thesis, Universidade Federal de Pernambuco. Accessed September 17, 2019. https://repositorio.ufpe.br/handle/123456789/17636.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LIMA, Lucas Albertins de. “Formalisation of SysML design models and an analysis strategy using refinement .” 2016. Web. 17 Sep 2019.

Vancouver:

LIMA LAd. Formalisation of SysML design models and an analysis strategy using refinement . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2016. [cited 2019 Sep 17]. Available from: https://repositorio.ufpe.br/handle/123456789/17636.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LIMA LAd. Formalisation of SysML design models and an analysis strategy using refinement . [Thesis]. Universidade Federal de Pernambuco; 2016. Available from: https://repositorio.ufpe.br/handle/123456789/17636

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. Dobre, Dragos. Contribution à la modélisation d'un système interactif d'aide à la conduite d'un prodédé industriel : Contribution to the modelling of an interactive aiding system for industrial process control.

Degree: Docteur es, Automatique, traitement du signal et images, 2010, Université Henri Poincaré – Nancy I

Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de l'Ingénierie d'un Système Interactif d'Aide à la Conduite (SIAC) d'un procédé industriel. Nous défendons… (more)

Subjects/Keywords: Ingénierie Système; SysML; Spécification; Interaction Numérique; Aide à la Conduite; Systems Engineering; SysML; Specification; Digital Interaction; Aided Control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dobre, D. (2010). Contribution à la modélisation d'un système interactif d'aide à la conduite d'un prodédé industriel : Contribution to the modelling of an interactive aiding system for industrial process control. (Doctoral Dissertation). Université Henri Poincaré – Nancy I. Retrieved from http://www.theses.fr/2010NAN10109

Chicago Manual of Style (16th Edition):

Dobre, Dragos. “Contribution à la modélisation d'un système interactif d'aide à la conduite d'un prodédé industriel : Contribution to the modelling of an interactive aiding system for industrial process control.” 2010. Doctoral Dissertation, Université Henri Poincaré – Nancy I. Accessed September 17, 2019. http://www.theses.fr/2010NAN10109.

MLA Handbook (7th Edition):

Dobre, Dragos. “Contribution à la modélisation d'un système interactif d'aide à la conduite d'un prodédé industriel : Contribution to the modelling of an interactive aiding system for industrial process control.” 2010. Web. 17 Sep 2019.

Vancouver:

Dobre D. Contribution à la modélisation d'un système interactif d'aide à la conduite d'un prodédé industriel : Contribution to the modelling of an interactive aiding system for industrial process control. [Internet] [Doctoral dissertation]. Université Henri Poincaré – Nancy I; 2010. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2010NAN10109.

Council of Science Editors:

Dobre D. Contribution à la modélisation d'un système interactif d'aide à la conduite d'un prodédé industriel : Contribution to the modelling of an interactive aiding system for industrial process control. [Doctoral Dissertation]. Université Henri Poincaré – Nancy I; 2010. Available from: http://www.theses.fr/2010NAN10109

8. Chaves Café, Daniel. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.

Degree: Docteur es, Informatique (STIC), 2015, CentraleSupélec

À l'ère de systèmes électroniques intégrés, les ingénieurs font face au défi de concevoir et de tester des systèmes hétérogènes contenant des parties analogiques, numériques,… (more)

Subjects/Keywords: Modélisation hétérogène; SysML; SystemC-AMS; VHDL-AMS; Adaptation sémantique; Heterogeneous modeling; SysML; SystemC-AMS; VHDL-AMS; Semantic adaptation; 378.242

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chaves Café, D. (2015). Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. (Doctoral Dissertation). CentraleSupélec. Retrieved from http://www.theses.fr/2015CSUP0019

Chicago Manual of Style (16th Edition):

Chaves Café, Daniel. “Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.” 2015. Doctoral Dissertation, CentraleSupélec. Accessed September 17, 2019. http://www.theses.fr/2015CSUP0019.

MLA Handbook (7th Edition):

Chaves Café, Daniel. “Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.” 2015. Web. 17 Sep 2019.

Vancouver:

Chaves Café D. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. [Internet] [Doctoral dissertation]. CentraleSupélec; 2015. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2015CSUP0019.

Council of Science Editors:

Chaves Café D. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. [Doctoral Dissertation]. CentraleSupélec; 2015. Available from: http://www.theses.fr/2015CSUP0019

9. Costa, Tiago. Análise da concepção de sistemas de sistemas com a notação SysML.

Degree: 2009, Instituto Politécnico do Porto

Mestrado em Engenharia Informática

Nos últimos anos, a existência de sistema de sistemas é considerada como uma banalidade, algo que aceitamos como um dado adquirido.… (more)

Subjects/Keywords: Sistema de Sistemas; Modelação de Sistemas; UML; SysML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Costa, T. (2009). Análise da concepção de sistemas de sistemas com a notação SysML. (Thesis). Instituto Politécnico do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:recipp.ipp.pt:10400.22/1985

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Costa, Tiago. “Análise da concepção de sistemas de sistemas com a notação SysML.” 2009. Thesis, Instituto Politécnico do Porto. Accessed September 17, 2019. http://www.rcaap.pt/detail.jsp?id=oai:recipp.ipp.pt:10400.22/1985.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Costa, Tiago. “Análise da concepção de sistemas de sistemas com a notação SysML.” 2009. Web. 17 Sep 2019.

Vancouver:

Costa T. Análise da concepção de sistemas de sistemas com a notação SysML. [Internet] [Thesis]. Instituto Politécnico do Porto; 2009. [cited 2019 Sep 17]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:recipp.ipp.pt:10400.22/1985.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Costa T. Análise da concepção de sistemas de sistemas com a notação SysML. [Thesis]. Instituto Politécnico do Porto; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:recipp.ipp.pt:10400.22/1985

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

10. ANDRADE, Ermeson Carneiro de. Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos .

Degree: 2014, Universidade Federal de Pernambuco

 Os softwares possuem defeitos. Os computadores falham. Os v´ırus se propagam. Os pr´edios pegam fogo. As pessoas cometem erros. Os desastres acontecem. Embora gostar ´ıamos… (more)

Subjects/Keywords: Modelagem de dependabilidade; Sistemas distribuídos; DSPN; MARTE; SysML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

ANDRADE, E. C. d. (2014). Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/12092

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

ANDRADE, Ermeson Carneiro de. “Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos .” 2014. Thesis, Universidade Federal de Pernambuco. Accessed September 17, 2019. http://repositorio.ufpe.br/handle/123456789/12092.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

ANDRADE, Ermeson Carneiro de. “Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos .” 2014. Web. 17 Sep 2019.

Vancouver:

ANDRADE ECd. Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2014. [cited 2019 Sep 17]. Available from: http://repositorio.ufpe.br/handle/123456789/12092.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

ANDRADE ECd. Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos . [Thesis]. Universidade Federal de Pernambuco; 2014. Available from: http://repositorio.ufpe.br/handle/123456789/12092

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Clemson University

11. Mclellan, James. A Proposed Method to Identify Requirements Significant to Mass Reduction.

Degree: MS, Mechanical Engineering, 2010, Clemson University

 Reducing the mass of engineering products holds the potential for significant benefits by reducing material costs, environmental impact, transportation costs, and in the case of… (more)

Subjects/Keywords: FMTV; MagicDraw; Mass Reduction; Requirement Capabilities; Requirements; SysML; Engineering Mechanics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mclellan, J. (2010). A Proposed Method to Identify Requirements Significant to Mass Reduction. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/779

Chicago Manual of Style (16th Edition):

Mclellan, James. “A Proposed Method to Identify Requirements Significant to Mass Reduction.” 2010. Masters Thesis, Clemson University. Accessed September 17, 2019. https://tigerprints.clemson.edu/all_theses/779.

MLA Handbook (7th Edition):

Mclellan, James. “A Proposed Method to Identify Requirements Significant to Mass Reduction.” 2010. Web. 17 Sep 2019.

Vancouver:

Mclellan J. A Proposed Method to Identify Requirements Significant to Mass Reduction. [Internet] [Masters thesis]. Clemson University; 2010. [cited 2019 Sep 17]. Available from: https://tigerprints.clemson.edu/all_theses/779.

Council of Science Editors:

Mclellan J. A Proposed Method to Identify Requirements Significant to Mass Reduction. [Masters Thesis]. Clemson University; 2010. Available from: https://tigerprints.clemson.edu/all_theses/779

12. Liang, Feng. Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display.

Degree: The Institute of Technology, 2012, Linköping UniversityLinköping University

  The main objective of this thesis is to introduce a four perspectives structure in order to provide one solution for traceability and dependability in… (more)

Subjects/Keywords: Model Based System Engineering; Modelica; SysML; Requirement Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liang, F. (2012). Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display. (Thesis). Linköping UniversityLinköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-84829

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Liang, Feng. “Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display.” 2012. Thesis, Linköping UniversityLinköping University. Accessed September 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-84829.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Liang, Feng. “Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display.” 2012. Web. 17 Sep 2019.

Vancouver:

Liang F. Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display. [Internet] [Thesis]. Linköping UniversityLinköping University; 2012. [cited 2019 Sep 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-84829.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Liang F. Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display. [Thesis]. Linköping UniversityLinköping University; 2012. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-84829

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


IUPUI

13. Alai, Shashank P. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.

Degree: 2019, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

Systems Engineering is catching pace in many segments of product manufacturing industries. Model-Based Systems Engineering (MBSE) is the formalized application… (more)

Subjects/Keywords: systems engineering; MBSE; system architecture modeling; SysML; ARCADIA; Capella

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alai, S. P. (2019). Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/19641

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Alai, Shashank P. “Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.” 2019. Thesis, IUPUI. Accessed September 17, 2019. http://hdl.handle.net/1805/19641.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Alai, Shashank P. “Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.” 2019. Web. 17 Sep 2019.

Vancouver:

Alai SP. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. [Internet] [Thesis]. IUPUI; 2019. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/1805/19641.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Alai SP. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. [Thesis]. IUPUI; 2019. Available from: http://hdl.handle.net/1805/19641

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Arizona State University

14. Nesheiwat, Rod Bassam. Hydrogen Fuel Cell on a Helicopter: A System Engineering Approach.

Degree: Engineering, 2016, Arizona State University

 Hydrogen fuel cells have been previously investigated as a viable replacement to traditional gas turbine auxiliary power unit onboard fixed wing commercial jets. However, so… (more)

Subjects/Keywords: Engineering; APU; Gas Turbine; Hydrogen Fuel Cell; MBSE; Simulink; SysML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nesheiwat, R. B. (2016). Hydrogen Fuel Cell on a Helicopter: A System Engineering Approach. (Masters Thesis). Arizona State University. Retrieved from http://repository.asu.edu/items/38685

Chicago Manual of Style (16th Edition):

Nesheiwat, Rod Bassam. “Hydrogen Fuel Cell on a Helicopter: A System Engineering Approach.” 2016. Masters Thesis, Arizona State University. Accessed September 17, 2019. http://repository.asu.edu/items/38685.

MLA Handbook (7th Edition):

Nesheiwat, Rod Bassam. “Hydrogen Fuel Cell on a Helicopter: A System Engineering Approach.” 2016. Web. 17 Sep 2019.

Vancouver:

Nesheiwat RB. Hydrogen Fuel Cell on a Helicopter: A System Engineering Approach. [Internet] [Masters thesis]. Arizona State University; 2016. [cited 2019 Sep 17]. Available from: http://repository.asu.edu/items/38685.

Council of Science Editors:

Nesheiwat RB. Hydrogen Fuel Cell on a Helicopter: A System Engineering Approach. [Masters Thesis]. Arizona State University; 2016. Available from: http://repository.asu.edu/items/38685


IUPUI

15. Alai, Shashank P. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.

Degree: 2019, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

Systems Engineering is catching pace in many segments of product manufacturing industries. Model-Based Systems Engineering (MBSE) is the formalized application… (more)

Subjects/Keywords: systems engineering; MBSE; system architecture modeling; SysML; ARCADIA; Capella

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alai, S. P. (2019). Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/19766

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Alai, Shashank P. “Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.” 2019. Thesis, IUPUI. Accessed September 17, 2019. http://hdl.handle.net/1805/19766.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Alai, Shashank P. “Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.” 2019. Web. 17 Sep 2019.

Vancouver:

Alai SP. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. [Internet] [Thesis]. IUPUI; 2019. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/1805/19766.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Alai SP. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. [Thesis]. IUPUI; 2019. Available from: http://hdl.handle.net/1805/19766

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

16. Kênia Santos de Oliveira. Aspectos iniciais modelados com uma extensão da SYSML.

Degree: 2013, Federal University of Uberlândia

A Programação Orientada a Aspectos foi proposta com o objetivo de manipular interesses transversais de uma maneira eciente. Propostas iniciais nesta área foram aplicadas no… (more)

Subjects/Keywords: SysML; Arquitetura de software; Engenharia de requisitos; Aspectos; CIENCIA DA COMPUTACAO; Programação orientada a aspectos; Software - Arquitetura; SysML (Linguagem de modelagem padrão); Aspect; Requirements Engineering; Software Architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Oliveira, K. S. d. (2013). Aspectos iniciais modelados com uma extensão da SYSML. (Thesis). Federal University of Uberlândia. Retrieved from http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=4724

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Oliveira, Kênia Santos de. “Aspectos iniciais modelados com uma extensão da SYSML.” 2013. Thesis, Federal University of Uberlândia. Accessed September 17, 2019. http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=4724.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Oliveira, Kênia Santos de. “Aspectos iniciais modelados com uma extensão da SYSML.” 2013. Web. 17 Sep 2019.

Vancouver:

Oliveira KSd. Aspectos iniciais modelados com uma extensão da SYSML. [Internet] [Thesis]. Federal University of Uberlândia; 2013. [cited 2019 Sep 17]. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=4724.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Oliveira KSd. Aspectos iniciais modelados com uma extensão da SYSML. [Thesis]. Federal University of Uberlândia; 2013. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=4724

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

17. Bouaziz, Hamida. Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles.

Degree: Docteur es, Informatique, 2016, Besançon

Le travail présenté dans cette thèse a lieu dans le domaine de développement basé sur les composants, il est une contribution à laspécification, l'adaptation et… (more)

Subjects/Keywords: SysML; Adaptation; Verification; Développement basé sur les composants; Compatibilité; Automates d'interface; Réseaux de Petri colorés; Exigences; SysML; Adaptation; Vérification; Interface automata; Compatibility; Coloured Petri nets; Component-based development; Requirements; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bouaziz, H. (2016). Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles. (Doctoral Dissertation). Besançon. Retrieved from http://www.theses.fr/2016BESA2015

Chicago Manual of Style (16th Edition):

Bouaziz, Hamida. “Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles.” 2016. Doctoral Dissertation, Besançon. Accessed September 17, 2019. http://www.theses.fr/2016BESA2015.

MLA Handbook (7th Edition):

Bouaziz, Hamida. “Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles.” 2016. Web. 17 Sep 2019.

Vancouver:

Bouaziz H. Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles. [Internet] [Doctoral dissertation]. Besançon; 2016. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2016BESA2015.

Council of Science Editors:

Bouaziz H. Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles. [Doctoral Dissertation]. Besançon; 2016. Available from: http://www.theses.fr/2016BESA2015

18. Chalfoun, Imad. Conception et déploiement des Systèmes de Production Reconfigurables et Agiles (SPRA) : Design and deployment of Reconfigurable and Agile Manufacturing Systems (RAMS).

Degree: Docteur es, Génie Mécanique, 2014, Université Blaise-Pascale, Clermont-Ferrand II

L'industrie est aujourd'hui, comme elle a toujours été, une pierre angulaire de l'économie pour chaque pays développé. Avoir une base solide en entreprises industrielles est… (more)

Subjects/Keywords: Système de production; Reconfigurabilité; Agilité; SysML; Exigences; Modèle générique; Processus de reconfiguration; Pilotage opérationnel; Manufacturing system; Reconfigurability; Agility; SysML; Requirements; Generic model; Reconfiguration process; Operational control; Assembly line

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chalfoun, I. (2014). Conception et déploiement des Systèmes de Production Reconfigurables et Agiles (SPRA) : Design and deployment of Reconfigurable and Agile Manufacturing Systems (RAMS). (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2014CLF22488

Chicago Manual of Style (16th Edition):

Chalfoun, Imad. “Conception et déploiement des Systèmes de Production Reconfigurables et Agiles (SPRA) : Design and deployment of Reconfigurable and Agile Manufacturing Systems (RAMS).” 2014. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed September 17, 2019. http://www.theses.fr/2014CLF22488.

MLA Handbook (7th Edition):

Chalfoun, Imad. “Conception et déploiement des Systèmes de Production Reconfigurables et Agiles (SPRA) : Design and deployment of Reconfigurable and Agile Manufacturing Systems (RAMS).” 2014. Web. 17 Sep 2019.

Vancouver:

Chalfoun I. Conception et déploiement des Systèmes de Production Reconfigurables et Agiles (SPRA) : Design and deployment of Reconfigurable and Agile Manufacturing Systems (RAMS). [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2014. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2014CLF22488.

Council of Science Editors:

Chalfoun I. Conception et déploiement des Systèmes de Production Reconfigurables et Agiles (SPRA) : Design and deployment of Reconfigurable and Agile Manufacturing Systems (RAMS). [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2014. Available from: http://www.theses.fr/2014CLF22488


Université de Lorraine

19. Bouffaron, Fabien. Co-spécification système exécutable basée sur des modèles : application à la conduite interactive d’un procédé industriel critique : Executable system co-specification based on models : Application to interactive conduct of critical industrial process.

Degree: Docteur es, Automatique, Traitement du Signal et des Images, Génie Informatique, 2016, Université de Lorraine

Dans la mesure où un système est un ensemble d'éléments en interaction, la difficulté pour un ingénieur système est de guider l’architecture d'un modèle «… (more)

Subjects/Keywords: Ingénierie Système Basée sur des Modèles; Co-Simulation; Co-Spécification; Holon; SysML; Model Based Systems Engineering; Co-Simulation; Co-Specification; Holon; SysML; 620.004 2; 005.1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bouffaron, F. (2016). Co-spécification système exécutable basée sur des modèles : application à la conduite interactive d’un procédé industriel critique : Executable system co-specification based on models : Application to interactive conduct of critical industrial process. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2016LORR0001

Chicago Manual of Style (16th Edition):

Bouffaron, Fabien. “Co-spécification système exécutable basée sur des modèles : application à la conduite interactive d’un procédé industriel critique : Executable system co-specification based on models : Application to interactive conduct of critical industrial process.” 2016. Doctoral Dissertation, Université de Lorraine. Accessed September 17, 2019. http://www.theses.fr/2016LORR0001.

MLA Handbook (7th Edition):

Bouffaron, Fabien. “Co-spécification système exécutable basée sur des modèles : application à la conduite interactive d’un procédé industriel critique : Executable system co-specification based on models : Application to interactive conduct of critical industrial process.” 2016. Web. 17 Sep 2019.

Vancouver:

Bouffaron F. Co-spécification système exécutable basée sur des modèles : application à la conduite interactive d’un procédé industriel critique : Executable system co-specification based on models : Application to interactive conduct of critical industrial process. [Internet] [Doctoral dissertation]. Université de Lorraine; 2016. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2016LORR0001.

Council of Science Editors:

Bouffaron F. Co-spécification système exécutable basée sur des modèles : application à la conduite interactive d’un procédé industriel critique : Executable system co-specification based on models : Application to interactive conduct of critical industrial process. [Doctoral Dissertation]. Université de Lorraine; 2016. Available from: http://www.theses.fr/2016LORR0001

20. MENDONÇA NETO, Júlio Rodrigues de. Modelagem e análise de desempenho e consumo de energia em aplicações móveis .

Degree: 2015, Universidade Federal de Pernambuco

 É notável a propagação de dispositivos móveis inteligentes em todo o mundo. Em 2016, espera-se que o número de smartphones supere os 2 bilhões. A… (more)

Subjects/Keywords: Análise de desempenho; Consumo de energia; Aplicações móveis; Modelos; SysML; Redes de Petri; Performance Analysis; Energy consumption; Mobile applications; Models; SysML; Petri nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

MENDONÇA NETO, J. R. d. (2015). Modelagem e análise de desempenho e consumo de energia em aplicações móveis . (Masters Thesis). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/15901

Chicago Manual of Style (16th Edition):

MENDONÇA NETO, Júlio Rodrigues de. “Modelagem e análise de desempenho e consumo de energia em aplicações móveis .” 2015. Masters Thesis, Universidade Federal de Pernambuco. Accessed September 17, 2019. https://repositorio.ufpe.br/handle/123456789/15901.

MLA Handbook (7th Edition):

MENDONÇA NETO, Júlio Rodrigues de. “Modelagem e análise de desempenho e consumo de energia em aplicações móveis .” 2015. Web. 17 Sep 2019.

Vancouver:

MENDONÇA NETO JRd. Modelagem e análise de desempenho e consumo de energia em aplicações móveis . [Internet] [Masters thesis]. Universidade Federal de Pernambuco; 2015. [cited 2019 Sep 17]. Available from: https://repositorio.ufpe.br/handle/123456789/15901.

Council of Science Editors:

MENDONÇA NETO JRd. Modelagem e análise de desempenho e consumo de energia em aplicações móveis . [Masters Thesis]. Universidade Federal de Pernambuco; 2015. Available from: https://repositorio.ufpe.br/handle/123456789/15901

21. Bagnato, Alessandra. Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués.

Degree: Docteur es, Informatique, 2013, Evry, Institut national des télécommunications

Les systèmes embarqués, y compris les dispositifs, l’intergiciel et le logiciel pour la création de sous-systèmes intelligents capables de gérer le contrôle d’appareils électroniques, font… (more)

Subjects/Keywords: Ingénierie dirigée par les modèles; UML; SysML; Temps réel et systèmes embarqués; Model driven engineering; UML; SysML; Real-time and embedded systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bagnato, A. (2013). Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués. (Doctoral Dissertation). Evry, Institut national des télécommunications. Retrieved from http://www.theses.fr/2013TELE0004

Chicago Manual of Style (16th Edition):

Bagnato, Alessandra. “Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués.” 2013. Doctoral Dissertation, Evry, Institut national des télécommunications. Accessed September 17, 2019. http://www.theses.fr/2013TELE0004.

MLA Handbook (7th Edition):

Bagnato, Alessandra. “Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués.” 2013. Web. 17 Sep 2019.

Vancouver:

Bagnato A. Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués. [Internet] [Doctoral dissertation]. Evry, Institut national des télécommunications; 2013. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2013TELE0004.

Council of Science Editors:

Bagnato A. Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués. [Doctoral Dissertation]. Evry, Institut national des télécommunications; 2013. Available from: http://www.theses.fr/2013TELE0004

22. Medimegh, Slim. Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués : Formal analysis of hybrid specifications from SysML models for functional validation of embedded systems specifications.

Degree: Docteur es, Informatique, 2018, Paris Saclay

Le logiciel embarqué est devenuaujourd’hui incontournable dans la plupart dessecteurs industriels. Ce dernier fait appel engénéral à des connaissances métier différentes.L’ensemble du système (le logiciel… (more)

Subjects/Keywords: Systèmes hybrides; Simulation qualitative; Exécution symbolique; Transformation de modèle; SysML; Comportement qualitatif; Hybrid systems; Qualitative simulation; Symbolic exécution; Model transformation; SysML; Qualitative behavior

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Medimegh, S. (2018). Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués : Formal analysis of hybrid specifications from SysML models for functional validation of embedded systems specifications. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2018SACLC093

Chicago Manual of Style (16th Edition):

Medimegh, Slim. “Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués : Formal analysis of hybrid specifications from SysML models for functional validation of embedded systems specifications.” 2018. Doctoral Dissertation, Paris Saclay. Accessed September 17, 2019. http://www.theses.fr/2018SACLC093.

MLA Handbook (7th Edition):

Medimegh, Slim. “Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués : Formal analysis of hybrid specifications from SysML models for functional validation of embedded systems specifications.” 2018. Web. 17 Sep 2019.

Vancouver:

Medimegh S. Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués : Formal analysis of hybrid specifications from SysML models for functional validation of embedded systems specifications. [Internet] [Doctoral dissertation]. Paris Saclay; 2018. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2018SACLC093.

Council of Science Editors:

Medimegh S. Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués : Formal analysis of hybrid specifications from SysML models for functional validation of embedded systems specifications. [Doctoral Dissertation]. Paris Saclay; 2018. Available from: http://www.theses.fr/2018SACLC093


KTH

23. Lekamani, Sarangi Veeramani. Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle.

Degree: Electrical Engineering and Computer Science (EECS), 2018, KTH

Model Based Systems Engineering (MBSE) approach aims at implementing various processes of Systems Engineering (SE) through diagrams that provide different perspectives of the same… (more)

Subjects/Keywords: MBSE; SysML; Trajectory planning; ROS; Autonomous driving; MBSE; SysML; Banplanering; ROS; Autonom körning; Electrical Engineering, Electronic Engineering, Information Engineering; Elektroteknik och elektronik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lekamani, S. V. (2018). Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254891

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lekamani, Sarangi Veeramani. “Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle.” 2018. Thesis, KTH. Accessed September 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254891.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lekamani, Sarangi Veeramani. “Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle.” 2018. Web. 17 Sep 2019.

Vancouver:

Lekamani SV. Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle. [Internet] [Thesis]. KTH; 2018. [cited 2019 Sep 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254891.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lekamani SV. Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle. [Thesis]. KTH; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254891

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

24. Gauthier, Jean-Marie. Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML.

Degree: Docteur es, Informatique, 2015, Besançon

Les travaux de recherche menés au cours de cette thèse s'inscrivent dans le cadre de la modélisation, de la vérification et de la validation de… (more)

Subjects/Keywords: Simulation; Génération de tests; SysML; Validation; Animation; Test generation; MBSE; MDA; 004; 621.39

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gauthier, J. (2015). Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML. (Doctoral Dissertation). Besançon. Retrieved from http://www.theses.fr/2015BESA2053

Chicago Manual of Style (16th Edition):

Gauthier, Jean-Marie. “Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML.” 2015. Doctoral Dissertation, Besançon. Accessed September 17, 2019. http://www.theses.fr/2015BESA2053.

MLA Handbook (7th Edition):

Gauthier, Jean-Marie. “Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML.” 2015. Web. 17 Sep 2019.

Vancouver:

Gauthier J. Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML. [Internet] [Doctoral dissertation]. Besançon; 2015. [cited 2019 Sep 17]. Available from: http://www.theses.fr/2015BESA2053.

Council of Science Editors:

Gauthier J. Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML. [Doctoral Dissertation]. Besançon; 2015. Available from: http://www.theses.fr/2015BESA2053


Missouri University of Science and Technology

25. Wang, Renzhong. Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system.

Degree: M.S. in Systems Engineering, Systems Engineering, Missouri University of Science and Technology

 "Models and simulation furnish abstractions to manage complexities allowing engineers to visualize the proposed system and to analyze and validate system behavior before constructing it.… (more)

Subjects/Keywords: Systems Modeling Language (SysML); Systems Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, R. (n.d.). Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system. (Masters Thesis). Missouri University of Science and Technology. Retrieved from http://scholarsmine.mst.edu/masters_theses/4574

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Chicago Manual of Style (16th Edition):

Wang, Renzhong. “Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system.” Masters Thesis, Missouri University of Science and Technology. Accessed September 17, 2019. http://scholarsmine.mst.edu/masters_theses/4574.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

MLA Handbook (7th Edition):

Wang, Renzhong. “Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system.” Web. 17 Sep 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Wang R. Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system. [Internet] [Masters thesis]. Missouri University of Science and Technology; [cited 2019 Sep 17]. Available from: http://scholarsmine.mst.edu/masters_theses/4574.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Council of Science Editors:

Wang R. Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system. [Masters Thesis]. Missouri University of Science and Technology; Available from: http://scholarsmine.mst.edu/masters_theses/4574

Note: this citation may be lacking information needed for this citation format:
No year of publication.


Purdue University

26. Maheshwari, Apoorv. Industrial Adoption of Model-Based Systems Engineering: Challenges and Strategies.

Degree: MSin Aeronautics and Astronautics, Aeronautics and Astronautics, 2015, Purdue University

 As design teams are becoming more globally integrated, one of the biggest challenges is to efficiently communicate across the team. The increasing complexity and multi-disciplinary… (more)

Subjects/Keywords: Analysis; Model-Based Systems Engineering; Product Lifecycle Management; SysML; System of systems; Systems Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Maheshwari, A. (2015). Industrial Adoption of Model-Based Systems Engineering: Challenges and Strategies. (Thesis). Purdue University. Retrieved from https://docs.lib.purdue.edu/open_access_theses/1151

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Maheshwari, Apoorv. “Industrial Adoption of Model-Based Systems Engineering: Challenges and Strategies.” 2015. Thesis, Purdue University. Accessed September 17, 2019. https://docs.lib.purdue.edu/open_access_theses/1151.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Maheshwari, Apoorv. “Industrial Adoption of Model-Based Systems Engineering: Challenges and Strategies.” 2015. Web. 17 Sep 2019.

Vancouver:

Maheshwari A. Industrial Adoption of Model-Based Systems Engineering: Challenges and Strategies. [Internet] [Thesis]. Purdue University; 2015. [cited 2019 Sep 17]. Available from: https://docs.lib.purdue.edu/open_access_theses/1151.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Maheshwari A. Industrial Adoption of Model-Based Systems Engineering: Challenges and Strategies. [Thesis]. Purdue University; 2015. Available from: https://docs.lib.purdue.edu/open_access_theses/1151

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Cal Poly

27. Luther, Shaun. SYSML BASED CUBESAT MODEL DESIGN AND INTEGRATION WITH THE HORIZON SIMULATION FRAMEWORK.

Degree: MS, Aerospace Engineering, 2016, Cal Poly

  This thesis examines the feasibility of substituting the system input script of Cal Poly’s Horizon Simulation Framework (HSF) with a Model Based Systems Engineering… (more)

Subjects/Keywords: SysML; HSF; CubeSat; Simulation; Model; Space Vehicles; Systems Engineering and Multidisciplinary Design Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Luther, S. (2016). SYSML BASED CUBESAT MODEL DESIGN AND INTEGRATION WITH THE HORIZON SIMULATION FRAMEWORK. (Masters Thesis). Cal Poly. Retrieved from https://digitalcommons.calpoly.edu/theses/1591 ; 10.15368/theses.2016.63

Chicago Manual of Style (16th Edition):

Luther, Shaun. “SYSML BASED CUBESAT MODEL DESIGN AND INTEGRATION WITH THE HORIZON SIMULATION FRAMEWORK.” 2016. Masters Thesis, Cal Poly. Accessed September 17, 2019. https://digitalcommons.calpoly.edu/theses/1591 ; 10.15368/theses.2016.63.

MLA Handbook (7th Edition):

Luther, Shaun. “SYSML BASED CUBESAT MODEL DESIGN AND INTEGRATION WITH THE HORIZON SIMULATION FRAMEWORK.” 2016. Web. 17 Sep 2019.

Vancouver:

Luther S. SYSML BASED CUBESAT MODEL DESIGN AND INTEGRATION WITH THE HORIZON SIMULATION FRAMEWORK. [Internet] [Masters thesis]. Cal Poly; 2016. [cited 2019 Sep 17]. Available from: https://digitalcommons.calpoly.edu/theses/1591 ; 10.15368/theses.2016.63.

Council of Science Editors:

Luther S. SYSML BASED CUBESAT MODEL DESIGN AND INTEGRATION WITH THE HORIZON SIMULATION FRAMEWORK. [Masters Thesis]. Cal Poly; 2016. Available from: https://digitalcommons.calpoly.edu/theses/1591 ; 10.15368/theses.2016.63


Cal Poly

28. Patel, Viren Kishor. SysML Output Interface and System-Level Requirement Analyzer for the Horizon Simulation Framework.

Degree: MS, Aerospace Engineering, 2018, Cal Poly

  Model-Based Systems Engineering in industry has been constantly increasing its presence within the aerospace industry. SysML is one such MBSE tool that shows complex… (more)

Subjects/Keywords: HSF; Horizon; SysML; Translator; Requirement; Other Aerospace Engineering; Systems Engineering and Multidisciplinary Design Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Patel, V. K. (2018). SysML Output Interface and System-Level Requirement Analyzer for the Horizon Simulation Framework. (Masters Thesis). Cal Poly. Retrieved from https://digitalcommons.calpoly.edu/theses/1834

Chicago Manual of Style (16th Edition):

Patel, Viren Kishor. “SysML Output Interface and System-Level Requirement Analyzer for the Horizon Simulation Framework.” 2018. Masters Thesis, Cal Poly. Accessed September 17, 2019. https://digitalcommons.calpoly.edu/theses/1834.

MLA Handbook (7th Edition):

Patel, Viren Kishor. “SysML Output Interface and System-Level Requirement Analyzer for the Horizon Simulation Framework.” 2018. Web. 17 Sep 2019.

Vancouver:

Patel VK. SysML Output Interface and System-Level Requirement Analyzer for the Horizon Simulation Framework. [Internet] [Masters thesis]. Cal Poly; 2018. [cited 2019 Sep 17]. Available from: https://digitalcommons.calpoly.edu/theses/1834.

Council of Science Editors:

Patel VK. SysML Output Interface and System-Level Requirement Analyzer for the Horizon Simulation Framework. [Masters Thesis]. Cal Poly; 2018. Available from: https://digitalcommons.calpoly.edu/theses/1834

29. Quaresma, Ana Marta Miranda. Mapeamento e melhoria do processo de gestão de informação na cadeia de abastecimento de uma empresa da indústria alimentar .

Degree: 2017, Universidade de Aveiro

 Os requisitos do mercado estão em constante mudança e são cada vez mais exigentes pelo que as organizações têm que procurar soluções para melhorar os… (more)

Subjects/Keywords: Modelação; Gestão da informação; UML; Logística; Cadeia de abastecimento; ERP; SysML; Fluxo de informação

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Quaresma, A. M. M. (2017). Mapeamento e melhoria do processo de gestão de informação na cadeia de abastecimento de uma empresa da indústria alimentar . (Thesis). Universidade de Aveiro. Retrieved from http://hdl.handle.net/10773/24796

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Quaresma, Ana Marta Miranda. “Mapeamento e melhoria do processo de gestão de informação na cadeia de abastecimento de uma empresa da indústria alimentar .” 2017. Thesis, Universidade de Aveiro. Accessed September 17, 2019. http://hdl.handle.net/10773/24796.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Quaresma, Ana Marta Miranda. “Mapeamento e melhoria do processo de gestão de informação na cadeia de abastecimento de uma empresa da indústria alimentar .” 2017. Web. 17 Sep 2019.

Vancouver:

Quaresma AMM. Mapeamento e melhoria do processo de gestão de informação na cadeia de abastecimento de uma empresa da indústria alimentar . [Internet] [Thesis]. Universidade de Aveiro; 2017. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/10773/24796.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Quaresma AMM. Mapeamento e melhoria do processo de gestão de informação na cadeia de abastecimento de uma empresa da indústria alimentar . [Thesis]. Universidade de Aveiro; 2017. Available from: http://hdl.handle.net/10773/24796

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

30. Oliveira, Valter Castelhano de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais.

Degree: Mestrado, Engenharia Naval e Oceânica, 2008, University of São Paulo

Apesar das novas e efetivas técnicas de engenharia de software, os projetos de desenvolvimento de sistemas estão propensos a ter os mesmos problemas que acometem… (more)

Subjects/Keywords: Business modeling; Engenharia de requisitos; Formal languages; Linguagens formais; Negócio (modelagem); Requirements engineering; SysML; UML; UML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Oliveira, V. C. d. (2008). Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/ ;

Chicago Manual of Style (16th Edition):

Oliveira, Valter Castelhano de. “Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais.” 2008. Masters Thesis, University of São Paulo. Accessed September 17, 2019. http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/ ;.

MLA Handbook (7th Edition):

Oliveira, Valter Castelhano de. “Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais.” 2008. Web. 17 Sep 2019.

Vancouver:

Oliveira VCd. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. [Internet] [Masters thesis]. University of São Paulo; 2008. [cited 2019 Sep 17]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/ ;.

Council of Science Editors:

Oliveira VCd. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. [Masters Thesis]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/ ;

[1] [2] [3]

.