1146 search results - page 147 / 230 » Formal Specification Generation from Requirement Documents |
164
click to vote
IEEEICCI
2002
IEEE
15 years 9 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
135
Voted
ICECCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
129
Voted
FMSD
2006
15 years 4 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
131
click to vote
CN
2004
15 years 4 months ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...
144
click to vote
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this article, we describe the results from our survey in the ITdepartment of a large Oil and Gas company in Norway (Statoil ASA), in order to characterize developers’ views o...