Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

Embedded Systems - Theory and Design Methodology ◽

10.5772/36918 ◽

2012 ◽

Author(s):

Pablo Peil ◽

Fernando Herrera ◽

Eugenio Villar

Keyword(s):

Executable Specifications ◽

Uml Marte

Download Full-text

Generating heterogeneous executable specifications in SystemC from UML/MARTE models

Innovations in Systems and Software Engineering ◽

10.1007/s11334-009-0105-4 ◽

2009 ◽

Vol 6 (1-2) ◽

pp. 65-71 ◽

Cited By ~ 7

Author(s):

P. Peñil ◽

J. Medina ◽

H. Posadas ◽

E. Villar

Keyword(s):

Executable Specifications ◽

Uml Marte

Download Full-text

Using memorization to achieve polynomial complexity of purely functional executable specifications of non-deterministic top-down parsers

ACM SIGPLAN Notices ◽

10.1145/181761.181764 ◽

1994 ◽

Vol 29 (4) ◽

pp. 23-30 ◽

Cited By ~ 2

Author(s):

R. A. Frost

Keyword(s):

Polynomial Complexity ◽

Top Down ◽

Executable Specifications

Download Full-text

Enhancing analysability and time predictability in UML/MARTE component-based application models

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306365 ◽

2015 ◽

Cited By ~ 2

Author(s):

F. Herrera ◽

P. Penil ◽

E. Villar

Keyword(s):

Time Predictability ◽

Uml Marte

Download Full-text

Systematic verification of multi-agent systems based on rigorous executable specifications

International Journal of Agent-Oriented Software Engineering ◽

10.1504/ijaose.2007.013264 ◽

2007 ◽

Vol 1 (1) ◽

pp. 28 ◽

Cited By ~ 6

Author(s):

Holger Giese ◽

Florian Klein

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Executable Specifications ◽

Multi Agent

Download Full-text

A UML/MARTE Based Design Pattern for a Wireless Sensor Node

Advances in Intelligent Systems and Computing - Intelligent Systems Design and Applications ◽

10.1007/978-3-030-16657-1_55 ◽

2019 ◽

pp. 590-599 ◽

Cited By ~ 1

Author(s):

Raoudha Saida ◽

Yessine Hadj Kacem ◽

M. S. BenSaleh ◽

Mohamed Abid

Keyword(s):

Design Pattern ◽

Sensor Node ◽

Wireless Sensor ◽

Wireless Sensor Node ◽

Uml Marte

Download Full-text

Extreme Product Line Engineering: Managing Variability and Traceability via Executable Specifications

2009 Agile Conference ◽

10.1109/agile.2009.12 ◽

2009 ◽

Cited By ~ 9

Author(s):

Yaser Ghanam ◽

Frank Maurer

Keyword(s):

Product Line ◽

Product Line Engineering ◽

Executable Specifications ◽

Line Engineering

Download Full-text

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_10 ◽

2013 ◽

pp. 139-154 ◽

Cited By ~ 4

Author(s):

Jean-Baptiste Jeannin ◽

Guido de Caso ◽

Juan Chen ◽

Yuri Gurevich ◽

Prasad Naldurg ◽

...

Keyword(s):

Executable Specifications

Download Full-text

Towards Executable Specifications for Case Management Processes

Advances in Intelligent Process-Aware Information Systems - Intelligent Systems Reference Library ◽

10.1007/978-3-319-52181-7_3 ◽

2017 ◽

pp. 49-77 ◽

Cited By ~ 1

Author(s):

Irina Rychkova ◽

Bénédicte Le Grand ◽

Carine Souveyet

Keyword(s):

Case Management ◽

Executable Specifications ◽

Management Processes

Download Full-text

Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems

10.5220/0010546400002992 ◽

2021 ◽

Author(s):

Nissaf Fredj ◽

Yessine Kacem ◽

Olfa Kanoun ◽

Mohamed Abid

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Uml Marte

Download Full-text

Using Executable Specifications for Prototyping System-Design Processes

Berichte des German Chapter of the ACM - Requirements Engineering ’93: Prototyping ◽

10.1007/978-3-322-94703-1_10 ◽

1993 ◽

pp. 135-145

Author(s):

Claus Hoffmann ◽

Burhan Dinler

Keyword(s):

System Design ◽

Design Processes ◽

Executable Specifications

Download Full-text