148 search results - page 28 / 30 » A Logical Framework for Monitoring and Evolving Software Com... |
INFORMATICALT
2010
13 years 4 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
KBSE
2005
IEEE
14 years 28 days ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
IPL
2010
13 years 5 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
SIGSOFT
1998
ACM
13 years 11 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
EDO
2006
Springer
13 years 11 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...