5664 search results - page 734 / 1133 » Creativity support tools |
198
click to vote
ENTCS
2008
15 years 6 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
189
click to vote
IEE
2008
15 years 6 months ago
2008
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
166
click to vote
IEE
2008
15 years 6 months ago
2008
The trend toward domain-specific languages leads to an ever-growing plethora of highly specialized languages. Developers of such languages focus on their specific domains rather t...
179
Voted
CANDC
2006
ACM
15 years 6 months ago
2006
ACM
O-glycosylation is one of the most important, frequent and complex post-translational modifications. This modification can activate and affect protein functions. Here, we present ...
161
click to vote
CL
2006
Springer
15 years 6 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...