1376 search results - page 21 / 276 » Model-Driven Software Verification |
127
Voted
ETFA
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
105
click to vote
COMPSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
126
Voted
MOMPES
2006
IEEE
15 years 7 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
162
click to vote
ECMDAFA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
123
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...