7206 search results - page 1067 / 1442 » Using a Hypermedia System for Systems Engineering |
116
click to vote
IWSSD
2000
IEEE
15 years 9 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
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 ...
152
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Exception handling mechanisms are intended to help developers build robust systems. Although an exception handling mechanism provides a basis for structuring source code dealing w...
128
click to vote
UIST
1998
ACM
15 years 9 months ago
1998
ACM
We describe a new method and implementation for managing information through the use of physical objects. In today’s networked world, the trend is toward working in a global vir...
146
Voted
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...