395 search results - page 37 / 79 » Program abstractions for behaviour validation |
PROMS
2001
Springer
14 years 3 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
HCI
2007
14 years 12 days ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
SIGADA
2004
Springer
14 years 4 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
MICRO
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Adaptive microarchitectures are a promising solution for designing high-performance, power-efficient microprocessors. They offer the ability to tailor computational resou...
TGC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...