358 search results - page 49 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
134
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
126
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
199
click to vote
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
143
Voted
BPM
2008
Springer
15 years 5 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
142
Voted
ASWEC
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...