264 search results - page 41 / 53 » entcs 2008 |
ENTCS
2008
13 years 11 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
ENTCS
2008
13 years 11 months ago
2008
This paper explores the emerging paradigm of business-driven development, which presupposes a methodology for developing IT solutions that directly satisfy business requirements a...
ENTCS
2008
13 years 11 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
ENTCS
2008
13 years 11 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
ENTCS
2008
13 years 11 months ago
2008
In this paper we consider a model of different sorting of receptors for Fibroblast Growth Factor via the endocytotic pathway. In order to accurately model the relocation in the di...