1988 search results - page 149 / 398 » Engineering formal metatheory |
192
click to vote
FASE
2005
Springer
16 years 1 days ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
171
click to vote
TMRA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
121
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
163
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
179
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...