Sciweavers

SIGSOFT
2001
ACM
15 years 7 days ago
An algebraic approach to file synchronization
Norman Ramsey, Elöd Csirmaz
SIGSOFT
2001
ACM
15 years 7 days ago
WREN---an environment for component-based development
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
Chris Lüer, David S. Rosenblum
SIGSOFT
2001
ACM
15 years 7 days ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
SIGSOFT
2001
ACM
15 years 7 days ago
A micromodularity mechanism
Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
SIGSOFT
2001
ACM
15 years 7 days ago
An empirical study on the utility of formal routines to transfer knowledge and experience
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
Reidar Conradi, Tore Dybå
SIGSOFT
2001
ACM
15 years 7 days ago
A notation for problematic architecture interactions
Dennis J. Underwood, Gerður Jónsd&oacut...
SIGSOFT
2001
ACM
15 years 7 days ago
Using aspectC to improve the modularity of path-specific customization in operating system code
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
Yvonne Coady, Gregor Kiczales, Michael J. Feeley, ...