517 search results - page 32 / 104 » Specification transformers: a predicate transformer approach... |
ICST
2009
IEEE
13 years 6 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
CN
2004
13 years 8 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
CN
1999
13 years 8 months ago
1999
We propose a generic solution for user adaptation of synchronized multimedia presentations. We consider adaptation as a transformation problem: the user specifies a predicate that...
EUROMICRO
2004
IEEE
14 years 6 days ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
ICWE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...