1099 search results - page 201 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
SIGUCCS
2000
ACM
15 years 4 months ago
2000
ACM
Creating a university Help Center from scratch can be a challenging yet very rewarding experience for an IT professional. Buying computers, building networks, and installing softw...
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
117
click to vote
AISC
1998
Springer
15 years 4 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
107
click to vote
ACISP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has trigger...
101
click to vote
SIGSOFT
2006
ACM
16 years 14 days ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...