Sciweavers

2086 search results - page 223 / 418
» Principles of Software Evolution
Sort
View
ATAL
2006
Springer
15 years 10 months ago
Agent dependability as an architectural issue
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
Peter C. Lockemann, Jens Nimis
FASE
2000
Springer
15 years 10 months ago
More About TAS and IsaWin - Tools for Formal Program Development
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
Christoph Lüth, Burkhart Wolff
AVI
2008
15 years 8 months ago
Exploring the feasibility of video mail for illiterate users
We present work that explores whether the asynchronous peer-topeer communication capabilities of email can be made accessible to illiterate populations in the developing world. Bu...
Archana Prasad, Indrani Medhi, Kentaro Toyama, Rav...
PDSE
2000
71views more  PDSE 2000»
15 years 7 months ago
Early Evaluation of Design Options for Distributed Systems
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...
Holger Giese, Guido Wirtz
JOT
2006
106views more  JOT 2006»
15 years 6 months ago
ABS++: Assertion Based Subtyping in C++
For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten year...
Herbert Toth