3021 search results - page 247 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
177
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
160
click to vote
IUI
1999
ACM
15 years 11 months ago
1999
ACM
The Internet enables groups of people throughout the world to interact to discuss issues, get assistance, learn, and socialize. However, when there are thousands of loosely define...
175
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
160
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
We demonstrate how XML and related technologies can be used for code mobility at any granularity, thus overcoming the restrictions of existing approaches. By not fixing a particul...
164
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...