1601 search results - page 99 / 321 » The affordable application of formal methods to software eng... |
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Modern software applications require internationalization to be distributed to different regions of the world. In various situations, many software applications are not internatio...
FASE
2005
Springer
14 years 2 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
CODES
2010
IEEE
13 years 7 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
QSIC
2007
IEEE
14 years 3 months ago
2007
IEEE
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
FASE
2004
Springer
14 years 27 days 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...