Sciweavers

15155 search results - page 2356 / 3031
» System Software
Sort
View
ECOOP
2000
Springer
15 years 11 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link
AGTIVE
2007
Springer
15 years 11 months ago
Generating Domain-Specific Model Editors with Complex Editing Commands
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
Gabriele Taentzer, André Crema, René...
ECOOPW
2000
Springer
15 years 11 months ago
Reflection and Meta-level Architectures: State of the Art and Future Trends
Previous workshops on reflection both in ECOOP and in OOPSLA have pointed out the growing interest and importance of Reflection and Metalevel Architectures in the fields of program...
Walter Cazzola, Shigeru Chiba, Thomas Ledoux
LICS
2000
IEEE
15 years 11 months ago
Efficient and Flexible Matching of Recursive Types
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
Jens Palsberg, Tian Zhao
SIROCCO
1998
15 years 8 months ago
The counting pyramid: an adaptive distributed counting scheme
A distributed counter is a concurrent object which provides a fetch-and-increment operation on a shared value. On the basis of a distributed counter, one can implement various fun...
Roger Wattenhofer, Peter Widmayer
« Prev « First page 2356 / 3031 Last » Next »