523 search results - page 61 / 105 » Embedded Software Development with Projectional Language Wor... |
107
click to vote
FASE
2004
Springer
15 years 5 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
SIGSOFT
2010
ACM
15 years 10 days ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a new unified design flow developed within the Perplexus project that aims to accelerate parallelizable data-intensive applications in the context of ubiquitous...
107
Voted
ANSOFT
2002
15 years 1 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
100
click to vote
UML
1998
Springer
15 years 6 months ago
1998
Springer
At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to ...