851 search results - page 22 / 171 » A Framework of Syntactic Models for the Implementation of Vi... |
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
APLAS
2001
ACM
14 years 13 days ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
PADL
2001
Springer
14 years 1 months ago
2001
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...