BOOK-CHAPTER
Analyzing and Simulating Time Descriptions from UML/MARTE CCSL
Keywords:
Unified Modeling Language Abstraction Computer science Process (computing) Software engineering Programming language Software Philosophy
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
6
Refs
0.05
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Model-Driven Software Engineering Techniques
Physical Sciences → Computer Science → Software
Advanced Software Engineering Methodologies
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
A generic representation of CCSL time constraints for UML/MARTE models
Judith M. PetersRobert WilleNils PrzigodaUlrich KühneRolf Drechsler
Year: 2015 Pages: 1-6
JOURNAL ARTICLE
Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models
Judith M. PetersNils PrzigodaRobert WilleRolf Drechsler
Year: 2016 Pages: 78-84
JOURNAL ARTICLE
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL
Judith M. PetersRobert WilleRolf Drechsler
Year: 2014 Pages: 116-125
JOURNAL ARTICLE
On Generating VHDL Descriptions from Aspect-Oriented UML/MARTE Models
Marco A. WehrmeisterMarcela Leite
Year: 2014 Pages: 67-72
JOURNAL ARTICLE
Enhancing automatic generation of VHDL descriptions from UML/MARTE models
Marcela LeiteCristiano VasconcellosMarco A. Wehrmeister
Year: 2014 Pages: 152-157