1376 search results - page 93 / 276 » Model-Driven Software Verification |
165
click to vote
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
127
click to vote
DEXAW
2007
IEEE
15 years 9 months ago
2007
IEEE
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
138
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
105
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
The main drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms. The way MDA achieves this is by transforming a platfo...
130
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...