1376 search results - page 74 / 276 » Model-Driven Software Verification |
120
Voted
ICWE
2005
Springer
15 years 8 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
128
Voted
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
135
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a generic model driven approach to enable Quality of Service (QoS) modeling and realization for component based middleware platforms. We describe a QoS metamod...
106
click to vote
ICMT
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
103
Voted
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...