ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Evaluating the Understandability and Expressiveness of Simulation Executable Models with Professionals
19th Brazilian Symposium on Software Quality
◽
10.1145/3439961.3439973
◽
2020
◽
Author(s):
Bruno Gabriel Araújo Lebtag
◽
Paulo Gabriel Teixeira
◽
Rodrigo Pereira dos Santos
◽
Davi Viana
◽
Valdemar V. Graciano Neto
Keyword(s):
Executable Models
Download Full-text
Related Documents
Cited By
References
Faculty Opinions recommendation of From word models to executable models of signaling networks using automated assembly.
Faculty Opinions – Post-Publication Peer Review of the Biomedical Literature
◽
10.3410/f.732150901.793539924
◽
2017
◽
Author(s):
Hongfang Liu
Keyword(s):
Signaling Networks
◽
Automated Assembly
◽
Executable Models
Download Full-text
Development and experimental validation of real-time executable models of primary fly-by-wire actuators
Proceedings of the Institution of Mechanical Engineers Part I Journal of Systems and Control Engineering
◽
10.1243/09596518jsce546
◽
2008
◽
Vol 222
(6)
◽
pp. 523-542
◽
Cited By ~ 6
Author(s):
G Di Rito
◽
E Denti
◽
R Galatolo
Keyword(s):
Real Time
◽
Experimental Validation
◽
Executable Models
Download Full-text
SC2 StateCharts to SystemC: Automatic Executable Models Generation
Embedded Systems Specification and Design Languages - Lecture Notes in Electrical Engineering
◽
10.1007/978-1-4020-8297-9_16
◽
2008
◽
pp. 227-239
◽
Cited By ~ 5
Author(s):
Marcello Mura
◽
Marco Paolieri
Keyword(s):
Executable Models
Download Full-text
Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios
Complex Systems Design & Management
◽
10.1007/978-3-319-11617-4_19
◽
2015
◽
pp. 269-282
◽
Cited By ~ 1
Author(s):
Mathilde Arnaud
◽
Boutheina Bannour
◽
Arnaud Cuccuru
◽
Christophe Gaston
◽
Sebastien Gerard
◽
...
Keyword(s):
Testing Framework
◽
High Level
◽
Executable Models
Download Full-text
From word models to executable models of signaling networks using automated assembly
Molecular Systems Biology
◽
10.15252/msb.20177651
◽
2017
◽
Vol 13
(11)
◽
pp. 954
◽
Cited By ~ 52
Author(s):
Benjamin M Gyori
◽
John A Bachman
◽
Kartik Subramanian
◽
Jeremy L Muhlich
◽
Lucian Galescu
◽
...
Keyword(s):
Signaling Networks
◽
Automated Assembly
◽
Executable Models
Download Full-text
Creating executable models of influence nets with colored Petri nets
International Journal on Software Tools for Technology Transfer
◽
10.1007/s100090050025
◽
1998
◽
Vol 2
(2)
◽
pp. 168-181
◽
Cited By ~ 12
Author(s):
Lee W. Wagenhals
◽
Insub Shin
◽
Alexander H. Levis
Keyword(s):
Petri Nets
◽
Colored Petri Nets
◽
Executable Models
Download Full-text
DEVELOPING EXECUTABLE MODELS OF BUSINESS SYSTEMS
Proceedings of the Ninth International Conference on Enterprise Information Systems
◽
10.5220/0002369200050013
◽
2007
◽
Keyword(s):
Business Systems
◽
Executable Models
Download Full-text
Towards Non-intrusive Composition of Executable Models
Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development
◽
10.5220/0005242401110121
◽
2015
◽
Keyword(s):
Executable Models
Download Full-text
Agile programming with executable models
Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity - SPLASH '14
◽
10.1145/2660252.2664664
◽
2014
◽
Cited By ~ 1
Author(s):
Ed Seidewitz
◽
Arnuad Cuccuru
Keyword(s):
Agile Programming
◽
Executable Models
Download Full-text
Creating system engineering products with executable models in a model-based engineering environment
10.1117/12.2232785
◽
2016
◽
Cited By ~ 1
Author(s):
Robert Karban
◽
Frank G. Dekens
◽
Sebastian Herzig
◽
Maged Elaasar
◽
Nerijus Jankevičius
Keyword(s):
System Engineering
◽
Model Based
◽
Engineering Environment
◽
Executable Models
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close