608 search results - page 84 / 122 » Method Engineering: Towards Methods as Services |
170
click to vote
EMSOFT
2007
Springer
16 years 10 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
151
click to vote
ASWEC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...
189
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
156
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
— This paper analyzes the performance of a system architecture for the Authentication, Authorization, and Accounting (AAA), in a scenario where 3G users generate traffic and invo...
153
click to vote
WER
2007
Springer
16 years 8 days ago
2007
Springer
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...