Sciweavers

1050 search results - page 149 / 210
» Generating Executable Scenarios from Natural Language
Sort
View
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
15 years 8 months ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein
UML
2005
Springer
15 years 5 months ago
Tool Support for OCL and Related Formalisms - Needs and Trends
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Ma...
SLE
2009
Springer
15 years 4 months ago
Closing the Gap between Modelling and Java
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
WWW
2009
ACM
16 years 15 days ago
A declarative framework for semantic link discovery over relational data
In this paper, we present a framework for online discovery of semantic links from relational data. Our framework is based on declarative specification of the linkage requirements ...
Oktie Hassanzadeh, Lipyeow Lim, Anastasios Kements...
ICDE
2012
IEEE
240views Database» more  ICDE 2012»
13 years 2 months ago
Ego-centric Graph Pattern Census
—There is increasing interest in analyzing networks of all types including social, biological, sensor, computer, and transportation networks. Broadly speaking, we may be interest...
Walaa Eldin Moustafa, Amol Deshpande, Lise Getoor