1988 search results - page 148 / 398 » Engineering formal metatheory |
152
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
153
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
177
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
144
click to vote
IUI
2005
ACM
16 years 2 days ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
156
click to vote
ADAEUROPE
2005
Springer
16 years 2 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...