3792 search results - page 324 / 759 » Techniques for Trusted Software Engineering |
165
click to vote
ADAEUROPE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
177
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
166
click to vote
SIGADA
2004
Springer
16 years 1 days 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...
173
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
266
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...