6167 search results - page 102 / 1234 » Can Refinement be Automated |
131
Voted
CONTEXT
2005
Springer
15 years 9 months ago
2005
Springer
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
133
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
It is a key activity in CBD to identify high-quality components which have high cohesion and low coupling. However, component clustering is carried out in manual fashion by develop...
147
Voted
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
169
click to vote
MTV
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
118
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...