2918 search results - page 444 / 584 » Design tools for reliability analysis |
125
Voted
PPPJ
2003
ACM
15 years 8 months ago
2003
ACM
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...
135
Voted
GPCE
2003
Springer
15 years 8 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
121
Voted
ASSETS
2000
ACM
15 years 8 months ago
2000
ACM
Line graphs stand as an established information visualisation and analysis technique taught at various levels of difficulty according to standard Mathematics curricula. Blind indi...
148
Voted
AADEBUG
2000
Springer
15 years 7 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
120
Voted
RE
1999
Springer
15 years 7 months ago
1999
Springer
Developing requirements for software components, and ensuring these requirements are met by component designs, is very challenging, as very often application domain and stakeholde...