2114 search results - page 274 / 423 » Practical Approaches for Software Adaptation |
144
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Alignment of application architecture to business architecture is a central problem in the design, acquisition and implementation of information systems in current large-...
102
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
144
click to vote
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
136
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
125
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...