Works matching DE "SYSML (Computer science)"
Results: 60
Editorial.
- Published in:
- 2014
- By:
- Publication type:
- Editorial
MODEL-DRIVEN ENGINEERING AND FORMAL VALIDATION OF HIGH-PERFORMANCE EMBEDDED SYSTEMS.
- Published in:
- Scalable Computing: Practice & Experience, 2009, v. 10, n. 2, p. 147
- By:
- Publication type:
- Article
A Model of a Wireless Factory Work-Cell Using the Systems Modeling Language.
- Published in:
- Journal of Research of the National Institute of Standards & Technology, 2018, v. 123, p. 1, doi. 10.6028/jres.123.018
- By:
- Publication type:
- Article
State‐of‐practice survey of model‐based systems engineering.
- Published in:
- Systems Engineering, 2019, v. 22, n. 2, p. 134, doi. 10.1002/sys.21466
- By:
- Publication type:
- Article
Model verification for system design of complex mechatronic products.
- Published in:
- Systems Engineering, 2019, v. 22, n. 2, p. 156, doi. 10.1002/sys.21470
- By:
- Publication type:
- Article
Foundations for model‐based systems engineering and model‐based safety assessment.
- Published in:
- Systems Engineering, 2019, v. 22, n. 2, p. 146, doi. 10.1002/sys.21469
- By:
- Publication type:
- Article
Model‐based systems engineering for life‐sciences instrumentation development.
- Published in:
- Systems Engineering, 2019, v. 22, n. 2, p. 98, doi. 10.1002/sys.21429
- By:
- Publication type:
- Article
Model-Based Development and Simulation for Robotic Systems with SysML, Simulink and Simscape Profiles.
- Published in:
- International Journal of Advanced Robotic Systems, 2013, v. 10, n. 2, p. 1, doi. 10.5772/55533
- By:
- Publication type:
- Article
The Role of Modeling in the Resilience of Cyberinfrastructure Systems and Preparedness for Cyber Intrusions.
- Published in:
- Journal of Homeland Security & Emergency Management, 2011, v. 8, n. 1, p. 1, doi. 10.2202/1547-7355.1577
- By:
- Publication type:
- Article
A model-based framework for increasing the interdisciplinary design of mechatronic production systems.
- Published in:
- Journal of Engineering Design, 2018, v. 29, n. 11, p. 617, doi. 10.1080/09544828.2018.1520205
- By:
- Publication type:
- Article
SysML-Based Requirement Management to Improve Software Development.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2016, v. 26, n. 3, p. 491, doi. 10.1142/S0218194016500200
- By:
- Publication type:
- Article
NMMp: A Model-Driven UML Extension for the Description of Navigation Maps for Web Applications.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2014, v. 24, n. 3, p. 391, doi. 10.1142/S0218194014500156
- By:
- Publication type:
- Article
A SOFTWARE COMPONENT REPRESENTATION MODEL FOR COMPOSITIONAL REUSE.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2008, v. 18, n. 1, p. 25, doi. 10.1142/S0218194008003544
- By:
- Publication type:
- Article
SysML-based design chain information modeling for variety management in production reconfiguration.
- Published in:
- Journal of Intelligent Manufacturing, 2013, v. 24, n. 3, p. 575, doi. 10.1007/s10845-011-0585-6
- By:
- Publication type:
- Article
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 647, doi. 10.1007/s10836-013-5409-5
- By:
- Publication type:
- Article
An Extension of the Systems Modeling Language for Physical Interaction and Signal Flow Simulation.
- Published in:
- Systems Engineering, 2017, v. 20, n. 5, p. 395, doi. 10.1002/sys.21380
- By:
- Publication type:
- Article
Informing System Design Using Human Performance Modeling.
- Published in:
- Systems Engineering, 2017, v. 20, n. 2, p. 173, doi. 10.1002/sys.21388
- By:
- Publication type:
- Article
Method for Deriving Functional Architectures from Use Cases.
- Published in:
- Systems Engineering, 2014, v. 17, n. 2, p. 225, doi. 10.1002/sys.21265
- By:
- Publication type:
- Article
Generating SysML views from an OPM model: Design and evaluation.
- Published in:
- Systems Engineering, 2011, v. 14, n. 3, p. 327, doi. 10.1002/sys.20181
- By:
- Publication type:
- Article
Integrated product-service analysis using SysML requirement diagrams.
- Published in:
- Systems Engineering, 2013, v. 16, n. 1, p. 111, doi. 10.1002/sys.21229
- By:
- Publication type:
- Article
Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model-driven systems development process.
- Published in:
- Systems Engineering, 2011, v. 14, n. 4, p. 383, doi. 10.1002/sys.20184
- By:
- Publication type:
- Article
Experience from introducing Unified Modeling Language/Systems Modeling Language at Saab Aerosystems.
- Published in:
- Systems Engineering, 2010, v. 13, n. 4, p. 369, doi. 10.1002/sys.20156
- By:
- Publication type:
- Article
VIABLE SYSTEM MODEL IN (RE)DESIGNING AN ORGANIZATION - CASE STUDY.
- Published in:
- 2012
- By:
- Publication type:
- Case Study
MODEL SISTEMA SPOSOBNOG DA OPSTANE U (RE)DIZAJNIRANJU ORGANIZACIJE - STUDIJA SLUČAJA.
- Published in:
- 2012
- By:
- Publication type:
- Case Study
Expanding a System of Systems Model with the Schelling Segregation Model.
- Published in:
- Systems Research & Behavioral Science, 2013, v. 30, n. 1, p. 65, doi. 10.1002/sres.2115
- By:
- Publication type:
- Article
Metamodels composition strategy for the model driven engineering context.
- Published in:
- 2015
- By:
- Publication type:
- Case Study
Cross-disciplinary engineering with AutomationML and SysML.
- Published in:
- Automatisierungstechnik, 2016, v. 64, n. 4, p. 253, doi. 10.1515/auto-2015-0076
- By:
- Publication type:
- Article
UML customization versus domain-specific languages.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 3, p. 713, doi. 10.1007/s10270-018-0685-2
- By:
- Publication type:
- Article
SoSyM reflections of 2017: a journal status report.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 1, doi. 10.1007/s10270-018-0656-7
- By:
- Publication type:
- Article
Editorial to the theme issue on multi-level modeling.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 163, doi. 10.1007/s10270-016-0565-6
- By:
- Publication type:
- Article
Guest editorial for the special section on MODELS 2014.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 9, doi. 10.1007/s10270-016-0561-x
- By:
- Publication type:
- Article
Toward a well-founded theory for multi-level conceptual modeling.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 205, doi. 10.1007/s10270-016-0538-9
- By:
- Publication type:
- Article
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 11, doi. 10.1007/s10270-016-0534-0
- By:
- Publication type:
- Article
Model-based requirements specification of real-time systems with UML, SysML and MARTE.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 343, doi. 10.1007/s10270-016-0525-1
- By:
- Publication type:
- Article
On the formal interpretation and behavioural consistency checking of SysML blocks.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 4, p. 1145, doi. 10.1007/s10270-015-0511-z
- By:
- Publication type:
- Article
An integrated semantics for reasoning about SysML design models using refinement.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 3, p. 875, doi. 10.1007/s10270-015-0492-y
- By:
- Publication type:
- Article
Contract-based modeling and verification of timed safety requirements within SysML.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 2, p. 587, doi. 10.1007/s10270-015-0481-1
- By:
- Publication type:
- Article
Theme issue on Integrated Formal Methods.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
How to write a successful SoSyM submission.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
A profile and tool for modelling safety information with design information in SysML.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 1, p. 147, doi. 10.1007/s10270-014-0400-x
- By:
- Publication type:
- Article
SAMM: an architecture modeling methodology for ship command and control systems.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 1, p. 71, doi. 10.1007/s10270-013-0393-x
- By:
- Publication type:
- Article
A graph grammar-based formal validation of object-process diagrams.
- Published in:
- Software & Systems Modeling, 2012, v. 11, n. 2, p. 287, doi. 10.1007/s10270-011-0201-4
- By:
- Publication type:
- Article
Bidirectional model transformations in QVT: semantic issues and open questions.
- Published in:
- Software & Systems Modeling, 2010, v. 9, n. 1, p. 7, doi. 10.1007/s10270-008-0109-9
- By:
- Publication type:
- Article
Complete model-based equivalence class testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 265, doi. 10.1007/s10009-014-0356-8
- By:
- Publication type:
- Article
Quantitative and qualitative analysis of SysML activity diagrams.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 399, doi. 10.1007/s10009-014-0305-6
- By:
- Publication type:
- Article
Interactive Management of Human Factors Knowledge for Human Systems Integration Using Systems Modeling Language.
- Published in:
- Information Systems Management, 2009, v. 26, n. 3, p. 262, doi. 10.1080/10580530903018128
- By:
- Publication type:
- Article
SysML for Modeling Co-simulation Orchestration over FMI: the INTO-CPS Approach.
- Published in:
- Ada User Journal, 2016, v. 37, n. 4, p. 215
- By:
- Publication type:
- Article
Evaluation of Disturbances in Mechanized Tunneling Using Process Simulation.
- Published in:
- Computer-Aided Civil & Infrastructure Engineering, 2016, v. 31, n. 3, p. 176, doi. 10.1111/mice.12143
- By:
- Publication type:
- Article
Heraclitean Ontology for Specifying Systems.
- Published in:
- International Review on Computers & Software, 2015, v. 10, n. 6, p. 602, doi. 10.15866/irecos.v10i6.6493
- By:
- Publication type:
- Article
Efficient XML Keyword Search Using H-Reduction Factor and Interactive Algorithm.
- Published in:
- International Review on Computers & Software, 2014, v. 9, n. 12, p. 2022, doi. 10.15866/irecos.v9i12.2966
- By:
- Publication type:
- Article