7206 search results - page 1066 / 1442 » Using a Hypermedia System for Systems Engineering |
140
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...
137
Voted
RE
2001
Springer
15 years 9 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
141
Voted
ICECCS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
155
Voted
IWPC
2000
IEEE
15 years 9 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
143
Voted
IWSSD
2000
IEEE
15 years 9 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...