Sciweavers

1026 search results - page 59 / 206
» Software Engineering for Self-Adaptive Systems: A Research R...
Sort
View
SIGSOFT
1994
ACM
15 years 3 months ago
Exploiting Style in Architectural Design Environments
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
David Garlan, Robert Allen, John Ockerbloom
EWSPT
2001
Springer
15 years 4 months ago
Process Support for Mobile Work across Heterogeneous Systems
The emerging field of mobile computing (MC) studies systems in which computational components may change locations. In terms of hardware, mobile work is usually across heterogene...
Alf Inge Wang, Chunnian Liu
CSMR
2000
IEEE
15 years 4 months ago
Design Properties and Object-Oriented Software Changeability
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...
M. Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, ...
EMSOFT
2011
Springer
13 years 11 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
ICSE
2001
IEEE-ACM
15 years 4 months ago
Theory of Software Reliability Based on Components
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
Richard G. Hamlet, David V. Mason, Denise M. Woit