967 search results - page 120 / 194 » Languages and Tools for Hybrid Systems Design |
ISPE
2003
13 years 10 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
MOBILITY
2009
ACM
14 years 1 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
COLING
2010
13 years 3 months ago
2010
Humans are very good at judging the strength of relationships between two terms, a task which, if it can be automated, would be useful in a range of applications. Systems attempti...
MOBISYS
2006
ACM
14 years 8 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...