7206 search results - page 997 / 1442 » Using a Hypermedia System for Systems Engineering |
230
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
We describe a new sketching interface in which shape recognition and morphing are tightly coupled. Raw input strokes are continuously morphed into ideal geometric shapes, even bef...
158
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
187
click to vote
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...
181
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we describe a novel execution environment for Java programs that substantially improves execution performance by incorporating both on-line and off-line profile inf...
173
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...