1415 search results - page 71 / 283 » Verified systems by composition from verified components |
156
click to vote
WOSP
1998
ACM
15 years 10 months ago
1998
ACM
Increasingly, new applications are being built by composing existing software components rather than by coding a system from scratch. Using this approach, applications can be buil...
150
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
Currently, most software systems have a dynamic nature and need to evolve at run-time. For this reason, the dynamic reconfiguration of software architectures is a challenge that m...
150
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
163
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
We describe a method for the speciļ¬cation and veriļ¬cation of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
180
click to vote
JUCS
2008
15 years 6 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...