2419 search results - page 167 / 484 » A Formal Approach to Software Testing |
202
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
175
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...
160
click to vote
SP
2007
IEEE
16 years 21 days ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
203
click to vote
AOSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
164
click to vote
ICHIT
2009
Springer
16 years 29 days ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...