6201 search results - page 335 / 1241 » Implementation of Axiomatic Language |
212
click to vote
ECEASST
2006
15 years 6 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
158
click to vote
ENTCS
2006
15 years 6 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
240
click to vote
JAPLL
2006
15 years 6 months ago
2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
169
click to vote
JUCS
2006
15 years 6 months ago
2006
: This paper defines algorithms to automatically detect five types of bad smells that occur in aspect-oriented systems, more specifically those written using the AspectJ language. ...
196
click to vote
SIGKDD
2002
15 years 6 months ago
2002
Inductive databases tightly integrate databases with data mining. The key ideas are that data and patterns (or models) are handled in the same way and that an inductive query lang...