608 search results - page 84 / 122 » Method Engineering: Towards Methods as Services |
EMSOFT
2007
Springer
14 years 1 months 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...
ASWEC
2000
IEEE
14 years 5 days 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 ...
IUI
2009
ACM
14 years 4 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...
ICC
2007
IEEE
14 years 2 months 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...
WER
2007
Springer
14 years 1 months 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...