Works matching DE "SYSML (Computer science)"

Results: 59

Editorial.

Published in:

2014

By:

Seck, Diaraf;
Balde, Moussa;
Bah, Alassane

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:

Gamatié, Abdoulaye;
Rutten, Éric;
Huafeng Yu;
Boulet, Pierre;
Dekeyser, Jean-Luc

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:

Candell, Richard

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:

Huldt, T.;
Stenius, I.

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:

Chen, Ruirui;
Liu, Yusheng;
Zhao, Jianjun;
Ye, Xiaoping

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:

Rauzy, Antoine B.;
Haskins, Cecilia

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:

Patou, François;
Maier, Anja;
Dimaki, Maria;
Svendsen, Winnie E.;
Madsen, Jan

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:

Rahman, Mohd Azizi Abdul;
Mizukawa, Makoto

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:

Chittister, Clyde G.;
Haimes, Yacov Y.

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:

Kernschmidt, Konstantin;
Feldmann, Stefan;
Vogel-Heuser, Birgit

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:

Chang, Chih-Hung;
Lu, Chih-Wei;
Chu, William Cheng-Chung;
Hsiung, Pao-Ann.;
Chang, Dong-Meau

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:

Cortés, Humberto;
Navarro, Antonio

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:

Nath, Rajender;
Vohra, Anil

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:

Wu, Dazhong;
Zhang, Linda;
Jiao, Roger;
Lu, Roberto

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:

Bombieri, Nicola;
Ebeid, Emad;
Fummi, Franco;
Lora, Michele

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:

Bock, Conrad;
Barbau, Raphael;
Matei, Ion;
Dadfarnia, Mehdi

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:

Watson, Michael;
Rusnock, Christina;
Miller, Michael;
Colombi, John

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:

Lamm, Jesko G.;
Weilkiens, Tim

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:

Grobshtein, Yariv;
Dori, Dov

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:

Durugbo, Christopher

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:

Wang, Renzhong;
Dagli, Cihan H.

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:

Andersson, Henric;
Herzog, Erik;
Johansson, Gert;
Johansson, Olof

Publication type:

Article

VIABLE SYSTEM MODEL IN (RE)DESIGNING AN ORGANIZATION - CASE STUDY.

Published in:

2012

By:

Zlatanović, Dejana

Publication type:

Case Study

MODEL SISTEMA SPOSOBNOG DA OPSTANE U (RE)DIZAJNIRANJU ORGANIZACIJE - STUDIJA SLUČAJA.

Published in:

2012

By:

Zlatanović, Dejana

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:

Baldwin, W. Clifton;
Boardman, John T.;
Sauser, Brian J.

Publication type:

Article

Metamodels composition strategy for the model driven engineering context.

Published in:

2015

By:

Flórez Fernández, Héctor Arturo

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:

Berardinelli, Luca;
Biffl, Stefan;
Lüder, Arndt;
Mätzler, Emanuel;
Mayerhofer, Tanja;
Wimmer, Manuel;
Wolny, Sabine

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:

Gray, Jeff;
Rumpe, Bernhard

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:

Georg, Geri;
Gray, Jeff;
Rumpe, Bernhard;
Schindler, Martin

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:

Atkinson, Colin;
Kühne, Thomas;
de Lara, Juan

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:

Dingel, Juergen;
Schulte, Wolfram

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:

Carvalho, Victorio A.;
Almeida, João Paulo A.

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:

Di Natale, Marco;
Perillo, David;
Chirico, Francesco;
Sindico, Andrea;
Sangiovanni-Vincentelli, Alberto

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:

Ribeiro, Fabíola Gonçalves C.;
Pereira, Carlos E.;
Rettberg, Achim;
Soares, Michel S.

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:

Jacobs, Jaco;
Simpson, Andrew

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:

Lima, Lucas;
Miyazawa, Alvaro;
Cavalcanti, Ana;
Cornélio, Márcio;
Iyoda, Juliano;
Sampaio, Augusto;
Hains, Ralph;
Larkham, Adrian;
Lewis, Vaughan

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:

Dragomir, Iulia;
Ober, Iulian;
Percebois, Christian

Publication type:

Article

Theme issue on Integrated Formal Methods.

Published in:

2016

By:

Johnsen, Einar;
Petre, Luigia

Publication type:

Editorial

How to write a successful SoSyM submission.

Published in:

2016

By:

Gray, Jeff;
Rumpe, Bernhard

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:

Biggs, Geoffrey;
Sakamoto, Takeshi;
Kotoku, Tetsuo

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:

Fan, Zhiqiang;
Yue, Tao;
Zhang, Li

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:

Bibliowicz, Arieh;
Dori, Dov

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:

Stevens, Perdita

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:

Huang, Wen-ling;
Peleska, Jan

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:

Jarraya, Yosr;
Debbabi, Mourad

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:

Karwowski, Waldemar;
Ahram, TareqZ.

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:

Bagnato, Alessandra;
Brosse, Etienne;
Quadri, Imran;
Sadovykh, Andrey

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:

Rahm, Tobias;
Scheffer, Markus;
Thewes, Markus;
König, Markus;
Duhme, Ruben

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:

Al-Fedaghi, Sabah

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:

Mary Posonia A.;
Jyothi, V. L.

Publication type:

Article