1573 search results - page 128 / 315 » Signs and Formal Concepts |
144
click to vote
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
166
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
133
click to vote
FORTEST
2008
15 years 3 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
102
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
141
Voted
ICSOC
2010
Springer
15 years 13 days ago
2010
Springer
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...