4048 search results - page 122 / 810 » Design Science, Engineering Science and Requirements Enginee... |
76
Voted
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
115
click to vote
AINA
2005
IEEE
15 years 6 months ago
2005
IEEE
With the explosive growth of Internet traffic, the next generation switches are designed to provide forwarding speed up to 10Gbps or above. To meet the challenges of delivering wi...
126
click to vote
TPHOL
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
82
Voted
XPU
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...
97
Voted
IWSSD
2000
IEEE
15 years 5 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...