409 search results - page 30 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
WSE
2006
IEEE
15 years 5 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
EDOC
2003
IEEE
15 years 5 months ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
104
click to vote
KBSE
1997
IEEE
15 years 3 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
87
Voted
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...