Sciweavers

5457 search results - page 186 / 1092
» Software Component Independence
Sort
View
143
Voted
WICSA
2004
15 years 4 months ago
Software Reconfiguration Patterns for Dynamic Evolution of Software Architectures
A software reconfiguration pattern is a solution to a problem in component-based software systems where the configuration needs to be updated while the system is operational. It d...
Hassan Gomaa, Mohamed Hussein
114
Voted
JSS
2006
99views more  JSS 2006»
15 years 3 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
136
Voted
HICSS
2007
IEEE
145views Biometrics» more  HICSS 2007»
15 years 9 months ago
Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....
Richard C. Linger, Mark G. Pleszkoch, Luanne Burns...
135
Voted
SCM
2001
15 years 4 months ago
Software Architecture and Software Configuration Management
This paper examines the relations between software architecture and software configuration management. These disciplines overlap because they are both concerned with the structure ...
Bernhard Westfechtel, Reidar Conradi
125
Voted
ICSE
1993
IEEE-ACM
15 years 7 months ago
Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
Mary Shaw