Sciweavers

1631 search results - page 130 / 327
» Software engineering technology watch
Sort
View
STTT
2002
69views more  STTT 2002»
15 years 3 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
148
Voted
AUIC
2006
IEEE
15 years 10 months ago
Generating mobile device user interfaces for diagram-based modelling tools
Mobile display devices such as phones and PDAs have become very widely available and used. However, most content on these devices is limited to text, static images and motion vide...
Dejin Zhao, John C. Grundy, John G. Hosking
CSMR
2006
IEEE
15 years 10 months ago
Towards a Holistic Approach to Redesigning Legacy Applications for the Web with UWAT
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...
Damiano Distante, Scott R. Tilley, Gerardo Canfora
CAISE
2004
Springer
15 years 9 months ago
A preliminary comparative feature analysis of multi-agent systems development methodologies
While there are a considerable number of software engineering methodologies for developing multi-agent systems, not much work has been reported on the evaluation and comparison of ...
Quynh-Nhu Numi Tran, Graham Low, Mary-Anne William...
FASE
2004
Springer
15 years 9 months ago
Distributed Information Management with XML and Web Services
Abstract. XML and Web services are revolutioning the automatic management of distributed information, somewhat in the same way HTML, Web browser and search engines modified human ...
Serge Abiteboul