1077 search results - page 37 / 216 » Management of Evolving Specifications using Category Theory |
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
The Intelligent Decentralised Energy-Aware Systems (iDEaS) project at the University of Southampton (see www.ideasproject.info) is developing and demonstrating the application of ...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
Software projects typically rely on system analysts to conduct requirements elicitation, an approach potentially costly for large projects with many stakeholders and requirements....
SIGDOC
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents an approach for interaction design based on the specificity of the information involved in the interaction. The contribution is intended for application design...
DEBU
1999
13 years 7 months ago
1999
This paper is a July 1999 snapshot of a "whitepaper" that I've been working on. The purpose of the whitepaper, which I initially drafted in April 1999, was to formu...
SIGLEX
1991
13 years 11 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...