1168 search results - page 172 / 234 » cases 2000 |
66
Voted
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Truly successful models for component-based software development continue to prove elusive. One of the few is the use of operating system, database and similar programs in many sy...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
65
Voted
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
The term distributed computing conjures the image of a fixed network structure whose nodes support the execution of processes that communicate with each other via messages traveli...
IFIP
2000
Springer
15 years 1 months ago
2000
Springer
: This paper reports from a systems development research tradition in which emphasis is put on relating research activities to practice and on establishing fruitful collaboration b...