5434 search results - page 68 / 1087 » Tool support for MOLA |
HUC
2000
Springer
15 years 1 months ago
2000
Springer
Current tools do not provide adequate support to users for handling reminders. The main reason for this is the lack of use of rich context that specifies when a reminder should be ...
ASE
2007
14 years 10 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
JWSR
2006
14 years 9 months ago
2006
When building a service
ANLP
1994
14 years 11 months ago
1994
This paper proposes an interactive rewriting tool for supporting people in creating machine acceptable sentences. The experiment and evaluation of this tool conducted when applied...
JSA
2008
14 years 9 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...