2613 search results - page 41 / 523 » Proposal for Tools Supporting Component Based Programming |
112
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
117
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
120
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
131
click to vote
EPEW
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Component-based software performance engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utiliza...
116
click to vote
AMAST
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...