Sciweavers

5904 search results - page 28 / 1181
» Requirements for a Composition Language
Sort
View
SKG
2006
IEEE
14 years 1 months ago
Infrastructure for Language Service Composition
Although English has become the standard language in various areas, most people do not use it in local activities. To increase the mutual understanding of different cultures with ...
Yohei Murakami, Toru Ishida, Takao Nakaguchi
IWFM
2000
162views Formal Methods» more  IWFM 2000»
13 years 9 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
EDOC
2004
IEEE
13 years 11 months ago
Write Once, Deploy N: A Performance Oriented MDA Case Study
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
Pieter Van Gorp, Dirk Janssens, Tracy Gardner
ICFP
2006
ACM
14 years 7 months ago
Transactional events
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
Kevin Donnelly, Matthew Fluet