3799 search results - page 53 / 760 » An Engineering Approach to Formal Methods |
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
NOSSDAV
2005
Springer
14 years 1 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
ICWS
2008
IEEE
13 years 9 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...
ACMDIS
2000
ACM
14 years 4 days 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...