138 search results - page 25 / 28 » Integrating Formal Methods with Model-Driven Engineering |
82
Voted
ACMDIS
2000
ACM
15 years 2 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
ICWS
2008
IEEE
14 years 11 months ago
2008
IEEE
Web application hybrids, popularly known as mashups, are created by integrating services on the Web using their APIs. Support for finding an API is currently provided by generic s...
WWW
2006
ACM
15 years 11 months ago
2006
ACM
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...