596 search results - page 16 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
159
click to vote
SERP
2003
15 years 7 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
139
click to vote
CAISE
1997
Springer
15 years 10 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
191
Voted
ACSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
168
Voted
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
155
click to vote
MICCAI
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. This paper presents a novel method for photorealistic rendering of the bronchial lumen by directly deriving matched shading and texture parameters from video bronchoscope...