127 search results - page 8 / 26 » Towards a Semantically-Driven Software Engineering Environme... |
SSR
1997
13 years 8 months ago
1997
The growing size and complexity of systems has revealed many shortcomings of existing software engineering practices, for example, lack of scalability. This in turn raised interes...
AVI
2008
13 years 9 months ago
2008
Previous studies have demonstrated the importance of providing users with a coherent environment across distant sites. To date, it remains unclear how such an environment affects ...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
Publication
Conversations between colleagues in collaborative
software engineering are important for coordinating work,
sharing knowledge and creating knowledge. Overhearing con-
versations...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Due to the large success of wireless networks and handheld devices, the ambient intelligence (AmI) paradigm is becoming a reality. One of the most challenging objectives to achiev...