650 search results - page 107 / 130 » Modeling SPARK systems with UML |
EUROMICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
143
click to vote
FASE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
DSD
2007
IEEE
15 years 6 months ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
110
click to vote
ENTCS
2006
14 years 11 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...