6722 search results - page 642 / 1345 » Reuse-Conducive Development Environments |
229
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
188
click to vote
OHS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper takes a first step towards defining a standard component-based open hypermedia system storage interface in the context of the Open Hypermedia System Working Gr...
167
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecs three levels of abstraction and descri...
205
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
158
click to vote
RT
1995
Springer
15 years 10 months ago
1995
Springer
: Wavelets are a powerful tool forplanar image processing. The resulting algorithms are straightforward, fast, and efficient. With the recently developed spherical wavelets this f...