7103 search results - page 19 / 1421 » Program Generation and Components |
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
ERLANG
2004
ACM
14 years 1 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
CCL
1994
Springer
13 years 11 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
COMPSAC
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...