Sciweavers

3514 search results - page 415 / 703
» Evolving Specification Engineering
Sort
View
AGILEDC
2009
IEEE
15 years 10 months ago
Enabling Agile Testing through Continuous Integration
A Continuous Integration system is often considered one of the key elements involved in supporting an agile software development and testing environment. As a traditional software...
Sean Stolberg
AVI
2008
15 years 9 months ago
Gummy for multi-platform user interface designs: shape me, multiply me, fix me, use me
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
Jan Meskens, Jo Vermeulen, Kris Luyten, Karin Coni...
AMAST
2008
Springer
15 years 8 months ago
A Declarative Debugger for Maude
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
Adrián Riesco, Alberto Verdejo, Narciso Mar...
ATAL
2008
Springer
15 years 8 months ago
Electronic institutions development environment
In this paper we present the Electronic Institutions Development Environment (EIDE) to support the engineering of multiagent systems as Electronic Institutions. An electronic inst...
Marc Esteva, Juan A. Rodríguez-Aguilar, Jos...
EDBTW
2006
Springer
15 years 8 months ago
Efficient Integrity Checking over XML Documents
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
Daniele Braga, Alessandro Campi, Davide Martinengh...