1077 search results - page 124 / 216 » Management of Evolving Specifications using Category Theory |
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
PODS
2008
ACM
14 years 9 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Ever-growing amounts of data that must be distributed from data providers to consumers across the world necessitate a greater understanding of the software architectural implicati...
WSDM
2010
ACM
14 years 6 months ago
2010
ACM
We study the fundamental problem of computing distances between nodes in large graphs such as the web graph and social networks. Our objective is to be able to answer distance que...
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...