7380 search results - page 1030 / 1476 » Engineering Software Intensive Systems |
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...
154
Voted
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
126
Voted
WACC
1999
ACM
15 years 9 months ago
1999
ACM
In recent years much attention has been paid to networkbased, distributed environments like text-based MUDs and MOOs for supporting collaborative work. Such environments offer a s...
142
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
141
click to vote
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...