2881 search results - page 393 / 577 » Model Checking for Programming Languages using Verisoft |
181
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
194
click to vote
AGTIVE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
183
Voted
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
156
Voted
UM
2009
Springer
16 years 28 days ago
2009
Springer
This paper describes the evaluation of a Scrutable User Modelling Infrastructure. SUMI is intended to form a service to allow users to share their user models from social e-network...
178
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes user modelling in I-Help, a system to facilitate communication amongst learners. There are two I-Help components: Private and Public Discussions. In the Privat...