2384 search results - page 24 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
144
click to vote
CSEE
2003
Springer
15 years 10 months ago
2003
Springer
Most software engineering courses focus exclusively on the software development process, often referring to problems related to the complexity of software products and processes. ...
172
Voted
TPHOL
1998
IEEE
15 years 9 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...
151
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
167
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
183
click to vote
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
As software grows more complex, software developers’ productivity is increasingly defined by their ability to effectively reuse code. Even APIs (application programming interfac...