746 search results - page 86 / 150 » Formal Analysis of UML-Based Designs |
118
click to vote
JUCS
2007
15 years 1 months ago
2007
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
122
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
111
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
104
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
132
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...