252 search results - page 4 / 51 » Pragmatic Type Interoperability |
MKWI
2008
14 years 11 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
CONTEXT
1999
Springer
15 years 1 months ago
1999
Springer
When modelling complex systems one can not include all the causal factors, but one has to settle for partial models. This is alright if the factors left out are either so constant...
ENTCS
2007
14 years 9 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
—Enterprise computing is moving towards more open, collaborative systems. Joining a business network must be made efficient, despite the technical and semantic interoperability ...
ICDT
2005
ACM
15 years 3 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...