1246 search results - page 46 / 250 » Tool Support for Helping the Use of Frameworks |
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
Information technology is arguably an important tool for knowledge management, facilitating learning in a business context. However, the current use of information technology in t...
SIGCSE
1998
ACM
13 years 12 months ago
1998
ACM
The field of software patterns has seen an explosion in interest in the last three years. Work to date has been on the recognition, cataloging, and finding of patterns with litt...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...