715 search results - page 80 / 143 » Application of Formal Methods to the Development of a Softwa... |
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
ASWSD
2004
Springer
14 years 2 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
Recovering semantic relations between different parts of web pages are of great importance for multi-platform web interface development, as they make it possible to re-distribute ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Building software product lines (SPLs) with features is a challenging task. Many SPL implementations support features with coarse granularity ? e.g., the ability to add and wrap e...
FM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...