4211 search results - page 602 / 843 » A formal approach to MASQ |
174
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
178
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
190
click to vote
ADMA
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Social bookmarking has become an important web2.0 application recently, which is concerned with the dual user behavior to search - tagging. Although social bookmarking we...
182
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
135
click to vote
ICALT
2007
IEEE
16 years 29 days ago
2007
IEEE
Over the years competence-based approaches in the field of formal and non-formal education are becoming more common and appear to offer the opportunity to develop flexible e-train...